Uses of Interface
tptp_parser.TptpParserOutput.AtomicFormula

Packages that use TptpParserOutput.AtomicFormula

Package	Description
tptp_parser

Uses of TptpParserOutput.AtomicFormula in tptp_parser

Classes in tptp_parser that implement TptpParserOutput.AtomicFormula

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.Formula.Atomic

Methods in tptp_parser that return TptpParserOutput.AtomicFormula

Modifier and Type	Method and Description
TptpParserOutput.AtomicFormula	TptpParser.atomic_formula(TptpParserOutput out, boolean[] polarity)
TptpParserOutput.AtomicFormula	TptpParserOutput.builtInFalse() A correct implementation must return a representation for $false.
TptpParserOutput.AtomicFormula	SimpleTptpParserOutput.builtInFalse() Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.AtomicFormula	TptpParserOutput.builtInTrue() A correct implementation must return a representation for $true.
TptpParserOutput.AtomicFormula	SimpleTptpParserOutput.builtInTrue() Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.AtomicFormula	TptpParserOutput.createEqualityAtom(TptpParserOutput.Term lhs, TptpParserOutput.Term rhs) A correct implementation must return an object representing the atomic formula obtained by applying the equality predicate to the terms.
TptpParserOutput.AtomicFormula	SimpleTptpParserOutput.createEqualityAtom(TptpParserOutput.Term lhs, TptpParserOutput.Term rhs) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.AtomicFormula	TptpParserOutput.createPlainAtom(String predicate, Iterable<TptpParserOutput.Term> arguments) A correct implementation must return an object representing the atomic formula obtained by applying predicate to arguments .
TptpParserOutput.AtomicFormula	SimpleTptpParserOutput.createPlainAtom(String predicate, Iterable<TptpParserOutput.Term> arguments) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.AtomicFormula	TptpParserOutput.createSystemAtom(String predicate, Iterable<TptpParserOutput.Term> arguments) A correct implementation must return an object representing the atomic formula obtained by applying predicate to arguments .
TptpParserOutput.AtomicFormula	SimpleTptpParserOutput.createSystemAtom(String predicate, Iterable<TptpParserOutput.Term> arguments) Implements the corresponding spec in TptpParserOutput.

Methods in tptp_parser with parameters of type TptpParserOutput.AtomicFormula

Modifier and Type	Method and Description
TptpParserOutput.FofFormula	TptpParserOutput.atomAsFormula(TptpParserOutput.AtomicFormula atom) A correct implementation must return an object of the class implementing FofFormula, representing the atomic formula represented by the object atom .
TptpParserOutput.FofFormula	SimpleTptpParserOutput.atomAsFormula(TptpParserOutput.AtomicFormula atom) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Literal	TptpParserOutput.createLiteral(boolean positive, TptpParserOutput.AtomicFormula atom) A correct implementation must return an object representing the literal with atom and the polarity determined by positive .
TptpParserOutput.Literal	SimpleTptpParserOutput.createLiteral(boolean positive, TptpParserOutput.AtomicFormula atom) Implements the corresponding spec in TptpParserOutput.

Constructors in tptp_parser with parameters of type TptpParserOutput.AtomicFormula

Constructor and Description
Literal(boolean positive, TptpParserOutput.AtomicFormula atom)