alice.tuprolog
Class ChoicePointContext

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