Orbital library

Uses of Package
orbital.logic.sign.concrete

Packages that use orbital.logic.sign.concrete
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.sign Defines generic interfaces for formal languages. 
orbital.logic.sign.concrete Defines the concrete syntax of formal languages. 
orbital.moon.logic Contains implementations of some logics as well as a logic and mathematical expression parser. 
 

Classes in orbital.logic.sign.concrete used by orbital.logic.functor
Notation
          Represents notational variants of compositor applications.
 

Classes in orbital.logic.sign.concrete used by orbital.logic.sign
Notation.NotationSpecification
          Contains the specification of the default notation for a compositor.
 

Classes in orbital.logic.sign.concrete used by orbital.logic.sign.concrete
Notation
          Represents notational variants of compositor applications.
Notation.NotationSpecification
          Contains the specification of the default notation for a compositor.
 

Classes in orbital.logic.sign.concrete used by orbital.moon.logic
Notation.NotationSpecification
          Contains the specification of the default notation for a compositor.
 


Orbital library
1.3.0: 11 Apr 2009

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