Constructor and Description |
---|
Engine(EngineManager manager,
Term query) |
Modifier and Type | Method and Description |
---|---|
ChoicePointStore |
getChoicePointStore() |
List<ExecutionContext> |
getExecutionStack() |
int |
getNumDemoSteps() |
Term |
getQuery() |
String |
toString() |
public Engine(EngineManager manager, Term query)
public Term getQuery()
public int getNumDemoSteps()
public List<ExecutionContext> getExecutionStack()
public ChoicePointStore getChoicePointStore()