Orbital library

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

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

ρ ⊆ 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.

Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.