Orbital library

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

Packages that use VoidFunction.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 VoidFunction.Composite in orbital.logic.functor
 

Methods in orbital.logic.functor that return VoidFunction.Composite
static VoidFunction.Composite Functionals.compose(BinaryFunction f, VoidFunction g, VoidFunction h)
          compose: Map(B1×B2,C)×(Map({()},B1)×Map({()},B2))->Map({()},C); (f,g,h) |-> f º (g × h) := f(g,h) .
static VoidFunction.Composite Functionals.compose(Function f, VoidFunction g)
          compose: Map(B,C)×Map({()},B)->Map({()},C); (f,g) |-> f º g := f(g).
 


Orbital library
1.2.0: 23 Apr 2008

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