#include <poly.h>
Public Member Functions | |
virtual TypeDecl * | infer (const TypeDecl &typedecl, const string &varlist) |
Inference for a given type declaration with respect to a given list of variables. | |
virtual bool | is_check_complete (const TypeDecl &td1, const TypeDecl &td2) const |
Get the list of variables in the reference constraint. | |
POLYCheck () | |
Constructor. | |
virtual | ~POLYCheck () |
Destructor. | |
Protected Member Functions | |
size_t | _arrange_def (const TypeDecl &typedecl) |
Count no of defs in input type declaration. | |
virtual void | _duplicatevars (LinearSystem *m) |
Add a parameter for each variable. | |
Param_Polyhedron * | _get_param_poly (const TypeDecl &typedecl, size_t nparams, TypeDecl *v, bool parTypes) |
Build parameterized polyhedron for c and given typedeclaration. | |
void | _infer (const TypeDecl &typedecl, size_t nparams, TypeDecl *v) |
Inference. | |
virtual size_t | get_alt_pos (const string &varname) |
Stub method. | |
virtual ::Value | set_par_table (size_t i,::Value *row, size_t n_cols) |
Stub method. | |
Static Protected Member Functions | |
static bool | check_generating (Matrix *Rays, size_t idx) |
Check if a variable is non-constant in a generating matrix. |
clpt::POLYCheck::POLYCheck | ( | ) | [inline] |
Constructor.
virtual clpt::POLYCheck::~POLYCheck | ( | ) | [inline, virtual] |
Destructor.
size_t clpt::POLYCheck::_arrange_def | ( | const TypeDecl & | typedecl | ) | [inline, protected] |
Count no of defs in input type declaration.
No actual rearrangement.
Reimplemented from clpt::IECheck.
Reimplemented in clpt::ParCheck.
virtual void clpt::POLYCheck::_duplicatevars | ( | LinearSystem * | m | ) | [inline, protected, virtual] |
Add a parameter for each variable.
Needed to model Box_r.
Reimplemented from clpt::LPCheck.
Reimplemented in clpt::ParCheck.
Param_Polyhedron* clpt::POLYCheck::_get_param_poly | ( | const TypeDecl & | typedecl, | |
size_t | nparams, | |||
TypeDecl * | v, | |||
bool | parTypes | |||
) | [inline, protected] |
Build parameterized polyhedron for c and given typedeclaration.
static bool clpt::POLYCheck::check_generating | ( | Matrix * | Rays, | |
size_t | idx | |||
) | [inline, static, protected] |
Check if a variable is non-constant in a generating matrix.
virtual size_t clpt::POLYCheck::get_alt_pos | ( | const string & | varname | ) | [inline, protected, virtual] |
Stub method.
virtual TypeDecl* clpt::POLYCheck::infer | ( | const TypeDecl & | typedecl, | |
const string & | varlist | |||
) | [inline, virtual] |
Inference for a given type declaration with respect to a given list of variables.
Reimplemented from clpt::IECheck.
virtual bool clpt::POLYCheck::is_check_complete | ( | const TypeDecl & | td1, | |
const TypeDecl & | td2 | |||
) | const [inline, virtual] |
Get the list of variables in the reference constraint.
Reimplemented from clpt::IECheck.
Reimplemented in clpt::ParCheck.
virtual ::Value clpt::POLYCheck::set_par_table | ( | size_t | i, | |
::Value * | row, | |||
size_t | n_cols | |||
) | [inline, protected] |