public class SPCanonicalAtom
extends java.lang.Object
You should not inherit from SPCanonicalAtom
.
SPTerm.getCanonicalAtom()
Constructor and Description |
---|
SPCanonicalAtom(SICStus sp,
java.lang.String string)
Creates a canonical atom from a string.
|
Modifier and Type | Method and Description |
---|---|
boolean |
isSameAtom(SPCanonicalAtom cAtom)
Returns true iff the atoms have the same canonical representation.
|
java.lang.String |
toString()
Returns this canonical atom as a string
|
public SPCanonicalAtom(SICStus sp, java.lang.String string) throws AtomRegisterFailure
AtomRegisterFailure
public java.lang.String toString()
toString
in class java.lang.Object
public boolean isSameAtom(SPCanonicalAtom cAtom) throws IllegalTermException
IllegalTermException