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

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

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

static Predicate.Composite	Functionals.compose(BinaryPredicate P, Function g, Function h) compose: ℘(B1×B2)×(Map(A,B1)×Map(A,B2))→℘(A); (P,g,h) ↦ P ∘ (g × h) := P(g,h) .
static Predicate.Composite	Functionals.compose(Predicate P, Function g) compose: ℘(B)×Map(A,B)→℘(A); (P,g) ↦ P ∘ g := P(g).