Orbital library

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

The set of all void predicates of type () is the set ℘(A0)=℘({()})={∅,{()}}≅{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.

Orbital library
1.3.0: 11 Apr 2009

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