All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.IntAtom 

java.lang.Object
   |
   +----kl1.lang.KL1Object
           |
           +----kl1.lang.IntAtom
public class IntAtom
extends KL1Object
This class represents an integer atom.

Author:
Satoshi KURAMOCHI

Variable Index

o value

Constructor Index

o IntAtom(int)
Constructs an integer atom.

Method Index

o deref()
Dereferences the object.
o equals(KL1Object)
o gunify(KL1Object)
Checks whether this object and that are unifiable.
o print()
Prints the information of the object.
o shallow_unify(KL1Machine, KL1Object)
Unifies this object and that without recursive unification.
o toString()
o unify(KL1Machine, KL1Object)
Unifies this object and that.
o valueof()

Variables

o value 
 public int value

Constructors

o IntAtom 
 public IntAtom(int i)
Constructs an integer atom.

Parameters:
i - the value to be represented by the IntAtom.

Methods

o valueof 
 public int valueof()
o deref 
 public KL1Object deref()
Dereferences the object.

Overrides:
deref in class KL1Object
o gunify 
 public KL1Object gunify(KL1Object that)
Checks whether this object and that are unifiable.

Overrides:
gunify in class KL1Object
o unify 
 public void unify(KL1Machine mach,
                   KL1Object that)
Unifies this object and that.

Overrides:
unify in class KL1Object
o shallow_unify 
 public void shallow_unify(KL1Machine mach,
                           KL1Object that)
Unifies this object and that without recursive unification.

Overrides:
shallow_unify in class KL1Object
o equals 
 public boolean equals(KL1Object that)
Overrides:
equals in class KL1Object
o toString 
 public String toString()
Overrides:
toString in class KL1Object
o print 
 public String print()
Prints the information of the object.

Overrides:
print in class KL1Object 
All Packages  Class Hierarchy  This Package  Previous  Next  Index