Uses of Interface
orbital.logic.functor.VoidPredicate

Packages that use VoidPredicate

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 in orbital.logic.functor

Subinterfaces of VoidPredicate in orbital.logic.functor

static interface

VoidPredicate.Composite A composed VoidPredicate.

Fields in orbital.logic.functor declared as VoidPredicate

static VoidPredicate	Predicates.FALSE false = ⊥.
static VoidPredicate	Predicates.TRUE true = ⊤.

Methods in orbital.logic.functor that return VoidPredicate

static VoidPredicate

Functionals.bind(Predicate P, java.lang.Object a) Binds the argument of a Predicate to a fixed value.

Methods in orbital.logic.functor with parameters of type VoidPredicate

static VoidFunction	Functionals.asFunction(VoidPredicate p) converts a predicate to a function.
static Predicate	Functionals.onVoid(VoidPredicate p) Applies a predicate on the void argument, ignoring all arguments.