tptp_parser

Interface TptpParserOutput.Literal

All Known Implementing Classes:

SimpleTptpParserOutput.Literal

Enclosing interface:

TptpParserOutput

public static interface TptpParserOutput.Literal

Must be implemented by a class representing structures corresponding to instances of <literal> in the BNF grammar.