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.Object
public boolean isSameAtom(SPCanonicalAtom cAtom) throws IllegalTermException
cAtom
- the atom to check againstIllegalTermException
- an illegal term was detected