orbital.logic.functor
Interface BinaryPredicate

All Superinterfaces:

Functor

All Known Subinterfaces:

BinaryPredicate.Composite

public interface BinaryPredicate
extends Functor

A functor that encapsulates the binary predicate P/2. Like "P(a,b)" it applies on

• argument first of type A1.
• argument second of type A2.
• returns whether the relation holds as a boolean value.

The set of all predicates (or relations) of type (A₁×A₂) is the power set ℘(A₁×A₂). These predicates have the form

ρ ⊆ A₁ × A₂

Author:

André Platzer

See Also:

Relation, Predicate, Properties of Relations

Nested Class Summary

static interface

BinaryPredicate.Composite A composed BinaryPredicate.

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 first, java.lang.Object second) Called to apply the BinaryPredicate.

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 first,
              java.lang.Object second)

Called to apply the BinaryPredicate. P(a,b).

Parameters:

first - generic Object as first argument

second - generic Object as second argument

Returns:

which returns a boolean.