com.articulate.sigma

Class Vampire.VampireFactory

java.lang.Object

com.articulate.sigma.InferenceEngine.EngineFactory

com.articulate.sigma.tp.Vampire.VampireFactory

Enclosing class:

Vampire

public static class Vampire.VampireFactory
extends InferenceEngine.EngineFactory

Constructor Summary

Constructors

Constructor and Description
VampireFactory()

Method Summary

Modifier and Type	Method and Description
InferenceEngine	createFromKBFile(java.lang.String kbFileName)
InferenceEngine	createWithFormulas(java.lang.Iterable formulaSource)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

VampireFactory

public VampireFactory()

Method Detail

createWithFormulas

public InferenceEngine createWithFormulas(java.lang.Iterable formulaSource)

Specified by:

createWithFormulas in class InferenceEngine.EngineFactory

createFromKBFile

public InferenceEngine createFromKBFile(java.lang.String kbFileName)

Specified by:

createFromKBFile in class InferenceEngine.EngineFactory