Uses of Class
com.articulate.sigma.Vampire

Packages that use Vampire

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

Uses of Vampire in com.articulate.sigma

Methods in com.articulate.sigma that return Vampire

Modifier and Type	Method and Description
static Vampire	Vampire.getNewInstance(java.lang.String kbFileName) This static factory method returns a new Vampire instance.
static Vampire	Vampire.getNewInstanceWithFormulas(java.lang.Iterable formulaSource)