Constructor and Description |
---|
Engine(EngineRunner manager,
Term query) |
Modifier and Type | Method and Description |
---|---|
ChoicePointStore |
getChoicePointStore() |
java.util.List<ExecutionContext> |
getExecutionStack() |
int |
getNDemoSteps() |
java.lang.String |
getNextStateName() |
int |
getNResultAsked() |
int |
getNumDemoSteps() |
Term |
getQuery() |
boolean |
hasOpenAlternatives() |
java.lang.String |
toString() |
public Engine(EngineRunner manager, Term query)
public int getNDemoSteps()
public int getNResultAsked()
public boolean hasOpenAlternatives()
public java.lang.String toString()
toString
in class java.lang.Object
public Term getQuery()
public int getNumDemoSteps()
public java.util.List<ExecutionContext> getExecutionStack()
public ChoicePointStore getChoicePointStore()
public java.lang.String getNextStateName()