tptp_parser

Interface TptpParserOutput.GeneralTerm

All Known Implementing Classes:

SimpleTptpParserOutput.GeneralTerm

Enclosing interface:

TptpParserOutput

public static interface TptpParserOutput.GeneralTerm

Must be implemented by a class representing <general term> in the BNF grammar.