#include <poly.h>
Public Member Functions | |
virtual bool | check (const TypeDecl &typedecl, const TypeDecl &td2, string &diff) |
Checking a type assertion. | |
virtual bool | is_check_complete (const TypeDecl &td1, const TypeDecl &td2) const |
Get the list of variables in the reference constraint. | |
ParCheck () | |
Constructor. | |
virtual void | set_par_pool (const TypeDecl &typedecl, const string &constraint) |
Set parameter pool size. | |
virtual void | set_par_pool (size_t newmin, size_t newmax) |
Set parameter pool size. | |
virtual | ~ParCheck () |
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. | |
virtual ::Value | set_par_table (size_t i,::Value *row, size_t n_cols) |
Stub method. | |
Protected Attributes | |
LinearSystem * | leftvars |
Linear system of variables appearing in td1 but not in c. | |
LinearSystem * | parls |
Linear system of parametric expressions. | |
Static Protected Attributes | |
static size_t | _dup_var_max |
Number of default parameters for each variable. | |
static size_t | _parpool_max |
Number of total maximum parameters. | |
static size_t | _parpool_min |
Number of total minimum parameters. |
clpt::ParCheck::ParCheck | ( | ) | [inline] |
Constructor.
virtual clpt::ParCheck::~ParCheck | ( | ) | [inline, virtual] |
Destructor.
size_t clpt::ParCheck::_arrange_def | ( | const TypeDecl & | typedecl | ) | [inline, protected] |
Count no of defs in input type declaration.
No actual rearrangement.
Reimplemented from clpt::POLYCheck.
virtual void clpt::ParCheck::_duplicatevars | ( | LinearSystem * | m | ) | [inline, protected, virtual] |
virtual void clpt::ParCheck::set_par_pool | ( | const TypeDecl & | typedecl, | |
const string & | constraint | |||
) | [inline, virtual] |
Set parameter pool size.
virtual void clpt::ParCheck::set_par_pool | ( | size_t | newmin, | |
size_t | newmax | |||
) | [inline, virtual] |
Set parameter pool size.
virtual ::Value clpt::ParCheck::set_par_table | ( | size_t | i, | |
::Value * | row, | |||
size_t | n_cols | |||
) | [inline, protected] |
size_t clpt::ParCheck::_dup_var_max [static, protected] |
Number of default parameters for each variable.
size_t clpt::ParCheck::_parpool_max [static, protected] |
Number of total maximum parameters.
size_t clpt::ParCheck::_parpool_min [static, protected] |
Number of total minimum parameters.
LinearSystem* clpt::ParCheck::leftvars [protected] |
Linear system of variables appearing in td1 but not in c.
LinearSystem* clpt::ParCheck::parls [protected] |
Linear system of parametric expressions.