|
Orbital library | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Function.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. |
| orbital.logic.imp | Defines a generic interface to (symbolic) logic systems. |
| orbital.math.functional | Contains mathematical functors and extended functional operations. |
| Uses of Function.Composite in orbital.logic.functor |
|---|
| Methods in orbital.logic.functor that return Function.Composite | |
|---|---|
static Function.Composite |
Functionals.compose(BinaryFunction f,
Function g,
Function h)
compose: Map(B1×B2,C)×(Map(A,B1)×Map(A,B2))->Map(A,C); (f,g,h) |-> f º (g × h) := f(g,h) . |
static Function.Composite |
Functionals.compose(Function f,
Function g)
compose: Map(B,C)×Map(A,B)->Map(A,C); (f,g) |-> f º g := f(g). |
| Uses of Function.Composite in orbital.logic.imp |
|---|
| Subinterfaces of Function.Composite in orbital.logic.imp | |
|---|---|
static interface |
Formula.Composite
Interface for composite formulas. |
| Uses of Function.Composite in orbital.math.functional |
|---|
| Subinterfaces of Function.Composite in orbital.math.functional | |
|---|---|
static interface |
Function.Composite
A composite function. |
|
Orbital library 1.2.0: 23 Apr 2008 |
|||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||