Uses of Interface
tptp_parser.TptpParserOutput.GeneralTerm

Packages that use TptpParserOutput.GeneralTerm

Package	Description
tptp_parser

Uses of TptpParserOutput.GeneralTerm in tptp_parser

Classes in tptp_parser that implement TptpParserOutput.GeneralTerm

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.GeneralTerm

Methods in tptp_parser that return TptpParserOutput.GeneralTerm

Modifier and Type	Method and Description
TptpParserOutput.GeneralTerm	TptpParserOutput.createGeneralCnfFormula(TptpParserOutput.CnfFormula formula) A correct implementation must return an object representing a formula
TptpParserOutput.GeneralTerm	SimpleTptpParserOutput.createGeneralCnfFormula(TptpParserOutput.CnfFormula formula) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.GeneralTerm	TptpParserOutput.createGeneralColon(TptpParserOutput.GeneralTerm left, TptpParserOutput.GeneralTerm right) A correct implementation must return an object representing a general term obtained by applying ':' (colon) binary operator to two general terms.
TptpParserOutput.GeneralTerm	SimpleTptpParserOutput.createGeneralColon(TptpParserOutput.GeneralTerm left, TptpParserOutput.GeneralTerm right) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.GeneralTerm	TptpParserOutput.createGeneralDistinctObject(String str) A correct implementation must return an object representing a general term constructed as a number or a double-quoted string (both represented as a string)
TptpParserOutput.GeneralTerm	SimpleTptpParserOutput.createGeneralDistinctObject(String str) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.GeneralTerm	TptpParserOutput.createGeneralFofFormula(TptpParserOutput.FofFormula formula) A correct implementation must return an object representing a formula
TptpParserOutput.GeneralTerm	SimpleTptpParserOutput.createGeneralFofFormula(TptpParserOutput.FofFormula formula) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.GeneralTerm	TptpParserOutput.createGeneralFunction(String function, Iterable<TptpParserOutput.GeneralTerm> arguments) A correct implementation must return an object representing the non-list term obtained by applying function to arguments .
TptpParserOutput.GeneralTerm	SimpleTptpParserOutput.createGeneralFunction(String function, Iterable<TptpParserOutput.GeneralTerm> arguments) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.GeneralTerm	TptpParserOutput.createGeneralList(Iterable<TptpParserOutput.GeneralTerm> list) A correct implementation must return an object representing the general term constructed as a list.
TptpParserOutput.GeneralTerm	SimpleTptpParserOutput.createGeneralList(Iterable<TptpParserOutput.GeneralTerm> list) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.GeneralTerm	TptpParserOutput.createGeneralTerm(TptpParserOutput.Term term) A correct implementation must return an object representing a formula
TptpParserOutput.GeneralTerm	SimpleTptpParserOutput.createGeneralTerm(TptpParserOutput.Term term) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.GeneralTerm	TptpParserOutput.createGeneralThfFormula(TptpParserOutput.ThfFormula formula) A correct implementation must return an object representing a formula
TptpParserOutput.GeneralTerm	SimpleTptpParserOutput.createGeneralThfFormula(TptpParserOutput.ThfFormula formula) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.GeneralTerm	TptpParserOutput.createGeneralVariable(String var) A correct implementation must return an object representing a general term constructed as a variable (represented as a string)
TptpParserOutput.GeneralTerm	SimpleTptpParserOutput.createGeneralVariable(String var) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.GeneralTerm	TptpParser.formula_data(TptpParserOutput out)
TptpParserOutput.GeneralTerm	TptpParser.general_data(TptpParserOutput out)
TptpParserOutput.GeneralTerm	TptpParser.general_list(TptpParserOutput out)
TptpParserOutput.GeneralTerm	TptpParser.general_term(TptpParserOutput out)
TptpParserOutput.GeneralTerm	TptpParser.parent_details(TptpParserOutput out)

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

Modifier and Type	Method and Description
LinkedList<TptpParserOutput.GeneralTerm>	TptpParser.general_terms(TptpParserOutput out)

Methods in tptp_parser with parameters of type TptpParserOutput.GeneralTerm

Modifier and Type	Method and Description
TptpParserOutput.GeneralTerm	TptpParserOutput.createGeneralColon(TptpParserOutput.GeneralTerm left, TptpParserOutput.GeneralTerm right) A correct implementation must return an object representing a general term obtained by applying ':' (colon) binary operator to two general terms.
TptpParserOutput.GeneralTerm	SimpleTptpParserOutput.createGeneralColon(TptpParserOutput.GeneralTerm left, TptpParserOutput.GeneralTerm right) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.InfoItem	TptpParserOutput.createGeneralFunctionInfoItem(TptpParserOutput.GeneralTerm generalFunction) A correct implementation must return an object representing an instance of <info item> corresponding to the specified instance of <general function>.
TptpParserOutput.InfoItem	SimpleTptpParserOutput.createGeneralFunctionInfoItem(TptpParserOutput.GeneralTerm generalFunction) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.ParentInfo	TptpParserOutput.createParentInfo(TptpParserOutput.Source source, TptpParserOutput.GeneralTerm parentDetails) A correct implementation must return an object representing the parent info item with the specified parameters.
TptpParserOutput.ParentInfo	SimpleTptpParserOutput.createParentInfo(TptpParserOutput.Source source, TptpParserOutput.GeneralTerm parentDetails) Implements the corresponding spec in TptpParserOutput.

Method parameters in tptp_parser with type arguments of type TptpParserOutput.GeneralTerm

Modifier and Type	Method and Description
TptpParserOutput.GeneralTerm	TptpParserOutput.createGeneralFunction(String function, Iterable<TptpParserOutput.GeneralTerm> arguments) A correct implementation must return an object representing the non-list term obtained by applying function to arguments .
TptpParserOutput.GeneralTerm	SimpleTptpParserOutput.createGeneralFunction(String function, Iterable<TptpParserOutput.GeneralTerm> arguments) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.GeneralTerm	TptpParserOutput.createGeneralList(Iterable<TptpParserOutput.GeneralTerm> list) A correct implementation must return an object representing the general term constructed as a list.
TptpParserOutput.GeneralTerm	SimpleTptpParserOutput.createGeneralList(Iterable<TptpParserOutput.GeneralTerm> list) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.InfoItem	TptpParserOutput.createInferenceRuleInfoItem(String inferenceRule, String inferenceId, Iterable<TptpParserOutput.GeneralTerm> attributes) A correct implementation must return an object representing an instance of <info item> corresponding to an instance of <inference info> with the specified constituents.
TptpParserOutput.InfoItem	SimpleTptpParserOutput.createInferenceRuleInfoItem(String inferenceRule, String inferenceId, Iterable<TptpParserOutput.GeneralTerm> attributes) Implements the corresponding spec in TptpParserOutput.

Constructors in tptp_parser with parameters of type TptpParserOutput.GeneralTerm

Constructor and Description
GeneralFunction(TptpParserOutput.GeneralTerm generalFunction)
GeneralTerm(TptpParserOutput.GeneralTerm left, TptpParserOutput.GeneralTerm right)
ParentInfo(TptpParserOutput.Source source, TptpParserOutput.GeneralTerm parentDetails)

Constructor parameters in tptp_parser with type arguments of type TptpParserOutput.GeneralTerm

Constructor and Description
GeneralTerm(Iterable<TptpParserOutput.GeneralTerm> elements)
GeneralTerm(String function, Iterable<TptpParserOutput.GeneralTerm> arguments)
InferenceRule(String inferenceRule, String inferenceId, Iterable<TptpParserOutput.GeneralTerm> attributes)