Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## alice.tuprolog
Class Engine

    java.lang.Object
      alice.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()

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD