Uses of Interface
tptp_parser.TptpParserOutput.Literal

Packages that use TptpParserOutput.Literal

Package	Description
tptp_parser

Uses of TptpParserOutput.Literal in tptp_parser

Classes in tptp_parser that implement TptpParserOutput.Literal

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.Literal

Methods in tptp_parser that return TptpParserOutput.Literal

Modifier and Type	Method and Description
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.
TptpParserOutput.Literal	TptpParser.literal(TptpParserOutput out)
TptpParserOutput.Literal	TptpParser.tptp_literal(TptpParserOutput out)

Methods in tptp_parser that return types with arguments of type TptpParserOutput.Literal

Modifier and Type	Method and Description
LinkedList<TptpParserOutput.Literal>	TptpParser.disjunction(TptpParserOutput out)

Method parameters in tptp_parser with type arguments of type TptpParserOutput.Literal

Modifier and Type	Method and Description
TptpParserOutput.CnfFormula	TptpParserOutput.createClause(Iterable<TptpParserOutput.Literal> literals) A correct implementation must return an object representing the clause made of literals .
TptpParserOutput.CnfFormula	SimpleTptpParserOutput.createClause(Iterable<TptpParserOutput.Literal> literals) Implements the corresponding spec in TptpParserOutput.

Constructor parameters in tptp_parser with type arguments of type TptpParserOutput.Literal

Constructor and Description
Clause(Iterable<TptpParserOutput.Literal> literals)