Uses of Interface
tptp_parser.TptpParserOutput.ThfFormula

Packages that use TptpParserOutput.ThfFormula

Package	Description
tptp_parser

Uses of TptpParserOutput.ThfFormula in tptp_parser

Classes in tptp_parser that implement TptpParserOutput.ThfFormula

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.ThfFormula
static class	SimpleTptpParserOutput.ThfFormula.ThfAtomic
static class	SimpleTptpParserOutput.ThfFormula.ThfBinary
static class	SimpleTptpParserOutput.ThfFormula.ThfQuantified
static class	SimpleTptpParserOutput.ThfFormula.ThfUnary

Methods in tptp_parser that return TptpParserOutput.ThfFormula

Modifier and Type	Method and Description
TptpParserOutput.ThfFormula	TptpParserOutput.atomAsThfFormula(TptpParserOutput.ThfAtomicFormula atom) A correct implementation must return an object of the class implementing ThfFormula, representing the atomic formula represented by the object atom .
TptpParserOutput.ThfFormula	SimpleTptpParserOutput.atomAsThfFormula(TptpParserOutput.ThfAtomicFormula atom) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.ThfFormula	TptpParserOutput.builtInThfFalse()
TptpParserOutput.ThfFormula	SimpleTptpParserOutput.builtInThfFalse() Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.ThfFormula	TptpParserOutput.builtInThfTrue()
TptpParserOutput.ThfFormula	SimpleTptpParserOutput.builtInThfTrue() 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.
TptpParserOutput.ThfFormula	TptpParserOutput.createThfPlainAtom(String predicate, Iterable<TptpParserOutput.Term> arguments)
TptpParserOutput.ThfFormula	SimpleTptpParserOutput.createThfPlainAtom(String predicate, Iterable<TptpParserOutput.Term> arguments) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.ThfFormula	TptpParserOutput.createThfQuantifiedFormula(TptpParserOutput.Quantifier quantifier, Iterable<TptpParserOutput.ThfFormula> variableList, TptpParserOutput.ThfFormula formula) A correct implementation must return an object representing the formula obtained by applying the quantifier quantifier to formula .
TptpParserOutput.ThfFormula	SimpleTptpParserOutput.createThfQuantifiedFormula(TptpParserOutput.Quantifier quantifier, Iterable<TptpParserOutput.ThfFormula> variableList, TptpParserOutput.ThfFormula formula) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.ThfFormula	TptpParserOutput.createThfSystemAtom(String predicate, Iterable<TptpParserOutput.Term> arguments)
TptpParserOutput.ThfFormula	SimpleTptpParserOutput.createThfSystemAtom(String predicate, Iterable<TptpParserOutput.Term> arguments) Implements the corresponding spec in TptpParserOutput.
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	TptpParserOutput.createThfVariableAtom(String variable)
TptpParserOutput.ThfFormula	SimpleTptpParserOutput.createThfVariableAtom(String variable)
TptpParserOutput.ThfFormula	TptpParser.thf_atom_or_unary_formula(TptpParserOutput out, TptpParserOutput.UnaryConnective connective)
TptpParserOutput.ThfFormula	TptpParser.thf_atom(TptpParserOutput out)
TptpParserOutput.ThfFormula	TptpParser.thf_defn_constant(TptpParserOutput out)
TptpParserOutput.ThfFormula	TptpParser.thf_formula(TptpParserOutput out)
TptpParserOutput.ThfFormula	TptpParser.thf_mapping_type(TptpParserOutput out, TptpParserOutput.ThfFormula formula)
TptpParserOutput.ThfFormula	TptpParser.thf_quantified_formula(TptpParserOutput out)
TptpParserOutput.ThfFormula	TptpParser.thf_top_level_type(TptpParserOutput out)
TptpParserOutput.ThfFormula	TptpParser.thf_unitary_formula(TptpParserOutput out)
TptpParserOutput.ThfFormula	TptpParser.thf_unitary_type(TptpParserOutput out)

Methods in tptp_parser that return types with arguments of type TptpParserOutput.ThfFormula

Modifier and Type	Method and Description
LinkedList<TptpParserOutput.ThfFormula>	TptpParser.thf_variable_list(TptpParserOutput out)

Methods in tptp_parser with parameters of type TptpParserOutput.ThfFormula

Modifier and Type	Method and Description
TptpParserOutput.GeneralTerm	TptpParserOutput.createGeneralThfFormula(TptpParserOutput.ThfFormula formula) A correct implementation must return an object representing a formula
TptpParserOutput.GeneralTerm	SimpleTptpParserOutput.createGeneralThfFormula(TptpParserOutput.ThfFormula formula) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.TptpInput	TptpParserOutput.createThfAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.ThfFormula formula, TptpParserOutput.Annotations annotations, int lineNumber) A correct implementation must return a TptpInput object representing formula wrapped in the corresponding annotation.
TptpParserOutput.TptpInput	SimpleTptpParserOutput.createThfAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.ThfFormula formula, TptpParserOutput.Annotations annotations, int lineNumber) 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.
TptpParserOutput.ThfFormula	TptpParserOutput.createThfQuantifiedFormula(TptpParserOutput.Quantifier quantifier, Iterable<TptpParserOutput.ThfFormula> variableList, TptpParserOutput.ThfFormula formula) A correct implementation must return an object representing the formula obtained by applying the quantifier quantifier to formula .
TptpParserOutput.ThfFormula	SimpleTptpParserOutput.createThfQuantifiedFormula(TptpParserOutput.Quantifier quantifier, Iterable<TptpParserOutput.ThfFormula> variableList, TptpParserOutput.ThfFormula formula) Implements the corresponding spec in TptpParserOutput.
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_mapping_type(TptpParserOutput out, TptpParserOutput.ThfFormula formula)

Method parameters in tptp_parser with type arguments of type TptpParserOutput.ThfFormula

Modifier and Type	Method and Description
TptpParserOutput.ThfFormula	TptpParserOutput.createThfQuantifiedFormula(TptpParserOutput.Quantifier quantifier, Iterable<TptpParserOutput.ThfFormula> variableList, TptpParserOutput.ThfFormula formula) A correct implementation must return an object representing the formula obtained by applying the quantifier quantifier to formula .
TptpParserOutput.ThfFormula	SimpleTptpParserOutput.createThfQuantifiedFormula(TptpParserOutput.Quantifier quantifier, Iterable<TptpParserOutput.ThfFormula> variableList, TptpParserOutput.ThfFormula formula) Implements the corresponding spec in TptpParserOutput.

Constructors in tptp_parser with parameters of type TptpParserOutput.ThfFormula

Constructor and Description
AnnotatedThfFormula(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.ThfFormula formula, TptpParserOutput.Annotations annotations, int lineNumber)
GeneralTerm(TptpParserOutput.ThfFormula formula)
ThfBinary(TptpParserOutput.ThfFormula lhs, TptpParserOutput.BinaryConnective connective, TptpParserOutput.ThfFormula rhs)
ThfQuantified(TptpParserOutput.Quantifier quantifier, SimpleTptpParserOutput.ThfFormula variable, TptpParserOutput.ThfFormula matrix)
ThfUnary(TptpParserOutput.UnaryConnective unary, TptpParserOutput.ThfFormula argument)