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
-
name
- the name of the symbolic atom
-
nil
- Represents a null list: '[]'.
-
period
- Represents a period atom.
-
SymAtom(GString)
- Constructs a symbolic atom.
-
SymAtom(String)
- Constructs a symbolic atom.
-
deref()
- Dereferences the object.
-
equals(KL1Object)
-
-
gunify(KL1Object)
- Checks whether this object and
that
are unifiable.
-
isnil()
- Checks whether the object is nil.
-
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
.
name
public String name
- the name of the symbolic atom
nil
public static final SymAtom nil
- Represents a null list: '[]'.
period
public static final SymAtom period
- Represents a period atom.
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
SymAtom
public SymAtom(GString name)
- Constructs a symbolic atom.
- Parameters:
- name - The name of the symbolic atom.
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
equals
public boolean equals(KL1Object that)
- Overrides:
- equals 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
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