alice.tuprolog

Class Engine

java.lang.Object

alice.tuprolog.Engine

public class Engine
extends Object

Author:

Alex Benini

Constructor Summary

Constructors

Constructor and Description
Engine(EngineManager manager, Term query)

Method Summary

Methods

Modifier and Type	Method and Description
void	cleanup()
ChoicePointStore	getChoicePointStore()
List	getExecutionStack()
int	getNumDemoSteps()
Term	getQuery()
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

cleanup

public void cleanup()

toString

public String toString()

Overrides:

toString in class Object

getQuery

public Term getQuery()

getNumDemoSteps

public int getNumDemoSteps()

getExecutionStack

public List getExecutionStack()

getChoicePointStore

public ChoicePointStore getChoicePointStore()