#include "basic.h"
#include <lp_lib.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... |