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).


Variable Index

 o arg0
 o cont_ar
Upon backtracking, execution at this ActivationRecord, using this Goal.
 o cont_code
 o cp_last
The ActivationRecord previous to this one with alternatives.
 o cut_ptr
The cut pointer for this clause (i.e.
 o next_clause
The next alternative clause.
 o predicate
 o trail_top
Top of the trail when this choicepoint was created.

Constructor Index

 o ChoicePoint()

Method Index

 o set(int, Goal, ClauseList, Binding, int, int)
Sets the contents of this ChoicePoint.
 o toString()

Variables

 o cont_ar
 int cont_ar
Upon backtracking, execution at this ActivationRecord, using this Goal.

 o cont_code
 Goal cont_code
 o next_clause
 public ClauseList next_clause
The next alternative clause. "BP"

 o trail_top
 Binding trail_top
Top of the trail when this choicepoint was created. "TR"

 o cp_last
 int cp_last
The ActivationRecord previous to this one with alternatives. "B"

 o cut_ptr
 int cut_ptr
The cut pointer for this clause (i.e. cut back to this ChoicePoint. "B0"

 o predicate
 public DynamicPredicate predicate
 o arg0
 public Compound arg0

Constructors

 o ChoicePoint
 public ChoicePoint()

Methods

 o 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.

 o toString
 public String toString()
Overrides:
toString in class Object

All Packages  Class Hierarchy  This Package  Previous  Next  Index