Uses of Class
tptp_parser.TptpParserOutput.UnaryConnective

Packages that use TptpParserOutput.UnaryConnective

Package	Description
tptp_parser

Uses of TptpParserOutput.UnaryConnective in tptp_parser

Methods in tptp_parser that return TptpParserOutput.UnaryConnective

Modifier and Type	Method and Description
TptpParserOutput.UnaryConnective	SimpleTptpParserOutput.ThfFormula.ThfUnary.getConnective() Returns the unary connective.
static TptpParserOutput.UnaryConnective	TptpParserOutput.UnaryConnective.valueOf(String name) Returns the enum constant of this type with the specified name.
static TptpParserOutput.UnaryConnective[]	TptpParserOutput.UnaryConnective.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.UnaryConnective

Modifier and Type	Method and Description
TptpParserOutput.ThfFormula	TptpParserOutput.createThfUnaryOf(TptpParserOutput.UnaryConnective unary, TptpParserOutput.ThfFormula formula) A correct implementation must return an object representing the formula obtained by applying the negation connective to formula .
TptpParserOutput.ThfFormula	SimpleTptpParserOutput.createThfUnaryOf(TptpParserOutput.UnaryConnective unary, TptpParserOutput.ThfFormula formula) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.ThfFormula	TptpParser.thf_atom_or_unary_formula(TptpParserOutput out, TptpParserOutput.UnaryConnective connective)

Constructors in tptp_parser with parameters of type TptpParserOutput.UnaryConnective

Constructor and Description
ThfUnary(TptpParserOutput.UnaryConnective unary, TptpParserOutput.ThfFormula argument)