tptp_parser

Class SimpleTptpParserOutput.ThfFormula.ThfBinary

java.lang.Object

tptp_parser.SimpleTptpParserOutput.ThfFormula

tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfBinary

All Implemented Interfaces:

TptpParserOutput.ThfFormula

Enclosing class:

SimpleTptpParserOutput.ThfFormula

public static class SimpleTptpParserOutput.ThfFormula.ThfBinary
extends SimpleTptpParserOutput.ThfFormula

Nested Class Summary

Nested classes/interfaces inherited from class tptp_parser.SimpleTptpParserOutput.ThfFormula

SimpleTptpParserOutput.ThfFormula.Kind, SimpleTptpParserOutput.ThfFormula.ThfAtomic, SimpleTptpParserOutput.ThfFormula.ThfBinary, SimpleTptpParserOutput.ThfFormula.ThfQuantified, SimpleTptpParserOutput.ThfFormula.ThfUnary

Field Summary

Fields inherited from class tptp_parser.SimpleTptpParserOutput.ThfFormula

_kind

Constructor Summary

Constructors

Constructor and Description
ThfBinary(TptpParserOutput.ThfFormula lhs, TptpParserOutput.BinaryConnective connective, TptpParserOutput.ThfFormula rhs)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
TptpParserOutput.BinaryConnective	getConnective()
SimpleTptpParserOutput.ThfFormula	getLhs()
SimpleTptpParserOutput.ThfFormula	getRhs()
int	hashCode() should never be called so throw an error.
String	toString()
String	toString(int indent)
String	toString(int indent, TptpParserOutput.BinaryConnective connective)

Methods inherited from class tptp_parser.SimpleTptpParserOutput.ThfFormula

getKind

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ThfBinary

public ThfBinary(TptpParserOutput.ThfFormula lhs,
                 TptpParserOutput.BinaryConnective connective,
                 TptpParserOutput.ThfFormula rhs)

Method Detail

getConnective

public TptpParserOutput.BinaryConnective getConnective()

getLhs

public SimpleTptpParserOutput.ThfFormula getLhs()

getRhs

public SimpleTptpParserOutput.ThfFormula getRhs()

equals

public boolean equals(Object obj)

Overrides:

equals in class SimpleTptpParserOutput.ThfFormula

Parameters:

obj - must be convertible to Binary, can be null

hashCode

public int hashCode()

Description copied from class: SimpleTptpParserOutput.ThfFormula

should never be called so throw an error.

Overrides:

hashCode in class SimpleTptpParserOutput.ThfFormula

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.ThfFormula

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.ThfFormula

toString

public String toString(int indent,
                       TptpParserOutput.BinaryConnective connective)

Overrides:

toString in class SimpleTptpParserOutput.ThfFormula