|
Orbital library | |||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |