All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.Binding

java.lang.Object
   |
   +----prolog.Term
           |
           +----prolog.Variable
                   |
                   +----prolog.Binding

public final class Binding
extends Variable
Representation of bindings - variables that aren't bound (to ground terms) by the unification of the goal with the unifying clause.


Variable Index

 o next
The next Binding in the trail.

Constructor Index

 o Binding(int)

Method Index

 o bind(Term)
 o displayString()
Returns a displayable version of this object, for use by write/1.
 o getBID()
 o getBinding()
Get the Term this Term is bound to.
 o identical(Term)
Asserts that this Term is identical to that.
 o instantiate(Term[])
Copies this term, instantiating variables from the insts array.
 o normalise_copy(Variable[], int, Vector)
Copy a Term, instantiating variables from the array.
 o toString()
Returns a representation of this object that may be used for debugging or database listings, etc.
 o typify(TypeDictionary, boolean)
Generate the type tree that describes this Term.
 o unbind()
 o unify(Term, Term[], Prolog)
Unifies this term with the argument.

Variables

 o next
 Binding next
The next Binding in the trail.

Constructors

 o Binding
 public Binding(int varid)

Methods

 o bind
 public void bind(Term t)
 o unbind
 public void unbind()
 o getBinding
 public Term getBinding()
Get the Term this Term is bound to.

Overrides:
getBinding in class Term
 o instantiate
 public Term instantiate(Term insts[])
Copies this term, instantiating variables from the insts array.

Overrides:
instantiate in class Variable
 o unify
 public boolean unify(Term t,
                      Term insts[],
                      Prolog p)
Unifies this term with the argument.

Overrides:
unify in class Variable
 o identical
 public boolean identical(Term t)
Asserts that this Term is identical to that.

Overrides:
identical in class Variable
 o normalise_copy
 public Term normalise_copy(Variable vars[],
                            int next_new_var,
                            Vector new_vars)
Copy a Term, instantiating variables from the array.

Overrides:
normalise_copy in class Variable
 o typify
 public void typify(TypeDictionary types,
                    boolean map)
Generate the type tree that describes this Term.

Overrides:
typify in class Variable
 o getBID
 public String getBID()
 o displayString
 public String displayString()
Returns a displayable version of this object, for use by write/1.

Overrides:
displayString in class Variable
 o toString
 public String toString()
Returns a representation of this object that may be used for debugging or database listings, etc.

Overrides:
toString in class Variable

All Packages  Class Hierarchy  This Package  Previous  Next  Index