Orbital library

Uses of Interface
orbital.logic.sign.type.TypeSystem

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.