orbital.logic.functor
Interface Predicate

All Superinterfaces:

Functor

All Known Subinterfaces:

Predicate.Composite, Type, Type.Composite

All Known Implementing Classes:

Closer

public interface Predicate
extends Functor

A functor that encapsulates a unary predicate P/1. Like "P(a)" it applies on

• argument of type A.
• returns whether the relation holds as a boolean value.

The set of all predicates (or relations) of type (A) is the power set 2^(A) = 2^A. For any cardinalities of A, it is in fact true that |2^A| = 2^|A|. These predicates of 2^(A) have the form:

ρ subset of A

Author:

André Platzer

See Also:

BinaryPredicate, VoidPredicate

Structure:

inherit orbital.logic.functor.Functor

Nested Class Summary

static interface

Predicate.Composite A composed Predicate.

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(java.lang.Object arg) Called to apply the Predicate.

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(java.lang.Object arg)

Called to apply the Predicate. Evaluates to P(a).

Parameters:

arg - single Object argument

Returns:

a boolean.