Uses of Interface
orbital.logic.functor.BinaryPredicate

Packages that use BinaryPredicate

orbital.logic.functor	Contains template interfaces for logic functors like Predicates and Functions that can be used for generalized call-back, and functional operations based upon them.
orbital.math.functional	Contains mathematical functors and extended functional operations.
orbital.util	Provides basic utility classes useful to ease several programming tasks.

Uses of BinaryPredicate in orbital.logic.functor

Subinterfaces of BinaryPredicate in orbital.logic.functor

static interface

BinaryPredicate.Composite A composed BinaryPredicate.

Fields in orbital.logic.functor declared as BinaryPredicate

static BinaryPredicate	Predicates.equal =.
static BinaryPredicate	Predicates.greater >.
static BinaryPredicate	Predicates.greaterEqual ≥.
static BinaryPredicate	Predicates.less <.
static BinaryPredicate	Predicates.lessEqual ≤.
static BinaryPredicate	Predicates.unequal ≠.

Methods in orbital.logic.functor that return BinaryPredicate

static BinaryPredicate	Functionals.onFirst(Predicate p) Applies a predicate on the first argument, ignoring the second.
static BinaryPredicate	Functionals.onSecond(Predicate p) Applies a predicate on the second argument, ignoring the first.
static BinaryPredicate	Functionals.swap(BinaryPredicate P) Swaps the two arguments of a BinaryPredicate (inverse).

Methods in orbital.logic.functor with parameters of type BinaryPredicate

static BinaryFunction	Functionals.asFunction(BinaryPredicate p) converts a predicate to a function.
static Predicate	Functionals.bind(BinaryPredicate P) Binds both arguments of a BinaryPredicate together.
static Predicate	Functionals.bindFirst(BinaryPredicate P, java.lang.Object x) Binds the first argument of a BinaryPredicate to a fixed value.
static Predicate	Functionals.bindSecond(BinaryPredicate P, java.lang.Object y) Binds the second argument of a BinaryPredicate to a fixed value.
static BinaryPredicate.Composite	Functionals.compose(BinaryPredicate P, BinaryFunction g, BinaryFunction h) compose: ℘(B1×B2)×(Map(A1×A2,B1)×Map(A1×A2,B2))→℘(A1×A2); (P,g,h) ↦ P ∘ (g × h) := P(g,h) .
static Predicate.Composite	Functionals.compose(BinaryPredicate P, Function g, Function h) compose: ℘(B1×B2)×(Map(A,B1)×Map(A,B2))→℘(A); (P,g,h) ↦ P ∘ (g × h) := P(g,h) .
static VoidPredicate.Composite	Functionals.compose(BinaryPredicate P, VoidFunction g, VoidFunction h) compose: ℘(B1×B2)×(Map({()},B1)×Map({()},B2))→℘({()}); (P,g,h) ↦ P ∘ (g × h) := P(g,h) .
static Functor.Composite	Functionals.genericCompose(BinaryPredicate P, java.lang.Object g, java.lang.Object h) generic compose calls the compose function appropriate for the type of g and h.
static BinaryPredicate	Functionals.swap(BinaryPredicate P) Swaps the two arguments of a BinaryPredicate (inverse).

Uses of BinaryPredicate in orbital.math.functional

Fields in orbital.math.functional declared as BinaryPredicate

static BinaryPredicate	Operations.equal =.
static BinaryPredicate	Operations.greater >.
static BinaryPredicate	Operations.greaterEqual ≥.
static BinaryPredicate	Operations.less <.
static BinaryPredicate	Operations.lessEqual ≤.
static BinaryPredicate	Operations.unequal ≠.

Uses of BinaryPredicate in orbital.util

Fields in orbital.util declared as BinaryPredicate

static BinaryPredicate

Utility.instanceOf Predicate for x instanceof y.

Methods in orbital.util with parameters of type BinaryPredicate

static boolean	Setops.all(java.util.Collection a, java.util.Collection b, BinaryPredicate found) Checks whether all corresponding pairs of objects in two collection satisfy the specified predicate.
static boolean	Setops.all(java.util.Iterator i, java.util.Iterator j, BinaryPredicate found)
static boolean	Setops.some(java.util.Collection a, java.util.Collection b, BinaryPredicate found)
static boolean	Setops.some(java.util.Iterator i, java.util.Iterator j, BinaryPredicate found)