clpt Namespace Reference

The linear constraint typing. More...


Classes

class  IECheck
 Implements the IEInfer procedure. More...
class  ISolve
 Abstract class for type inference and checking. More...
class  LP2Check
 Implements the LP2Check procedure. More...
class  LPCheck
 Implements the LPInfer procedure using Minkowski's decomposition. More...
class  ParCheck
 Implements the ParCheck procedure. More...
class  POLYCheck
 Implements the POLYInfer procedure. More...


Detailed Description

The linear constraint typing.


Generated on Sun Nov 23 14:52:42 2008 for Typing linear constraints by  doxygen 1.5.4