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 StateEnd

    java.lang.Object
      alice.tuprolog.State
          alice.tuprolog.StateEnd

public class StateEnd
extends alice.tuprolog.State

Author:
  Alex Benini End state of demostration.

Field Summary
`protected EngineManager` | `c`
`protected java.lang.String` | `stateName`

Constructor Summary
`StateEnd(EngineManager c, int end)` Constructor

Method Summary
`int` | `getResultDemo()`
`Struct` | `getResultGoal()`
`java.util.List` | `getResultVars()`
`java.lang.String` | `toString()`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

Field Detail

### c

    protected EngineManager c

### stateName

    protected java.lang.String stateName

Constructor Detail

### StateEnd

    public StateEnd(EngineManager c,
                    int end)

  Constructor

Parameters:
  `end` - Terminal state of computation

Method Detail

### getResultDemo

    public int getResultDemo()

### getResultGoal

    public Struct getResultGoal()

### getResultVars

    public java.util.List getResultVars()

### toString

    public java.lang.String toString()

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