Orbital library

Uses of Package
orbital.moon.logic.functor

Packages that use orbital.moon.logic.functor
orbital.moon.logic.functor Experimental additional classes related to orbital.logic.functors. 
 

Classes in orbital.moon.logic.functor used by orbital.moon.logic.functor
Operations
          Provides central logical operations for truth-value types.
 


Orbital library
1.3.0: 11 Apr 2009

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