Uses of Class
TPTPWorld.Binding

Packages that use Binding

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

Uses of Binding in com.articulate.sigma

Method parameters in com.articulate.sigma with type arguments of type Binding

Modifier and Type	Method and Description
static String	TPTP2SUMO.convert(BufferedReader reader, ArrayList<Binding> answer, boolean instantiated) Convert a TPTP proof to a SUMO XML-wrapped proof
static String	TPTP2SUMO.convert(Reader in, ArrayList<Binding> answer, boolean instantiated) Convenience routine that calls the main convert() method below
static String	TPTP2SUMO.convert(String tptp, ArrayList<Binding> answer, boolean instantiated) Convenience routine that calls the main convert() method below

Uses of Binding in TPTPWorld

Fields in TPTPWorld declared as Binding

Modifier and Type	Field and Description
Binding	Binding.next

Methods in TPTPWorld that return Binding

Modifier and Type	Method and Description
Binding	Binding.addBinding(String bind)

Methods in TPTPWorld that return types with arguments of type Binding

Modifier and Type	Method and Description
static ArrayList<Binding>	AnswerExtractor.extractAnswers(Hashtable<String,TPTPFormula> ftable)
static ArrayList<Binding>	SystemOnTPTP.getSZSBindings(SimpleTptpParserOutput.TopLevelItem item, ArrayList<Binding> answers)
static ArrayList<Binding>	SystemOnTPTP.getSZSBindings(SimpleTptpParserOutput.TopLevelItem item, String tptp)
static ArrayList<Binding>	SystemOnTPTP.getSZSBindings(String conjecture, ArrayList<Binding> answers)
static ArrayList<Binding>	SystemOnTPTP.getSZSBindings(String conjecture, String tptp)

Method parameters in TPTPWorld with type arguments of type Binding

Modifier and Type	Method and Description
static String	LooksDifferent.addToConjecture(String conjecture, ArrayList<Binding> binds)
static String	LooksDifferent.bindConjecture(String conjecture, ArrayList<Binding> original, ArrayList<Binding> bind)
static String	LooksDifferent.bindConjecture(String conjecture, ArrayList<Binding> original, ArrayList<Binding> bind)
static String	Binding.getBinding(String variable, ArrayList<Binding> binds)
static TreeSet<TPTPParser.Symbol>	TPTPParser.getSymbolList(ArrayList<Binding> bindings)
static ArrayList<Binding>	SystemOnTPTP.getSZSBindings(SimpleTptpParserOutput.TopLevelItem item, ArrayList<Binding> answers)
static ArrayList<Binding>	SystemOnTPTP.getSZSBindings(String conjecture, ArrayList<Binding> answers)
static boolean	AnswerExtractor.printSZS(TPTPFormula conjecture, ArrayList<Binding> binds)