Uses of Class
tptp_parser.TptpParserOutput.BinaryConnective

Packages that use TptpParserOutput.BinaryConnective

Package	Description
tptp_parser

Uses of TptpParserOutput.BinaryConnective in tptp_parser

Methods in tptp_parser that return TptpParserOutput.BinaryConnective

Modifier and Type	Method and Description
TptpParserOutput.BinaryConnective	TptpParser.binary_connective()
TptpParserOutput.BinaryConnective	SimpleTptpParserOutput.ThfFormula.ThfBinary.getConnective()
TptpParserOutput.BinaryConnective	SimpleTptpParserOutput.Formula.Binary.getConnective()
TptpParserOutput.BinaryConnective	TptpParser.thf_pair_connective()
static TptpParserOutput.BinaryConnective	TptpParserOutput.BinaryConnective.valueOf(String name) Returns the enum constant of this type with the specified name.
static TptpParserOutput.BinaryConnective[]	TptpParserOutput.BinaryConnective.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in tptp_parser with parameters of type TptpParserOutput.BinaryConnective

Modifier and Type	Method and Description
TptpParserOutput.FofFormula	TptpParserOutput.createBinaryFormula(TptpParserOutput.FofFormula lhs, TptpParserOutput.BinaryConnective connective, TptpParserOutput.FofFormula rhs) A correct implementation must return an object representing the binary formula obtained by applying connective to lhs and rhs .
TptpParserOutput.FofFormula	SimpleTptpParserOutput.createBinaryFormula(TptpParserOutput.FofFormula lhs, TptpParserOutput.BinaryConnective connective, TptpParserOutput.FofFormula rhs) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.ThfFormula	TptpParserOutput.createThfBinaryFormula(TptpParserOutput.ThfFormula lhs, TptpParserOutput.BinaryConnective connective, TptpParserOutput.ThfFormula rhs) A correct implementation must return an object representing the binary formula obtained by applying connective to lhs and rhs .
TptpParserOutput.ThfFormula	SimpleTptpParserOutput.createThfBinaryFormula(TptpParserOutput.ThfFormula lhs, TptpParserOutput.BinaryConnective connective, TptpParserOutput.ThfFormula rhs) Implements the corresponding spec in TptpParserOutput.
String	SimpleTptpParserOutput.ThfFormula.toString(int indent, TptpParserOutput.BinaryConnective connective)
String	SimpleTptpParserOutput.ThfFormula.ThfAtomic.toString(int indent, TptpParserOutput.BinaryConnective connective)
String	SimpleTptpParserOutput.ThfFormula.ThfUnary.toString(int indent, TptpParserOutput.BinaryConnective connective)
String	SimpleTptpParserOutput.ThfFormula.ThfBinary.toString(int indent, TptpParserOutput.BinaryConnective connective)
String	SimpleTptpParserOutput.ThfFormula.ThfQuantified.toString(int indent, TptpParserOutput.BinaryConnective connective)
String	SimpleTptpParserOutput.Formula.Binary.toString(int indent, TptpParserOutput.BinaryConnective connective)
String	SimpleTptpParserOutput.ThfFormula.ThfQuantified.toString(int indent, TptpParserOutput.BinaryConnective connective, boolean outputQuantifier)

Constructors in tptp_parser with parameters of type TptpParserOutput.BinaryConnective

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