Uses of Class
tptp_parser.SimpleTptpParserOutput.Term

Packages that use SimpleTptpParserOutput.Term

Package	Description
tptp_parser

Uses of SimpleTptpParserOutput.Term in tptp_parser

Methods in tptp_parser that return SimpleTptpParserOutput.Term

Modifier and Type	Method and Description
SimpleTptpParserOutput.Term	SimpleTptpParserOutput.GeneralTerm.getTerm() Precondition: isTerm().

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

Modifier and Type	Method and Description
Iterable<SimpleTptpParserOutput.Term>	SimpleTptpParserOutput.ThfFormula.ThfAtomic.getArguments()
Iterable<SimpleTptpParserOutput.Term>	SimpleTptpParserOutput.Formula.Atomic.getArguments()
Iterable<SimpleTptpParserOutput.Term>	SimpleTptpParserOutput.Term.getArguments()

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

Constructor and Description
Atomic(String predicate, LinkedList<SimpleTptpParserOutput.Term> arguments)