Uses of Package
orbital.logic.sign.type

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.