public class SPCanonicalAtom
extends java.lang.Object
You should not inherit from SPCanonicalAtom
.
SPTerm.getCanonicalAtom()
Constructor | Description |
---|---|
SPCanonicalAtom(SICStus sp,
java.lang.String string) |
Creates a canonical atom from a string.
|
Modifier and Type | Method | 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.Object
public boolean isSameAtom(SPCanonicalAtom cAtom) throws IllegalTermException
cAtom
- the atom to check againstIllegalTermException
- an illegal term was detected