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: 2^(B1×B2)×(Map(A,B1)×Map(A,B2))->2^(A); (P,g,h) |-> P º (g × h) := P(g,h) .
static Predicate.Composite	Functionals.compose(Predicate P, Function g) compose: 2^(B)×Map(A,B)->2^(A); (P,g) |-> P º g := P(g).