|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.logeo.predicates.AbstractPredicate
public abstract class AbstractPredicate
This class implements predicates on denotators. Predicates may have any arity. The signature of predicate is indicated by implementing the getInputForm method.
Constructor Summary | |
---|---|
AbstractPredicate()
|
Method Summary | |
---|---|
Predicate |
and(Predicate p1)
Returns a predicate that is the conjuction of this and p. |
abstract boolean |
call(Denotator... denotators)
Calls the predicate with a list of arguments. |
int |
compare(Predicate o1,
Predicate o2)
Implements the compare method required by the Comparator interface. |
abstract int |
getArity()
Returns the arity of the predicate. |
abstract Form |
getInputForm(int i)
Returns the ith argument form. |
java.lang.String |
getName()
Returns the name of the predicate. |
boolean |
isCompatible(Predicate p)
Returns true if p is compatible to this. |
Predicate |
negated()
Returns a predicate that is the negation of this. |
Predicate |
or(Predicate p)
Returns a predicate that is the disjunction of this and p. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.util.Comparator |
---|
equals |
Constructor Detail |
---|
public AbstractPredicate()
Method Detail |
---|
public abstract boolean call(Denotator... denotators) throws RubatoException
call
in interface Predicate
RubatoException
public int compare(Predicate o1, Predicate o2)
compare
in interface java.util.Comparator<Predicate>
public Predicate and(Predicate p1) throws RubatoException
and
in interface Predicate
RubatoException
public Predicate or(Predicate p) throws RubatoException
or
in interface Predicate
RubatoException
public Predicate negated()
negated
in interface Predicate
public abstract int getArity()
getArity
in interface Predicate
public abstract Form getInputForm(int i)
getInputForm
in interface Predicate
public java.lang.String getName()
getName
in interface Predicate
public java.lang.String toString()
toString
in class java.lang.Object
public boolean isCompatible(Predicate p)
isCompatible
in interface Predicate
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |