Uses of Class
tptp_parser.SimpleTptpParserOutput.Formula

Packages that use SimpleTptpParserOutput.Formula

Package	Description
tptp_parser
TPTPWorld

Uses of SimpleTptpParserOutput.Formula in tptp_parser

Subclasses of SimpleTptpParserOutput.Formula in tptp_parser

Modifier and Type	Class and Description
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 SimpleTptpParserOutput.Formula

Modifier and Type	Method and Description
SimpleTptpParserOutput.Formula	SimpleTptpParserOutput.Formula.Negation.getArgument() Returns the formula under the negation.
SimpleTptpParserOutput.Formula	SimpleTptpParserOutput.GeneralTerm.getFofFormula() Precondition: isFofFormula().
SimpleTptpParserOutput.Formula	SimpleTptpParserOutput.AnnotatedFormula.getFormula()
SimpleTptpParserOutput.Formula	SimpleTptpParserOutput.Formula.Binary.getLhs()
SimpleTptpParserOutput.Formula	SimpleTptpParserOutput.Formula.Quantified.getMatrix()
SimpleTptpParserOutput.Formula	SimpleTptpParserOutput.Formula.Binary.getRhs()

Uses of SimpleTptpParserOutput.Formula in TPTPWorld

Methods in TPTPWorld with parameters of type SimpleTptpParserOutput.Formula

Modifier and Type	Method and Description
static ArrayList<String>	TPTPParser.identifyFormulaVariables(SimpleTptpParserOutput.Formula formula, ArrayList<String> variables)
static ArrayList<String>	TPTPParser.identifyQuantifiedVariables(SimpleTptpParserOutput.Formula formula, ArrayList<String> variables)