Uses of Class
tptp_parser.SimpleTptpParserOutput.Clause

Packages that use SimpleTptpParserOutput.Clause

Package	Description
tptp_parser
TPTPWorld

Uses of SimpleTptpParserOutput.Clause in tptp_parser

Methods in tptp_parser that return SimpleTptpParserOutput.Clause

Modifier and Type	Method and Description
SimpleTptpParserOutput.Clause	SimpleTptpParserOutput.AnnotatedClause.getClause()
SimpleTptpParserOutput.Clause	SimpleTptpParserOutput.GeneralTerm.getCnfFormula() Precondition: isCnfFormula().

Uses of SimpleTptpParserOutput.Clause in TPTPWorld

Methods in TPTPWorld with parameters of type SimpleTptpParserOutput.Clause

Modifier and Type	Method and Description
static ArrayList<String>	TPTPParser.identifyClauseVariables(SimpleTptpParserOutput.Clause clause, ArrayList<String> variables)