|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectorg.deri.iris.terms.Variable
public class Variable
Simple implementation of the IVariable.
$Id$
| Method Summary | |
|---|---|
int |
compareTo(ITerm o)
|
boolean |
equals(Object o)
|
String |
getValue()
Returns a vale of the term. |
int |
hashCode()
|
boolean |
isGround()
Checks whether the term is ground (a term with no variables). |
String |
toString()
Returns a String representation of this object. |
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Method Detail |
|---|
public boolean isGround()
ITerm
isGround in interface ITermtrue if the term is ground,
otherwise false.public int compareTo(ITerm o)
compareTo in interface Comparable<ITerm>public int hashCode()
hashCode in class Objectpublic boolean equals(Object o)
equals in class Objectpublic String toString()
toString in class Objectpublic String getValue()
ITerm
getValue in interface ITermgetValue in interface IVariable
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||