Uses of Class
tptp_parser.SimpleTptpParserOutput.GeneralTerm

Packages that use SimpleTptpParserOutput.GeneralTerm

Package	Description
tptp_parser

Uses of SimpleTptpParserOutput.GeneralTerm in tptp_parser

Methods in tptp_parser that return SimpleTptpParserOutput.GeneralTerm

Modifier and Type	Method and Description
SimpleTptpParserOutput.GeneralTerm	SimpleTptpParserOutput.InfoItem.GeneralFunction.getGeneralFunction()
SimpleTptpParserOutput.GeneralTerm	SimpleTptpParserOutput.GeneralTerm.getLeftColonOperand() Precondition: isColon().
SimpleTptpParserOutput.GeneralTerm	SimpleTptpParserOutput.ParentInfo.getParentDetails()
SimpleTptpParserOutput.GeneralTerm	SimpleTptpParserOutput.GeneralTerm.getRightColonOperand() Precondition: isColon().

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

Modifier and Type	Method and Description
Iterable<SimpleTptpParserOutput.GeneralTerm>	SimpleTptpParserOutput.GeneralTerm.getArguments() Precondition: isFunction().
Iterable<SimpleTptpParserOutput.GeneralTerm>	SimpleTptpParserOutput.InfoItem.InferenceRule.getAttributes()
Iterable<SimpleTptpParserOutput.GeneralTerm>	SimpleTptpParserOutput.GeneralTerm.getListElements() Precondition: isList().