|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.logeo.predicates.Predicates
public final class Predicates
Several functions used for combining predicates.
Constructor Summary | |
---|---|
Predicates()
|
Method Summary | |
---|---|
static Predicate |
and(Predicate p,
Predicate q)
Returns a predicate that is the conjuction of p and q . |
static Predicate |
fromFunction(Function f)
Returns a predicate based on a function that returns a denotator of form "Boolean". |
static Predicate |
getTruePredicate()
Returns a predicate of arity 1 that is always true. |
static Predicate |
getTruePredicate(int n)
Returns a predicate of arity n that is always true. |
static Predicate |
not(Predicate p)
Returns a predicate that is the negation of p . |
static Predicate |
or(Predicate p,
Predicate q)
Returns a predicate that is the disjunction of p and p . |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Predicates()
Method Detail |
---|
public static Predicate and(Predicate p, Predicate q) throws RubatoException
p
and q
.
Both predicates must have same arity.
RubatoException
public static Predicate or(Predicate p, Predicate q) throws RubatoException
p
and p
.
Both predicates must have same arity.
RubatoException
public static Predicate not(Predicate p)
p
.
public static Predicate getTruePredicate()
public static Predicate getTruePredicate(int n)
n
that is always true.
public static Predicate fromFunction(Function f)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |