clpt::POLYCheck Class Reference

Implements the POLYInfer procedure. More...

#include <poly.h>

Inheritance diagram for clpt::POLYCheck:

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

Collaboration graph
[legend]

List of all members.

Public Member Functions

virtual TypeDeclinfer (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.


Detailed Description

Implements the POLYInfer procedure.


Constructor & Destructor Documentation

clpt::POLYCheck::POLYCheck (  )  [inline]

Constructor.

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

Destructor.


Member Function Documentation

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.

void clpt::POLYCheck::_infer ( const TypeDecl typedecl,
size_t  nparams,
TypeDecl v 
) [inline, protected]

Inference.

Reimplemented from clpt::IECheck.

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]

Stub method.

Reimplemented in clpt::ParCheck.


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