|
Orbital library | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use orbital.logic.sign.type | |
---|---|
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.moon.logic | Contains implementations of some logics as well as a logic and mathematical expression parser. |
orbital.moon.logic.functor | Experimental additional classes related to orbital.logic.functors. |
Classes in orbital.logic.sign.type used by orbital.logic.imp | |
---|---|
Typed
An interface for typed objects. |
|
TypeException
Thrown whenever an exception due to invalid typing occurs. |
Classes in orbital.logic.sign.type used by orbital.logic.sign | |
---|---|
Type
Representation of a type. |
|
Typed
An interface for typed objects. |
|
TypeException
Thrown whenever an exception due to invalid typing occurs. |
Classes in orbital.logic.sign.type used by orbital.logic.sign.type | |
---|---|
Type
Representation of a type. |
|
Typed
An interface for typed objects. |
|
TypeSystem
Provides type constructors, and factories for types of a type system. |
Classes in orbital.logic.sign.type used by orbital.moon.logic | |
---|---|
Type
Representation of a type. |
|
Typed
An interface for typed objects. |
Classes in orbital.logic.sign.type used by orbital.moon.logic.functor | |
---|---|
Type
Representation of a type. |
|
TypeSystem
Provides type constructors, and factories for types of a type system. |
|
Orbital library 1.3.0: 11 Apr 2009 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |