Package edu.udel.cis.vsl.sarl.type.IF

package edu.udel.cis.vsl.sarl.type.IF

Internal interface for the "type" module, providing a SymbolicTypeFactory for producing SymbolicType s. Entry point: Types.

Class	Description
SymbolicTypeFactory	A factory used to produce SymbolicTypes and other related objects.
Types	This class provides a static method for the creation of a new SymbolicTypeFactory.