alice.tuprolog
Class Engine

java.lang.Object
  extended byalice.tuprolog.Engine

public class Engine
extends java.lang.Object

Author:
Alex Benini

Constructor Summary
Engine(EngineManager manager, Term query)
           
 
Method Summary
 ChoicePointStore getChoicePointStore()
           
 java.util.List getExecutionStack()
           
 int getNumDemoSteps()
           
 Term getQuery()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Engine

public Engine(EngineManager manager,
              Term query)
Method Detail

toString

public java.lang.String toString()

getQuery

public Term getQuery()

getNumDemoSteps

public int getNumDemoSteps()

getExecutionStack

public java.util.List getExecutionStack()

getChoicePointStore

public ChoicePointStore getChoicePointStore()