// package ilog.language.design.types;
/**
* @version Last modified on Tue May 14 08:45:00 2002 by hak
* @author Hassan Aït-Kaci
* @copyright © 2002 ILOG, S.A.
*/
/**
* This directory contains the Javadoc'ed source code for the files comprising
* the package ilog.language.design.types. This documentation file
* (READ_ME_types.java) acts as an additional repository of comments
* in addition to the more specific ones in the individual files. It should
* best contain generic information or yet-to-be sorted specifications of
* planned or completed designs. It also may outline and/or add to on-going
* documentation of implemented features.
* The subtyping system
* Give a description of "Homomorphic coercions" paper (by Alex Shafarenko)
* The type constraint solving algorithm
*
* The fix-point input-increasing method
*
* (networked concurrent ly or not)
*
* The type minimization phase
*
*/