Orbital library

Uses of Package
orbital.logic

Packages that use orbital.logic
orbital.logic The logic package and its sub packages contain classes for logical operations and frameworks. 
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. 
orbital.logic.imp Defines a generic interface to (symbolic) logic systems. 
orbital.logic.sign Defines generic interfaces for formal languages. 
orbital.logic.sign.type Defines interfaces for general type systems. 
orbital.math.functional Contains mathematical functors and extended functional operations. 
 

Classes in orbital.logic used by orbital.logic
Composite
          The base interface for all things that are composed of other things.
LimitException
          Thrown when a limit is exceeded.
 

Classes in orbital.logic used by orbital.logic.functor
Composite
          The base interface for all things that are composed of other things.
IterationLimitException
          Thrown when the limit for the maximum number of iterations is overrun.
 

Classes in orbital.logic used by orbital.logic.imp
Composite
          The base interface for all things that are composed of other things.
 

Classes in orbital.logic used by orbital.logic.sign
Composite
          The base interface for all things that are composed of other things.
 

Classes in orbital.logic used by orbital.logic.sign.type
Composite
          The base interface for all things that are composed of other things.
 

Classes in orbital.logic used by orbital.math.functional
Composite
          The base interface for all things that are composed of other things.
 


Orbital library
1.3.0: 11 Apr 2009

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