Uses of Interface
tptp_parser.TptpParserOutput.ThfAtomicFormula

Packages that use TptpParserOutput.ThfAtomicFormula

Package	Description
tptp_parser

Uses of TptpParserOutput.ThfAtomicFormula in tptp_parser

Classes in tptp_parser that implement TptpParserOutput.ThfAtomicFormula

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.ThfFormula.ThfAtomic

Methods in tptp_parser with parameters of type TptpParserOutput.ThfAtomicFormula

Modifier and Type	Method and Description
TptpParserOutput.ThfFormula	TptpParserOutput.atomAsThfFormula(TptpParserOutput.ThfAtomicFormula atom) A correct implementation must return an object of the class implementing ThfFormula, representing the atomic formula represented by the object atom .
TptpParserOutput.ThfFormula	SimpleTptpParserOutput.atomAsThfFormula(TptpParserOutput.ThfAtomicFormula atom) Implements the corresponding spec in TptpParserOutput.