All Packages Class Hierarchy This Package Previous Next Index
Class prolog.ChoicePoint
java.lang.Object
|
+----prolog.ChoicePoint
- public class ChoicePoint
- extends Object
Represents a point in the execution of a Prolog program where another
clause could have been selected (for use on backtracking).
-
arg0
-
-
cont_ar
- Upon backtracking, execution at this ActivationRecord, using
this Goal.
-
cont_code
-
-
cp_last
- The ActivationRecord previous to this one with
alternatives.
-
cut_ptr
- The cut pointer for this clause (i.e.
-
next_clause
- The next alternative clause.
-
predicate
-
-
trail_top
- Top of the trail when this choicepoint was created.
-
ChoicePoint()
-
-
set(int, Goal, ClauseList, Binding, int, int)
- Sets the contents of this ChoicePoint.
-
toString()
-
cont_ar
int cont_ar
- Upon backtracking, execution at this ActivationRecord, using
this Goal.
cont_code
Goal cont_code
next_clause
public ClauseList next_clause
- The next alternative clause. "BP"
trail_top
Binding trail_top
- Top of the trail when this choicepoint was created. "TR"
cp_last
int cp_last
- The ActivationRecord previous to this one with
alternatives. "B"
cut_ptr
int cut_ptr
- The cut pointer for this clause (i.e. cut back to this
ChoicePoint. "B0"
predicate
public DynamicPredicate predicate
arg0
public Compound arg0
ChoicePoint
public ChoicePoint()
set
public final void set(int cont_ar,
Goal cont_code,
ClauseList next_clause,
Binding trail_top,
int cp_last,
int cut_ptr)
- Sets the contents of this ChoicePoint.
toString
public String toString()
- Overrides:
- toString in class Object
All Packages Class Hierarchy This Package Previous Next Index