Uses of Interface
tptp_parser.TptpParserOutput.FofFormula

Packages that use TptpParserOutput.FofFormula

Package	Description
tptp_parser

Uses of TptpParserOutput.FofFormula in tptp_parser

Classes in tptp_parser that implement TptpParserOutput.FofFormula

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.Formula
static class	SimpleTptpParserOutput.Formula.Atomic
static class	SimpleTptpParserOutput.Formula.Binary
static class	SimpleTptpParserOutput.Formula.Negation
static class	SimpleTptpParserOutput.Formula.Quantified

Methods in tptp_parser that return TptpParserOutput.FofFormula

Modifier and Type	Method and Description
TptpParserOutput.FofFormula	TptpParserOutput.atomAsFormula(TptpParserOutput.AtomicFormula atom) A correct implementation must return an object of the class implementing FofFormula, representing the atomic formula represented by the object atom .
TptpParserOutput.FofFormula	SimpleTptpParserOutput.atomAsFormula(TptpParserOutput.AtomicFormula atom) Implements the corresponding spec in TptpParserOutput.
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.FofFormula	TptpParserOutput.createNegationOf(TptpParserOutput.FofFormula formula) A correct implementation must return an object representing the formula obtained by applying the negation connective to formula .
TptpParserOutput.FofFormula	SimpleTptpParserOutput.createNegationOf(TptpParserOutput.FofFormula formula) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.FofFormula	TptpParserOutput.createQuantifiedFormula(TptpParserOutput.Quantifier quantifier, Iterable<String> variableList, TptpParserOutput.FofFormula formula) A correct implementation must return an object representing the formula obtained by applying the quantifier quantifier to formula .
TptpParserOutput.FofFormula	SimpleTptpParserOutput.createQuantifiedFormula(TptpParserOutput.Quantifier quantifier, Iterable<String> variableList, TptpParserOutput.FofFormula formula) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.FofFormula	TptpParser.fof_formula(TptpParserOutput out)
TptpParserOutput.FofFormula	TptpParser.quantified_formula(TptpParserOutput out)
TptpParserOutput.FofFormula	TptpParser.unary_formula(TptpParserOutput out)
TptpParserOutput.FofFormula	TptpParser.unitary_formula(TptpParserOutput out)

Methods in tptp_parser with parameters of type TptpParserOutput.FofFormula

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.TptpInput	TptpParserOutput.createFofAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.FofFormula formula, TptpParserOutput.Annotations annotations, int lineNumber) A correct implementation must return a TptpInput object representing formula wrapped in the corresponding annotation.
TptpParserOutput.TptpInput	SimpleTptpParserOutput.createFofAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.FofFormula formula, TptpParserOutput.Annotations annotations, int lineNumber) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.GeneralTerm	TptpParserOutput.createGeneralFofFormula(TptpParserOutput.FofFormula formula) A correct implementation must return an object representing a formula
TptpParserOutput.GeneralTerm	SimpleTptpParserOutput.createGeneralFofFormula(TptpParserOutput.FofFormula formula) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.FofFormula	TptpParserOutput.createNegationOf(TptpParserOutput.FofFormula formula) A correct implementation must return an object representing the formula obtained by applying the negation connective to formula .
TptpParserOutput.FofFormula	SimpleTptpParserOutput.createNegationOf(TptpParserOutput.FofFormula formula) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.FofFormula	TptpParserOutput.createQuantifiedFormula(TptpParserOutput.Quantifier quantifier, Iterable<String> variableList, TptpParserOutput.FofFormula formula) A correct implementation must return an object representing the formula obtained by applying the quantifier quantifier to formula .
TptpParserOutput.FofFormula	SimpleTptpParserOutput.createQuantifiedFormula(TptpParserOutput.Quantifier quantifier, Iterable<String> variableList, TptpParserOutput.FofFormula formula) Implements the corresponding spec in TptpParserOutput.

Constructors in tptp_parser with parameters of type TptpParserOutput.FofFormula

Constructor and Description
AnnotatedFormula(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.FofFormula formula, TptpParserOutput.Annotations annotations, int lineNumber)
Binary(TptpParserOutput.FofFormula lhs, TptpParserOutput.BinaryConnective connective, TptpParserOutput.FofFormula rhs)
GeneralTerm(TptpParserOutput.FofFormula formula)
Negation(TptpParserOutput.FofFormula argument)
Quantified(TptpParserOutput.Quantifier quantifier, String variable, TptpParserOutput.FofFormula matrix)