|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectorg.deri.iris.basics.Atom
public class Atom
A simple Atom implementation.
$Id$
| Method Summary | |
|---|---|
int |
compareTo(IAtom o)
|
boolean |
equals(Object o)
|
IPredicate |
getPredicate()
Returns the predicate symbol of the atom. |
ITuple |
getTuple()
Returns the tuple of the atom. |
int |
hashCode()
|
boolean |
isBuiltin()
Returns whether this atom is a builtin one, or not. |
boolean |
isGround()
Checks whether the atom is grounded (tuple contains no variables). |
String |
toString()
|
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Method Detail |
|---|
public IPredicate getPredicate()
IAtomReturns the predicate symbol of the atom.
getPredicate in interface IAtompublic ITuple getTuple()
IAtomReturns the tuple of the atom.
getTuple in interface IAtompublic boolean isGround()
IAtomChecks whether the atom is grounded (tuple contains no variables).
isGround in interface IAtompublic int compareTo(IAtom o)
compareTo in interface Comparable<IAtom>public int hashCode()
hashCode in class Objectpublic boolean equals(Object o)
equals in class Objectpublic String toString()
toString in class Objectpublic boolean isBuiltin()
IAtom
isBuiltin in interface IAtomtrue if it is builtin, otherwise
false
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||