|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectorg.deri.iris.basics.Predicate
public class Predicate
This is a simple IPredicate implementation.
NOTE: This implementation is immutable
$Id$
| Method Summary | |
|---|---|
int |
compareTo(IPredicate o)
|
boolean |
equals(Object o)
|
int |
getArity()
Returns the arity of the predicate. |
String |
getPredicateSymbol()
Returns the predicate symbol. |
int |
hashCode()
|
String |
toString()
|
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Method Detail |
|---|
public String getPredicateSymbol()
IPredicateReturns the predicate symbol.
getPredicateSymbol in interface IPredicatepublic int getArity()
IPredicateReturns the arity of the predicate.
getArity in interface IPredicatepublic int hashCode()
hashCode in class Objectpublic boolean equals(Object o)
equals in class Objectpublic int compareTo(IPredicate o)
compareTo in interface Comparable<IPredicate>public String toString()
toString in class Object
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||