Uses of Interface
edu.rice.cs.plt.lambda.Predicate2

Packages that use Predicate2

edu.rice.cs.plt.collect	Contains general-purpose extensions to and variations on the java.util collections framework.
edu.rice.cs.plt.iter	A collection of implementations of Iterable and Iterator.
edu.rice.cs.plt.lambda	A collection of interfaces facilitating first-class functions in Java.
edu.rice.cs.plt.recur	Classes enabling safe handling of infinite or extremely deep recursion.

Uses of Predicate2 in edu.rice.cs.plt.collect

Subinterfaces of Predicate2 in edu.rice.cs.plt.collect

interface	FunctionalRelation<T1,T2> A functional relation: each first (of type T1) corresponds to at most one second (of type T2).
interface	InjectiveRelation<T1,T2> An injective relation: each second (of type T2) corresponds to at most one first (of type T1).
interface	OneToOneRelation<T1,T2> A injective functional relation: each first (of type T1) corresponds to at most one second (of type T2), and vice versa.
interface	Order<T> A reflexive, transitive relation, represented as a predicate.
interface	Relation<T1,T2> A set of pairs representing a binary relation.

Classes in edu.rice.cs.plt.collect that implement Predicate2

class	AbstractFunctionalRelation<T1,T2> An abstract parent class for implementations of FunctionalRelation.
protected class	AbstractFunctionalRelation.InverseFunctionalRelation An inverse of the enclosing relation.
class	AbstractInjectiveRelation<T1,T2> An abstract parent class for implementations of InjectiveRelation.
protected class	AbstractInjectiveRelation.InverseInjectiveRelation An inverse of the enclosing relation.
class	AbstractOneToOneRelation<T1,T2> An abstract parent class for implementations of OneToOneRelation.
protected class	AbstractOneToOneRelation.InverseOneToOneRelation An inverse of the enclosing relation.
class	AbstractRelation<T1,T2> An abstract parent class for implementations of Relation.
protected class	AbstractRelation.InverseRelation An inverse of the enclosing relation, defined in terms of Pair.inverse().
class	CartesianRelation<T1,T2> A Relation representing the cartesian (or cross) product of two sets.
class	ComplementRelation<T1,T2> The complement of a relation excluded in a domain domain (alternatively, domain - excluded), constructed lazily and updated dynamically.
class	ComposedRelation<T1,T2,T3> The transitive composition of two relations, lazily constructed and dynamically-updated.
class	DelegatingRelation<T1,T2> A relation that delegates all operations to a wrapped relation.
class	EmptyRelation<T1,T2> An immutable, empty, one-to-one relation.
class	FilteredRelation<T1,T2> A relation that contains only those pairs contained by both the given relation and the given predicate.
class	ImmutableRelation<T1,T2> Wraps a relation in an immutable interface.
class	IndexedFunctionalRelation<T1,T2> An implementation of the FunctionalRelation interface based on indexing maps.
class	IndexedInjectiveRelation<T1,T2> A hash code-based implementation of the InjectiveRelation interface.
class	IndexedOneToOneRelation<T1,T2> A implementation of OneToOneRelation based on indexing maps.
class	IndexedRelation<T1,T2> An implementation of the Relation interface based on indexing maps.
class	IntersectionRelation<T1,T2> The intersection of two relations, lazily constructed and updated dynamically.
class	SingletonRelation<T1,T2> An immutable Relation containing a single pair.
class	TotalOrder<T> A Comparator that implements Order.
class	UnindexedRelation<T1,T2> A mutable relation implemented by wrapping a set of pairs.
class	UnionRelation<T1,T2> The union of two relations, lazily constructed and updated dynamically.

Fields in edu.rice.cs.plt.collect declared as Predicate2

protected Predicate2<? super T1,? super T2>	FilteredRelation._pred
static Predicate2<Set<?>,Object>	CollectUtil.SET_CONTENTS_PREDICATE A predicate that accepts Set-Object pairs such that the given object is contained by the set.

Methods in edu.rice.cs.plt.collect with parameters of type Predicate2

static <T1,T2> Relation<T1,T2>

CollectUtil.filter(Relation<T1,T2> relation, Predicate2<? super T1,? super T2> pred) Lazily filter the given relation.

Constructors in edu.rice.cs.plt.collect with parameters of type Predicate2

FilteredRelation(Relation<T1,T2> relation, Predicate2<? super T1,? super T2> predicate)

Uses of Predicate2 in edu.rice.cs.plt.iter

Methods in edu.rice.cs.plt.iter with parameters of type Predicate2

static <T1,T2> boolean	IterUtil.and(Iterable<? extends T1> iter1, Iterable<? extends T2> iter2, Predicate2<? super T1,? super T2> pred) Check whether the given predicate holds for all corresponding values in iter1 and iter2.
static <T1,T2> boolean	IterUtil.or(Iterable<? extends T1> iter1, Iterable<? extends T2> iter2, Predicate2<? super T1,? super T2> pred) Check whether the given predicate holds for some corresponding values in iter1 and iter2.

Uses of Predicate2 in edu.rice.cs.plt.lambda

Subinterfaces of Predicate2 in edu.rice.cs.plt.lambda

static interface

LambdaUtil.GeneralPredicate An object that functions as a predicate for all arities.

Fields in edu.rice.cs.plt.lambda declared as Predicate2

static Predicate2<Object,Object>	LambdaUtil.EQUAL A predicate that evaluates to RecurUtil.safeEquals(Object, Object) applied to the arguments.
static Predicate2<Object,Object>	LambdaUtil.IDENTICAL A predicate that returns true iff arg1 == arg2.
static Predicate2<Object,Class<?>>	LambdaUtil.INSTANCE_OF A predicate that returns true iff the first argument is an instance of the second argument.
static Predicate2<Object,Object>	LambdaUtil.NOT_EQUAL A predicate that evaluates to the opposite of RecurUtil.safeEquals(Object, Object) applied to the arguments.
static Predicate2<Object,Object>	LambdaUtil.NOT_IDENTICAL A predicate that returns true iff arg1 != arg2.

Methods in edu.rice.cs.plt.lambda that return Predicate2

static <T1,T2> Predicate2<T1,T2>	LambdaUtil.and(Predicate2<? super T1,? super T2> p1, Predicate2<? super T1,? super T2> p2) Produce the conjunction (&&) of p1 and p2.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.and(Predicate2<? super T1,? super T2> p1, Predicate2<? super T1,? super T2> p2, Predicate2<? super T1,? super T2> p3) Produce the conjunction (&&) of p1, p2, and p3.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.and2(Iterable<? extends Predicate2<? super T1,? super T2>> preds) Produce the conjunction (&&) of the given predicates.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.asPredicate(Lambda2<? super T1,? super T2,? extends Boolean> lambda) Create a predicate based on an input that acts as a predicate but is not typed as one.
static <T1,T2,T3> Predicate2<T2,T3>	LambdaUtil.bindFirst(Predicate3<? super T1,? super T2,? super T3> pred, T1 arg1) Bind a fixed argument to the given ternary predicate, producing a binary predicate.
static <T1,T2,T3> Predicate2<T1,T3>	LambdaUtil.bindSecond(Predicate3<? super T1,? super T2,? super T3> pred, T2 arg2) Bind a fixed argument to the given ternary predicate, producing a binary predicate.
static <T1,T2,T3> Predicate2<T1,T2>	LambdaUtil.bindThird(Predicate3<? super T1,? super T2,? super T3> pred, T3 arg3) Bind a fixed argument to the given ternary predicate, producing a binary predicate.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.flatten2(Predicate<? super Pair<T1,T2>> pred) Treat a predicate accepting a Pair argument as a Predicate2.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.negate(Predicate2<? super T1,? super T2> pred) Produce the negation (!) of pred.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.or(Predicate2<? super T1,? super T2> p1, Predicate2<? super T1,? super T2> p2) Produce the disjunction (||) of p1 and p2.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.or(Predicate2<? super T1,? super T2> p1, Predicate2<? super T1,? super T2> p2, Predicate2<? super T1,? super T2> p3) Produce the disjunction (||) of p1, p2, and p3.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.or2(Iterable<? extends Predicate2<? super T1,? super T2>> preds) Produce the conjunction (||) of the given predicates.
static <T> Predicate2<T,Object>	LambdaUtil.promote(Predicate<? super T> pred) Create a Predicate2 equivalent to pred with an additional, ignored argument.
static <T1,T2> Predicate2<T2,T1>	LambdaUtil.transpose(Predicate2<? super T1,? super T2> pred) Swap the order of a binary predicate's arguments.

Methods in edu.rice.cs.plt.lambda with parameters of type Predicate2

static <T1,T2> Predicate2<T1,T2>	LambdaUtil.and(Predicate2<? super T1,? super T2> p1, Predicate2<? super T1,? super T2> p2) Produce the conjunction (&&) of p1 and p2.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.and(Predicate2<? super T1,? super T2> p1, Predicate2<? super T1,? super T2> p2) Produce the conjunction (&&) of p1 and p2.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.and(Predicate2<? super T1,? super T2> p1, Predicate2<? super T1,? super T2> p2, Predicate2<? super T1,? super T2> p3) Produce the conjunction (&&) of p1, p2, and p3.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.and(Predicate2<? super T1,? super T2> p1, Predicate2<? super T1,? super T2> p2, Predicate2<? super T1,? super T2> p3) Produce the conjunction (&&) of p1, p2, and p3.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.and(Predicate2<? super T1,? super T2> p1, Predicate2<? super T1,? super T2> p2, Predicate2<? super T1,? super T2> p3) Produce the conjunction (&&) of p1, p2, and p3.
static <T1,T2> Lambda2<T1,T2,Boolean>	LambdaUtil.asLambda(Predicate2<? super T1,? super T2> predicate) Create a Boolean lambda based on a predicate.
static <T1,T2> Predicate<T2>	LambdaUtil.bindFirst(Predicate2<? super T1,? super T2> pred, T1 arg1) Bind a fixed argument to the given binary predicate, producing a unary prediate.
static <T1,T2> Predicate<T1>	LambdaUtil.bindSecond(Predicate2<? super T1,? super T2> pred, T2 arg2) Bind a fixed argument to the given binary predicate, producing a unary predicate.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.negate(Predicate2<? super T1,? super T2> pred) Produce the negation (!) of pred.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.or(Predicate2<? super T1,? super T2> p1, Predicate2<? super T1,? super T2> p2) Produce the disjunction (||) of p1 and p2.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.or(Predicate2<? super T1,? super T2> p1, Predicate2<? super T1,? super T2> p2) Produce the disjunction (||) of p1 and p2.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.or(Predicate2<? super T1,? super T2> p1, Predicate2<? super T1,? super T2> p2, Predicate2<? super T1,? super T2> p3) Produce the disjunction (||) of p1, p2, and p3.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.or(Predicate2<? super T1,? super T2> p1, Predicate2<? super T1,? super T2> p2, Predicate2<? super T1,? super T2> p3) Produce the disjunction (||) of p1, p2, and p3.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.or(Predicate2<? super T1,? super T2> p1, Predicate2<? super T1,? super T2> p2, Predicate2<? super T1,? super T2> p3) Produce the disjunction (||) of p1, p2, and p3.
static <T1,T2> Predicate3<T1,T2,Object>	LambdaUtil.promote(Predicate2<? super T1,? super T2> pred) Create a Predicate3 equivalent to pred with an additional, ignored argument.
static <T1,T2> Predicate2<T2,T1>	LambdaUtil.transpose(Predicate2<? super T1,? super T2> pred) Swap the order of a binary predicate's arguments.
static <T1,T2> Predicate<Pair<T1,T2>>	LambdaUtil.unary(Predicate2<? super T1,? super T2> pred) Treat a Predicate2 as a unary predicate accepting a Pair argument.

Method parameters in edu.rice.cs.plt.lambda with type arguments of type Predicate2

static <T1,T2> Predicate2<T1,T2>	LambdaUtil.and2(Iterable<? extends Predicate2<? super T1,? super T2>> preds) Produce the conjunction (&&) of the given predicates.
static <T1,T2> Predicate2<T1,T2>	LambdaUtil.or2(Iterable<? extends Predicate2<? super T1,? super T2>> preds) Produce the conjunction (||) of the given predicates.

Uses of Predicate2 in edu.rice.cs.plt.recur

Methods in edu.rice.cs.plt.recur with parameters of type Predicate2

static <T1,T2> boolean

RecurUtil.safeEquals(T1 obj1, T2 obj2, Predicate2<? super T1,? super T2> infiniteEquals) Evaluate obj1.equals(obj2) under the protection of an infinite-recursion check.