All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.SymAtom

java.lang.Object
   |
   +----kl1.lang.KL1Object
           |
           +----kl1.lang.SymAtom

public class SymAtom
extends KL1Object
This class represents a symbolic atom.

Author:
Satoshi KURAMOCHI

Variable Index

 o name
the name of the symbolic atom
 o nil
Represents a null list: '[]'.
 o period
Represents a period atom.

Constructor Index

 o SymAtom(GString)
Constructs a symbolic atom.
 o SymAtom(String)
Constructs a symbolic atom.

Method Index

 o deref()
Dereferences the object.
 o equals(KL1Object)
 o gunify(KL1Object)
Checks whether this object and that are unifiable.
 o isnil()
Checks whether the object is nil.
 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.

Variables

 o name
 public String name
the name of the symbolic atom

 o nil
 public static final SymAtom nil
Represents a null list: '[]'.

 o period
 public static final SymAtom period
Represents a period atom.

Constructors

 o SymAtom
 public SymAtom(String name)
Constructs a symbolic atom.

Parameters:
name - The name of the symbolic atom. It must be intern()'ed.
See Also:
intern
 o SymAtom
 public SymAtom(GString name)
Constructs a symbolic atom.

Parameters:
name - The name of the symbolic atom.

Methods

 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
 o isnil
 public final boolean isnil()
Checks whether the object is nil.

Returns:
true if the object is nil; false otherwise.

All Packages  Class Hierarchy  This Package  Previous  Next  Index