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 ChoicePointContext

    java.lang.Object
      alice.tuprolog.ChoicePointContext

public class ChoicePointContext
extends java.lang.Object

Author:
  Alex Benini

Constructor Summary
`ChoicePointContext()`

Method Summary
`ClauseStore` | `getCompatibleGoals()`
`ExecutionContext` | `getExecutionContext()`
`SubGoalId` | `getIndexBack()`
`java.util.List` | `getVarsToDeunify()`
`java.lang.String` | `toString()`

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

Constructor Detail

### ChoicePointContext

    public ChoicePointContext()

Method Detail

### toString

    public java.lang.String toString()

### getCompatibleGoals

    public ClauseStore getCompatibleGoals()

### getExecutionContext

    public ExecutionContext getExecutionContext()

### getIndexBack

    public SubGoalId getIndexBack()

### getVarsToDeunify

    public java.util.List getVarsToDeunify()

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