Orbital library

Uses of Interface
orbital.logic.functor.BinaryPredicate.Composite

Packages that use BinaryPredicate.Composite
orbital.logic.functor Contains template interfaces for logic functors like Predicates and Functions that can be used for generalized call-back, and functional operations based upon them. 
 

Uses of BinaryPredicate.Composite in orbital.logic.functor
 

Methods in orbital.logic.functor that return BinaryPredicate.Composite
static BinaryPredicate.Composite Functionals.compose(BinaryPredicate P, BinaryFunction g, BinaryFunction h)
          compose: ℘(B1×B2)×(Map(A1×A2,B1)×Map(A1×A2,B2))→℘(A1×A2); (P,g,h) ↦ P ∘ (g × h) := P(g,h) .
 


Orbital library
1.3.0: 11 Apr 2009

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