Uses of Interface
tptp_parser.TptpParserOutput.Annotations

Packages that use TptpParserOutput.Annotations

Package	Description
tptp_parser

Uses of TptpParserOutput.Annotations in tptp_parser

Classes in tptp_parser that implement TptpParserOutput.Annotations

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.Annotations

Methods in tptp_parser that return TptpParserOutput.Annotations

Modifier and Type	Method and Description
TptpParserOutput.Annotations	TptpParser.annotations(TptpParserOutput out)
TptpParserOutput.Annotations	TptpParserOutput.createAnnotations(TptpParserOutput.Source source, Iterable<TptpParserOutput.InfoItem> usefulInfo) A correct implementation must return an object representing an instance of <annotations> composed of source and usefulInfo .
TptpParserOutput.Annotations	SimpleTptpParserOutput.createAnnotations(TptpParserOutput.Source source, Iterable<TptpParserOutput.InfoItem> usefulInfo) Implements the corresponding spec in TptpParserOutput.

Methods in tptp_parser with parameters of type TptpParserOutput.Annotations

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.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.

Constructors in tptp_parser with parameters of type TptpParserOutput.Annotations

Constructor and Description
AnnotatedClause(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.CnfFormula clause, TptpParserOutput.Annotations annotations, int lineNumber)
AnnotatedFormula(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.FofFormula formula, TptpParserOutput.Annotations annotations, int lineNumber)
AnnotatedThfFormula(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.ThfFormula formula, TptpParserOutput.Annotations annotations, int lineNumber)