orbital.logic.functor
Interface VoidPredicate

All Superinterfaces:

Functor

All Known Subinterfaces:

VoidPredicate.Composite

public interface VoidPredicate
extends Functor

A functor that encapsulates the void predicate P/0 which is constant if consistent. Like "P()" it applies on

• non-argument void.
• returns whether the relation holds as a boolean value.

The set of all void predicates of type () is the set ℘(A⁰)=℘({()})={∅,{()}}≅{True,False}.

Note that if you stick to consistent void predicates, there are only two different void predicates, constant true and constant false.

Author:

André Platzer

See Also:

Predicate

Nested Class Summary

static interface

VoidPredicate.Composite A composed VoidPredicate.

Nested classes/interfaces inherited from interface orbital.logic.functor.Functor

Functor.Specification

Field Summary

static Functor.Specification

callTypeDeclaration specification of these functors.

Method Summary

boolean

apply() Called to apply the VoidPredicate.

Methods inherited from interface orbital.logic.functor.Functor

equals, hashCode, toString

Field Detail

callTypeDeclaration

static final Functor.Specification callTypeDeclaration

specification of these functors.

Method Detail

apply

boolean apply()

Called to apply the VoidPredicate. P().

Parameters:

none - void non-argument

Returns:

which returns a boolean.