Uses of Interface
orbital.logic.functor.Function.Composite

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.