Orbital library

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)
           
 


Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.