alice.tuprolog

Class ChoicePointContext

java.lang.Object

alice.tuprolog.ChoicePointContext

public class ChoicePointContext
extends Object

Author:

Alex Benini

Constructor Summary

Constructors

Constructor and Description
ChoicePointContext()

Method Summary

Methods

Modifier and Type	Method and Description
ClauseStore	getCompatibleGoals()
ExecutionContext	getExecutionContext()
SubGoalId	getIndexBack()
List	getVarsToDeunify()
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 String toString()

Overrides:

toString in class Object

getCompatibleGoals

public ClauseStore getCompatibleGoals()

getExecutionContext

public ExecutionContext getExecutionContext()

getIndexBack

public SubGoalId getIndexBack()

getVarsToDeunify

public List getVarsToDeunify()