|
Orbital library | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TypeSystem | |
---|---|
orbital.logic.sign.type | Defines interfaces for general type systems. |
orbital.moon.logic.functor | Experimental additional classes related to orbital.logic.functors. |
Uses of TypeSystem in orbital.logic.sign.type |
---|
Methods in orbital.logic.sign.type that return TypeSystem | |
---|---|
static TypeSystem |
Types.getDefault()
Get the (single) default type system instance. |
TypeSystem |
Type.typeSystem()
Get the type system that this type stems from. |
Methods in orbital.logic.sign.type with parameters of type TypeSystem | |
---|---|
static void |
Types.setDefault(TypeSystem newTypeSystem)
Set the (single) default type system instance. |
Uses of TypeSystem in orbital.moon.logic.functor |
---|
Fields in orbital.moon.logic.functor declared as TypeSystem | |
---|---|
static TypeSystem |
Operations.typeSystem
|
|
Orbital library 1.3.0: 11 Apr 2009 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |