Orbital library

Uses of Interface

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

Copyright © 1996-2009 André Platzer
All Rights Reserved.