All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.Variable

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

public class Variable
extends Term
Representation of variables in the database (placeholders).


Variable Index

 o id
Index of the variable referenced by this term (relative to the clause it's in).

Constructor Index

 o Variable(int)

Method Index

 o displayString()
Returns a displayable version of this object, for use by write/1.
 o getID()
 o getName()
 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 setID(int)
 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 unify(Term, Term[], Prolog)
Unifies this term with the argument.

Variables

 o id
 protected int id
Index of the variable referenced by this term (relative to the clause it's in).

Constructors

 o Variable
 public Variable(int id)

Methods

 o instantiate
 public Term instantiate(Term insts[])
Copies this term, instantiating variables from the insts array.

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

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

Overrides:
identical in class Term
 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 Term
 o typify
 public void typify(TypeDictionary types,
                    boolean map)
Generate the type tree that describes this Term.

Overrides:
typify in class Term
 o getID
 int getID()
 o setID
 void setID(int id)
 o getName
 public String getName()
 o displayString
 public String displayString()
Returns a displayable version of this object, for use by write/1.

Overrides:
displayString in class Term
 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 Term

All Packages  Class Hierarchy  This Package  Previous  Next  Index