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: ℘(B1×B2)×(Map({()},B1)×Map({()},B2))→℘({()}); (P,g,h) ↦ P ∘ (g × h) := P(g,h) .
static VoidPredicate.Composite	Functionals.compose(Predicate P, VoidFunction g) compose: ℘(B)×Map({()},B)→℘({()}); (P,g) ↦ P ∘ g := P(g).