Package | Description |
---|---|
com.articulate.sigma |
Provides classes for the Sigma knowledge engineering environment version developed
at Articulate Software Inc.
|
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) |