All Packages Class Hierarchy This Package Previous Next Index
Class kl1.lang.Cons
java.lang.Object
|
+----kl1.lang.KL1Object
|
+----kl1.lang.Cons
- public class Cons
- extends KL1Object
This class represents a cons cell.
- Author:
- Satoshi KURAMOCHI
-
car
- The first element of the cons cell
-
cdr
- The second element of the cons cell
-
Cons(KL1Object, KL1Object)
- Constructs a cons cell.
-
deref()
- Dereferences the object.
-
gunify(KL1Object)
- Checks whether this object and
that
are unifiable.
-
print()
- Prints the information of the object.
-
shallow_unify(KL1Machine, KL1Object)
- Unifies this object and
that
without recursive unification.
-
toString()
-
-
unify(KL1Machine, KL1Object)
- Unifies this object and
that
.
cdr
public KL1Object cdr
- The second element of the cons cell
car
public KL1Object car
- The first element of the cons cell
Cons
public Cons(KL1Object cdr,
KL1Object car)
- Constructs a cons cell.
- Parameters:
- cdr - the second element of the cons cell.
- car - the first element of the cons cell.
deref
public KL1Object deref()
- Dereferences the object.
- Overrides:
- deref in class KL1Object
gunify
public KL1Object gunify(KL1Object that)
- Checks whether this object and
that
are unifiable.
- Overrides:
- gunify in class KL1Object
unify
public void unify(KL1Machine mach,
KL1Object that)
- Unifies this object and
that
.
- Overrides:
- unify in class KL1Object
shallow_unify
public void shallow_unify(KL1Machine mach,
KL1Object that)
- Unifies this object and
that
without recursive unification.
- Overrides:
- shallow_unify in class KL1Object
toString
public String toString()
- Overrides:
- toString in class KL1Object
print
public String print()
- Prints the information of the object.
- Overrides:
- print in class KL1Object
All Packages Class Hierarchy This Package Previous Next Index