tptp_parser

Interface TptpParserOutput.AtomicFormula

All Known Implementing Classes:

SimpleTptpParserOutput.Formula.Atomic

Enclosing interface:

TptpParserOutput

public static interface TptpParserOutput.AtomicFormula

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