Uses of Class
tptp_parser.SimpleTptpParserOutput.TopLevelItem

Packages that use SimpleTptpParserOutput.TopLevelItem

Package	Description
tptp_parser
TPTPWorld

Uses of SimpleTptpParserOutput.TopLevelItem in tptp_parser

Subclasses of SimpleTptpParserOutput.TopLevelItem in tptp_parser

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.AnnotatedClause Represents instances of <cnf annotated> in the BNF grammar.
static class	SimpleTptpParserOutput.AnnotatedFormula Represents instances of <fof annotated> in the BNF grammar.
static class	SimpleTptpParserOutput.AnnotatedThfFormula Represents instances of <thf annotated> in the BNF grammar.
static class	SimpleTptpParserOutput.IncludeDirective Represents instances of <include> in the BNF grammar.

Uses of SimpleTptpParserOutput.TopLevelItem in TPTPWorld

Fields in TPTPWorld declared as SimpleTptpParserOutput.TopLevelItem

Modifier and Type	Field and Description
SimpleTptpParserOutput.TopLevelItem	TPTPFormula.item

Fields in TPTPWorld with type parameters of type SimpleTptpParserOutput.TopLevelItem

Modifier and Type	Field and Description
Vector<SimpleTptpParserOutput.TopLevelItem>	TPTPParser.Items

Methods in TPTPWorld with parameters of type SimpleTptpParserOutput.TopLevelItem

Modifier and Type	Method and Description
static String	TPTPParser.getName(SimpleTptpParserOutput.TopLevelItem item)
static ArrayList<Binding>	SystemOnTPTP.getSZSBindings(SimpleTptpParserOutput.TopLevelItem item, ArrayList<Binding> answers)
static ArrayList<Binding>	SystemOnTPTP.getSZSBindings(SimpleTptpParserOutput.TopLevelItem item, String tptp)
static String	TPTPParser.getType(SimpleTptpParserOutput.TopLevelItem item)

Constructors in TPTPWorld with parameters of type SimpleTptpParserOutput.TopLevelItem

Constructor and Description
TPTPFormula(SimpleTptpParserOutput.TopLevelItem item, int id)