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
sp - the Prolog where the atom should be createdstring - the name of the atomAtomRegisterFailure - if the atom could not be registered, for any reasonpublic java.lang.String toString()
toString in class java.lang.Objectpublic boolean isSameAtom(SPCanonicalAtom cAtom) throws IllegalTermException
cAtom - the atom to check againstIllegalTermException - an illegal term was detected