tptp_parser

Class SimpleTptpParserOutput.Formula.Binary

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Formula

tptp_parser.SimpleTptpParserOutput.Formula.Binary

All Implemented Interfaces:

TptpParserOutput.FofFormula

Enclosing class:

SimpleTptpParserOutput.Formula

public static class SimpleTptpParserOutput.Formula.Binary
extends SimpleTptpParserOutput.Formula

Nested Class Summary

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

SimpleTptpParserOutput.Formula.Atomic, SimpleTptpParserOutput.Formula.Binary, SimpleTptpParserOutput.Formula.Kind, SimpleTptpParserOutput.Formula.Negation, SimpleTptpParserOutput.Formula.Quantified

Field Summary

Fields inherited from class tptp_parser.SimpleTptpParserOutput.Formula

_kind

Constructor Summary

Constructors

Constructor and Description
Binary(TptpParserOutput.FofFormula lhs, TptpParserOutput.BinaryConnective connective, TptpParserOutput.FofFormula rhs)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
TptpParserOutput.BinaryConnective	getConnective()
SimpleTptpParserOutput.Formula	getLhs()
SimpleTptpParserOutput.Formula	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.Formula

getKind

Methods inherited from class java.lang.Object

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

Constructor Detail

Binary

public Binary(TptpParserOutput.FofFormula lhs,
              TptpParserOutput.BinaryConnective connective,
              TptpParserOutput.FofFormula rhs)

Method Detail

getConnective

public TptpParserOutput.BinaryConnective getConnective()

getLhs

public SimpleTptpParserOutput.Formula getLhs()

getRhs

public SimpleTptpParserOutput.Formula getRhs()

equals

public boolean equals(Object obj)

Overrides:

equals in class SimpleTptpParserOutput.Formula

Parameters:

obj - must be convertible to Binary, can be null

hashCode

public int hashCode()

Description copied from class: SimpleTptpParserOutput.Formula

should never be called so throw an error.

Overrides:

hashCode in class SimpleTptpParserOutput.Formula

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.Formula

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.Formula

toString

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