Uses of Class
com.articulate.sigma.InferenceEngine

Packages that use InferenceEngine

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

Uses of InferenceEngine in com.articulate.sigma

Subclasses of InferenceEngine in com.articulate.sigma

Modifier and Type	Class and Description
class	SInE
class	Vampire Class for invoking the KIF version of Vampire from Java.

Methods in com.articulate.sigma that return InferenceEngine

Modifier and Type	Method and Description
InferenceEngine	SInE.SInEFactory.createFromKBFile(java.lang.String kbFileName)
abstract InferenceEngine	InferenceEngine.EngineFactory.createFromKBFile(java.lang.String kbFileName)
InferenceEngine	Vampire.VampireFactory.createFromKBFile(java.lang.String kbFileName)
InferenceEngine	KB.createInferenceEngine(InferenceEngine.EngineFactory factory) Creates InferenceEngine and loads all of the constituents into it.
InferenceEngine	Vampire.VampireFactory.createWithFormulas(java.lang.Iterable formulaSource)
InferenceEngine	SInE.SInEFactory.createWithFormulas(java.lang.Iterable<java.lang.String> formulaSource)
abstract InferenceEngine	InferenceEngine.EngineFactory.createWithFormulas(java.lang.Iterable<java.lang.String> formulaSource)

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

Modifier and Type	Method and Description
java.lang.String	KB.askEngine(java.lang.String suoKifFormula, int timeout, int maxAnswers, InferenceEngine engine) Submits a query to specified InferenceEngine object.