Uses of Interface
tptp_parser.TptpParserOutput.CnfFormula

Packages that use TptpParserOutput.CnfFormula

Package	Description
tptp_parser

Uses of TptpParserOutput.CnfFormula in tptp_parser

Classes in tptp_parser that implement TptpParserOutput.CnfFormula

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.Clause

Methods in tptp_parser that return TptpParserOutput.CnfFormula

Modifier and Type	Method and Description
TptpParserOutput.CnfFormula	TptpParser.cnf_formula(TptpParserOutput out)
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.
TptpParserOutput.CnfFormula	TptpParser.tptp_literals(TptpParserOutput out)

Methods in tptp_parser with parameters of type TptpParserOutput.CnfFormula

Modifier and Type	Method and Description
TptpParserOutput.TptpInput	TptpParserOutput.createCnfAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.CnfFormula clause, TptpParserOutput.Annotations annotations, int lineNumber) A correct implementation must return a TptpInput object representing clause wrapped in the corresponding annotation.
TptpParserOutput.TptpInput	SimpleTptpParserOutput.createCnfAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.CnfFormula clause, TptpParserOutput.Annotations annotations, int lineNumber) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.GeneralTerm	TptpParserOutput.createGeneralCnfFormula(TptpParserOutput.CnfFormula formula) A correct implementation must return an object representing a formula
TptpParserOutput.GeneralTerm	SimpleTptpParserOutput.createGeneralCnfFormula(TptpParserOutput.CnfFormula formula) Implements the corresponding spec in TptpParserOutput.

Constructors in tptp_parser with parameters of type TptpParserOutput.CnfFormula

Constructor and Description
AnnotatedClause(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.CnfFormula clause, TptpParserOutput.Annotations annotations, int lineNumber)
GeneralTerm(TptpParserOutput.CnfFormula formula)