Module dev.civl.sarl

Package dev.civl.sarl.type.IF

package dev.civl.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.