- All Known Implementing Classes:
- SimpleTptpParserOutput.AnnotatedClause, SimpleTptpParserOutput.AnnotatedFormula, SimpleTptpParserOutput.AnnotatedThfFormula, SimpleTptpParserOutput.IncludeDirective, SimpleTptpParserOutput.TopLevelItem
- Enclosing interface:
- TptpParserOutput
public static interface 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.