tptp_parser

Interface TptpParserOutput.InfoItem

All Known Implementing Classes:

SimpleTptpParserOutput.InfoItem, SimpleTptpParserOutput.InfoItem.AssumptionRecord, SimpleTptpParserOutput.InfoItem.Description, SimpleTptpParserOutput.InfoItem.GeneralFunction, SimpleTptpParserOutput.InfoItem.InferenceRule, SimpleTptpParserOutput.InfoItem.InferenceStatus, SimpleTptpParserOutput.InfoItem.IQuote, SimpleTptpParserOutput.InfoItem.Refutation

Enclosing interface:

TptpParserOutput

public static interface TptpParserOutput.InfoItem

Must be implemented by a class representing instances of <info item> in the BNF grammar.