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

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

Methods in orbital.logic.functor that return VoidPredicate.Composite

static VoidPredicate.Composite	Functionals.compose(BinaryPredicate P, VoidFunction g, VoidFunction h) compose: 2^(B1×B2)×(Map({()},B1)×Map({()},B2))->2^({()}); (P,g,h) |-> P º (g × h) := P(g,h) .
static VoidPredicate.Composite	Functionals.compose(Predicate P, VoidFunction g) compose: 2^(B)×Map({()},B)->2^({()}); (P,g) |-> P º g := P(g).