Uses of Interface
tptp_parser.TptpParserOutput.TptpInput

Packages that use TptpParserOutput.TptpInput

Package	Description
tptp_parser

Uses of TptpParserOutput.TptpInput in tptp_parser

Classes in tptp_parser that implement TptpParserOutput.TptpInput

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.
static class	SimpleTptpParserOutput.TopLevelItem A common base for the classes AnnotatedFormula, AnnotatedClause and IncludeDirective.

Methods in tptp_parser that return TptpParserOutput.TptpInput

Modifier and Type	Method and Description
TptpParserOutput.TptpInput	TptpParserOutput.createCnfAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.CnfFormula clause, TptpParserOutput.Annotations annotations, int lineNumber) A correct implementation must return a TptpInput object representing clause wrapped in the corresponding annotation.
TptpParserOutput.TptpInput	SimpleTptpParserOutput.createCnfAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.CnfFormula clause, TptpParserOutput.Annotations annotations, int lineNumber) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.TptpInput	TptpParserOutput.createFofAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.FofFormula formula, TptpParserOutput.Annotations annotations, int lineNumber) A correct implementation must return a TptpInput object representing formula wrapped in the corresponding annotation.
TptpParserOutput.TptpInput	SimpleTptpParserOutput.createFofAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.FofFormula formula, TptpParserOutput.Annotations annotations, int lineNumber) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.TptpInput	TptpParserOutput.createIncludeDirective(String fileName, Iterable<String> formulaSelection, int lineNumber) A correct implementation must return a TptpInput object representing the instance of <include> with the specified parameters.
TptpParserOutput.TptpInput	SimpleTptpParserOutput.createIncludeDirective(String fileName, Iterable<String> formulaSelection, int lineNumber) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.TptpInput	TptpParserOutput.createThfAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.ThfFormula formula, TptpParserOutput.Annotations annotations, int lineNumber) A correct implementation must return a TptpInput object representing formula wrapped in the corresponding annotation.
TptpParserOutput.TptpInput	SimpleTptpParserOutput.createThfAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.ThfFormula formula, TptpParserOutput.Annotations annotations, int lineNumber) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.TptpInput	TptpParser.topLevelItem(TptpParserOutput out)
TptpParserOutput.TptpInput	TptpParser.tptp_input(TptpParserOutput out)

Methods in tptp_parser that return types with arguments of type TptpParserOutput.TptpInput

Modifier and Type	Method and Description
List<TptpParserOutput.TptpInput>	TptpParser.tptp_file(TptpParserOutput out)