poly.h File Reference

#include "basic.h"
#include <lp_lib.h>

Include dependency graph for poly.h:


Namespaces

namespace  clpt

Classes

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

Detailed Description


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