edu.rice.cs.cunit.util
Interface IPredicate.Nary<P>

All Superinterfaces:
ILambda.Nary<java.lang.Boolean,P>
All Known Implementing Classes:
IPredicate.Nary.And, IPredicate.Nary.False, IPredicate.Nary.Or, IPredicate.Nary.True, IPredicate.Nary.Xor
Enclosing interface:
IPredicate<P>

public static interface IPredicate.Nary<P>
extends ILambda.Nary<java.lang.Boolean,P>

N-ary predicate interface Boolean <- P x P x ... x P.


Nested Class Summary
static class IPredicate.Nary.And
          N-ary AND.
static class IPredicate.Nary.Bind<P>
          (N-1)-ary decorator for an N-ary predicate that binds a constant to one of its parameters.
static class IPredicate.Nary.BindK<P>
          (N-K)-ary decorator for an N-ary predicate that binds constants to K of its parameters.
static class IPredicate.Nary.False
          FALSE.
static class IPredicate.Nary.Or
          N-ary OR.
static class IPredicate.Nary.True
          TRUE.
static class IPredicate.Nary.Xor
          N-ary XOR.
 
Nested classes/interfaces inherited from interface edu.rice.cs.cunit.util.ILambda.Nary
ILambda.Nary.BinaryAdaptor<R,P>, ILambda.Nary.Max<T extends java.lang.Comparable<T>>, ILambda.Nary.Min<T extends java.lang.Comparable<T>>, ILambda.Nary.TernaryAdaptor<R,P>, ILambda.Nary.UnaryAdaptor<R,P>
 
Method Summary
 
Methods inherited from interface edu.rice.cs.cunit.util.ILambda.Nary
apply