|
Orbital library | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use BinaryPredicate.Composite | |
|---|---|
| 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. |
| Uses of BinaryPredicate.Composite in orbital.logic.functor |
|---|
| Methods in orbital.logic.functor that return BinaryPredicate.Composite | |
|---|---|
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) . |
|
Orbital library 1.3.0: 11 Apr 2009 |
|||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||