Uses of Interface
tptp_parser.TptpParserOutput.Term

Packages that use TptpParserOutput.Term

Package	Description
tptp_parser

Uses of TptpParserOutput.Term in tptp_parser

Classes in tptp_parser that implement TptpParserOutput.Term

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.Term

Methods in tptp_parser that return TptpParserOutput.Term

Modifier and Type	Method and Description
TptpParserOutput.Term	TptpParserOutput.createPlainTerm(String function, Iterable<TptpParserOutput.Term> arguments) A correct implementation must return an object representing the non-variable term obtained by applying function to arguments .
TptpParserOutput.Term	SimpleTptpParserOutput.createPlainTerm(String function, Iterable<TptpParserOutput.Term> arguments) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Term	TptpParserOutput.createSystemTerm(String function, Iterable<TptpParserOutput.Term> arguments) A correct implementation must return an object representing the atomic formula obtained by applying function to arguments .
TptpParserOutput.Term	SimpleTptpParserOutput.createSystemTerm(String function, Iterable<TptpParserOutput.Term> arguments) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Term	TptpParserOutput.createVariableTerm(String variable) A correct implementation must return an object representing variable as a term.
TptpParserOutput.Term	SimpleTptpParserOutput.createVariableTerm(String variable) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Term	TptpParser.defined_term(TptpParserOutput out)
TptpParserOutput.Term	TptpParser.plain_term(TptpParserOutput out)
TptpParserOutput.Term	TptpParser.system_term(TptpParserOutput out)
TptpParserOutput.Term	TptpParser.term(TptpParserOutput out)

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

Modifier and Type	Method and Description
LinkedList<TptpParserOutput.Term>	TptpParser.arguments(TptpParserOutput out)

Methods in tptp_parser with parameters of type TptpParserOutput.Term

Modifier and Type	Method and Description
TptpParserOutput.AtomicFormula	TptpParserOutput.createEqualityAtom(TptpParserOutput.Term lhs, TptpParserOutput.Term rhs) A correct implementation must return an object representing the atomic formula obtained by applying the equality predicate to the terms.
TptpParserOutput.AtomicFormula	SimpleTptpParserOutput.createEqualityAtom(TptpParserOutput.Term lhs, TptpParserOutput.Term rhs) 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.

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

Modifier and Type	Method and Description
TptpParserOutput.AtomicFormula	TptpParserOutput.createPlainAtom(String predicate, Iterable<TptpParserOutput.Term> arguments) A correct implementation must return an object representing the atomic formula obtained by applying predicate to arguments .
TptpParserOutput.AtomicFormula	SimpleTptpParserOutput.createPlainAtom(String predicate, Iterable<TptpParserOutput.Term> arguments) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Term	TptpParserOutput.createPlainTerm(String function, Iterable<TptpParserOutput.Term> arguments) A correct implementation must return an object representing the non-variable term obtained by applying function to arguments .
TptpParserOutput.Term	SimpleTptpParserOutput.createPlainTerm(String function, Iterable<TptpParserOutput.Term> arguments) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.AtomicFormula	TptpParserOutput.createSystemAtom(String predicate, Iterable<TptpParserOutput.Term> arguments) A correct implementation must return an object representing the atomic formula obtained by applying predicate to arguments .
TptpParserOutput.AtomicFormula	SimpleTptpParserOutput.createSystemAtom(String predicate, Iterable<TptpParserOutput.Term> arguments) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Term	TptpParserOutput.createSystemTerm(String function, Iterable<TptpParserOutput.Term> arguments) A correct implementation must return an object representing the atomic formula obtained by applying function to arguments .
TptpParserOutput.Term	SimpleTptpParserOutput.createSystemTerm(String function, Iterable<TptpParserOutput.Term> arguments) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.ThfFormula	TptpParserOutput.createThfPlainAtom(String predicate, Iterable<TptpParserOutput.Term> arguments)
TptpParserOutput.ThfFormula	SimpleTptpParserOutput.createThfPlainAtom(String predicate, Iterable<TptpParserOutput.Term> arguments) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.ThfFormula	TptpParserOutput.createThfSystemAtom(String predicate, Iterable<TptpParserOutput.Term> arguments)
TptpParserOutput.ThfFormula	SimpleTptpParserOutput.createThfSystemAtom(String predicate, Iterable<TptpParserOutput.Term> arguments) Implements the corresponding spec in TptpParserOutput.

Constructors in tptp_parser with parameters of type TptpParserOutput.Term

Constructor and Description
GeneralTerm(TptpParserOutput.Term term)

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

Constructor and Description
Atomic(String predicate, Iterable<TptpParserOutput.Term> arguments)
Term(SimpleTptpParserOutput.Symbol topSymbol, Iterable<TptpParserOutput.Term> arguments)
ThfAtomic(String predicate, Iterable<TptpParserOutput.Term> arguments)