clpt::ParCheck Class Reference

Implements the ParCheck procedure. More...

#include <poly.h>

Inheritance diagram for clpt::ParCheck:

Inheritance graph
[legend]
Collaboration diagram for clpt::ParCheck:

Collaboration graph
[legend]

List of all members.

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

LinearSystemleftvars
 Linear system of variables appearing in td1 but not in c.
LinearSystemparls
 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.


Detailed Description

Implements the ParCheck procedure.


Constructor & Destructor Documentation

clpt::ParCheck::ParCheck (  )  [inline]

Constructor.

virtual clpt::ParCheck::~ParCheck (  )  [inline, virtual]

Destructor.


Member Function Documentation

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]

Add a parameter for each variable.

Needed to model Box_r.

Reimplemented from clpt::POLYCheck.

virtual bool clpt::ParCheck::check ( const TypeDecl td1,
const TypeDecl td2,
string &  diff 
) [inline, virtual]

Checking a type assertion.

Use the infer() function.

Reimplemented from clpt::ISolve.

virtual bool clpt::ParCheck::is_check_complete ( const TypeDecl td1,
const TypeDecl td2 
) const [inline, virtual]

Get the list of variables in the reference constraint.

Reimplemented from clpt::POLYCheck.

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]

Stub method.

Reimplemented from clpt::POLYCheck.


Member Data Documentation

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.


The documentation for this class was generated from the following file:
Generated on Sun Nov 23 14:52:44 2008 for Typing linear constraints by  doxygen 1.5.4