|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Predicate
This is the general interface for predicates with an arbitrary number of arguments. Arguments are always denotators. To implement a predicate, extend the AbstractPredicate class.
Method Summary | |
---|---|
Predicate |
and(Predicate p)
Returns a predicate that is the conjuction of this and p . |
boolean |
call(Denotator... denotators)
Calls the predicate with one argument. |
int |
getArity()
Returns the arity of the predicate. |
Form |
getInputForm(int i)
Returns the i th 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 . |
Methods inherited from interface java.util.Comparator |
---|
compare, equals |
Method Detail |
---|
boolean call(Denotator... denotators) throws RubatoException
RubatoException
Predicate and(Predicate p) throws RubatoException
p
.
Both predicates must have same arity.
RubatoException
Predicate or(Predicate p) throws RubatoException
p
.
Both predicates must have same arity.
RubatoException
Predicate negated()
int getArity()
Form getInputForm(int i)
i
th argument form.
java.lang.String getName()
boolean isCompatible(Predicate p)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |