Uses of Class
TPTPWorld.TPTPFormula

Packages that use TPTPFormula

Package	Description
com.articulate.sigma	Provides classes for the Sigma knowledge engineering environment version developed at Articulate Software Inc.
TPTPWorld

Uses of TPTPFormula in com.articulate.sigma

Methods in com.articulate.sigma with parameters of type TPTPFormula

Modifier and Type	Method and Description
static StringBuffer	TPTP2SUMO.convertType(TPTPFormula formula, int indent, int indented) Convert a single annotated TPTP clause to a single XML-wrapped SUMO formula.
static StringBuffer	TPTP2SUMO.convertType(TPTPFormula formula, int indent, int indented, boolean noXML) Convert a single annotated TPTP clause to a single SUMO formula, possibly XML-wrapped.

Uses of TPTPFormula in TPTPWorld

Fields in TPTPWorld with type parameters of type TPTPFormula

Modifier and Type	Field and Description
ArrayList<TPTPFormula>	TPTPFormula.child
Hashtable<String,TPTPFormula>	TPTPParser.ftable
ArrayList<TPTPFormula>	TPTPFormula.parent

Methods in TPTPWorld that return TPTPFormula

Modifier and Type	Method and Description
static TPTPFormula	AnswerExtractor.extractVine(Hashtable<String,TPTPFormula> ftable)

Methods in TPTPWorld that return types with arguments of type TPTPFormula

Modifier and Type	Method and Description
static ArrayList<TPTPFormula>	ProofSummary.getLemmaVine(TPTPFormula conjecture)

Methods in TPTPWorld with parameters of type TPTPFormula

Modifier and Type	Method and Description
void	TPTPFormula.addParent(TPTPFormula that)
static ArrayList<TPTPFormula>	ProofSummary.getLemmaVine(TPTPFormula conjecture)
static ArrayList<String>	TPTPParser.identifyVariables(TPTPFormula formula)
static boolean	AnswerExtractor.printSZS(TPTPFormula conjecture, ArrayList<Binding> binds)

Method parameters in TPTPWorld with type arguments of type TPTPFormula

Modifier and Type	Method and Description
static ArrayList<Binding>	AnswerExtractor.extractAnswers(Hashtable<String,TPTPFormula> ftable)
static TPTPFormula	AnswerExtractor.extractVine(Hashtable<String,TPTPFormula> ftable)