|
Orbital library | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Variable | |
---|---|
orbital.logic.sign | Defines generic interfaces for formal languages. |
orbital.moon.logic | Contains implementations of some logics as well as a logic and mathematical expression parser. |
Uses of Variable in orbital.logic.sign |
---|
Subinterfaces of Variable in orbital.logic.sign | |
---|---|
interface |
Symbol
Represents a symbol of a signature. |
Classes in orbital.logic.sign that implement Variable | |
---|---|
class |
SymbolBase
Default representation of a syntactic symbol in a signature. |
Uses of Variable in orbital.moon.logic |
---|
Classes in orbital.moon.logic that implement Variable | |
---|---|
class |
UniqueSymbol
A new unique symbol that is distinct from all others. |
|
Orbital library 1.3.0: 11 Apr 2009 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |