tptp_parser

Interface TptpParserOutput.ThfAtomicFormula

All Known Implementing Classes:

SimpleTptpParserOutput.ThfFormula.ThfAtomic

Enclosing interface:

TptpParserOutput

public static interface TptpParserOutput.ThfAtomicFormula

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