Uses of Package
tptp_parser

Packages that use tptp_parser

Package	Description
TPTPWorld
tptp_parser

Classes in tptp_parser used by TPTPWorld

Class and Description
SimpleTptpParserOutput.Annotations
SimpleTptpParserOutput.Clause
SimpleTptpParserOutput.Formula
SimpleTptpParserOutput.Formula.Atomic
SimpleTptpParserOutput.Source
SimpleTptpParserOutput.TopLevelItem A common base for the classes AnnotatedFormula, AnnotatedClause and IncludeDirective.

Classes in tptp_parser used by tptp_parser

Class and Description
SimpleTptpParserOutput.Annotations
SimpleTptpParserOutput.Clause
SimpleTptpParserOutput.Formula
SimpleTptpParserOutput.Formula.Atomic
SimpleTptpParserOutput.Formula.Kind
SimpleTptpParserOutput.GeneralTerm
SimpleTptpParserOutput.InfoItem
SimpleTptpParserOutput.InfoItem.Kind
SimpleTptpParserOutput.Literal
SimpleTptpParserOutput.ParentInfo
SimpleTptpParserOutput.Source
SimpleTptpParserOutput.Source.Kind
SimpleTptpParserOutput.Symbol
SimpleTptpParserOutput.Term
SimpleTptpParserOutput.ThfFormula
SimpleTptpParserOutput.ThfFormula.Kind
SimpleTptpParserOutput.TopLevelItem A common base for the classes AnnotatedFormula, AnnotatedClause and IncludeDirective.
TptpParserOutput Abstract syntax for TPTP.
TptpParserOutput.Annotations Must be implemented by a class representing annotations, ie instances of <annotations> in the BNF grammar.
TptpParserOutput.AtomicFormula Must be implemented by a class representing structures corresponding to instances of <atomic formula> in the BNF grammar.
TptpParserOutput.BinaryConnective Reprsents all binary connectives, both associative (&,|) and nonassociative (admissible instances of <binary connective>).
TptpParserOutput.CnfFormula Must be implemented by a class representing clause structures corresponding to instances of <cnf formula> in the BNF grammar.
TptpParserOutput.FofFormula Must be implemented by a class representing formula structures corresponding to instances of <fof formula> in the BNF grammar.
TptpParserOutput.FormulaRole Reprsents all admissible instances of <formula role> (see the BNF grammar).
TptpParserOutput.GeneralTerm Must be implemented by a class representing <general term> in the BNF grammar.
TptpParserOutput.InfoItem Must be implemented by a class representing instances of <info item> in the BNF grammar.
TptpParserOutput.IntroType Reprsents all admissible instances of <intro type> (see the BNF grammar).
TptpParserOutput.Literal Must be implemented by a class representing structures corresponding to instances of <literal> in the BNF grammar.
TptpParserOutput.ParentInfo Must be implemented by a class representing <parent info> in the BNF grammar.
TptpParserOutput.Quantifier Reprsents all quantifiers.
TptpParserOutput.Source Must be implemented by a class representing instances of <source> in the BNF grammar.
TptpParserOutput.StatusValue Reprsents all admissible instances of <status value> (see the BNF grammar).
TptpParserOutput.Term Must be implemented by a class representing <term> in the BNF grammar.
TptpParserOutput.ThfAtomicFormula Must be implemented by a class representing structures corresponding to instances of <thf atom> in the BNF grammar.
TptpParserOutput.ThfFormula Must be implemented by a class representing formula structures corresponding to instances of <thf formula> in the BNF grammar.
TptpParserOutput.TptpInput Must be implemented by a class representing instances of <TPTP input> in the BNF grammar (except comments), ie top level input items, such as annotated formulas and include directives.
TptpParserOutput.TptpInput.Kind
TptpParserOutput.UnaryConnective Reprsents all unary connectives, both associative (&,|) and nonassociative (admissible instances of <binary connective>).
TptpTokenTypes