Uses of Class
tptp_parser.TptpParserOutput.FormulaRole

Packages that use TptpParserOutput.FormulaRole

Package	Description
tptp_parser

Uses of TptpParserOutput.FormulaRole in tptp_parser

Methods in tptp_parser that return TptpParserOutput.FormulaRole

Modifier and Type	Method and Description
TptpParserOutput.FormulaRole	TptpParser.formula_role(TptpParserOutput out)
TptpParserOutput.FormulaRole	SimpleTptpParserOutput.AnnotatedThfFormula.getRole()
TptpParserOutput.FormulaRole	SimpleTptpParserOutput.AnnotatedFormula.getRole()
TptpParserOutput.FormulaRole	SimpleTptpParserOutput.AnnotatedClause.getRole()
static TptpParserOutput.FormulaRole	TptpParserOutput.FormulaRole.valueOf(String name) Returns the enum constant of this type with the specified name.
static TptpParserOutput.FormulaRole[]	TptpParserOutput.FormulaRole.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in tptp_parser with parameters of type TptpParserOutput.FormulaRole

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.TptpInput	TptpParserOutput.createFofAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.FofFormula formula, TptpParserOutput.Annotations annotations, int lineNumber) A correct implementation must return a TptpInput object representing formula wrapped in the corresponding annotation.
TptpParserOutput.TptpInput	SimpleTptpParserOutput.createFofAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.FofFormula formula, TptpParserOutput.Annotations annotations, int lineNumber) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.TptpInput	TptpParserOutput.createThfAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.ThfFormula formula, TptpParserOutput.Annotations annotations, int lineNumber) A correct implementation must return a TptpInput object representing formula wrapped in the corresponding annotation.
TptpParserOutput.TptpInput	SimpleTptpParserOutput.createThfAnnotated(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.ThfFormula formula, TptpParserOutput.Annotations annotations, int lineNumber) Implements the corresponding spec in TptpParserOutput.
void	SimpleTptpParserOutput.AnnotatedThfFormula.setRole(TptpParserOutput.FormulaRole newRole)
void	SimpleTptpParserOutput.AnnotatedFormula.setRole(TptpParserOutput.FormulaRole newRole)
void	SimpleTptpParserOutput.AnnotatedClause.setRole(TptpParserOutput.FormulaRole newRole)

Constructors in tptp_parser with parameters of type TptpParserOutput.FormulaRole

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