clpt::ISolve Class Reference

Abstract class for type inference and checking. More...

#include <poly.h>

Inheritance diagram for clpt::ISolve:

Inheritance graph
[legend]

List of all members.

Public Member Functions

virtual bool check (const TypeDecl &td1, const TypeDecl &td2, string &diff)
 Checking a type assertion.
virtual string getCVarList () const =0
 Get the list of variables in the reference constraint.
virtual TypeDeclinfer (const TypeDecl &typedecl)
 Inference for a given type declaration with respect to all variables.
virtual TypeDeclinfer (const TypeDecl &typedecl, const string &varlist)=0
 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 =0
 Return true if checking is complete for the provided type declarations.
virtual bool isCFeasible () const =0
 Is the reference constraint feasible?.
virtual void set (const string &constraint)=0
 Set the reference constraint.
virtual ~ISolve ()
 Destructor.


Detailed Description

Abstract class for type inference and checking.


Constructor & Destructor Documentation

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

Destructor.


Member Function Documentation

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

Checking a type assertion.

Use the infer() function.

Reimplemented in clpt::ParCheck.

virtual string clpt::ISolve::getCVarList (  )  const [pure virtual]

Get the list of variables in the reference constraint.

Implemented in clpt::LPCheck, and clpt::LP2Check.

virtual TypeDecl* clpt::ISolve::infer ( const TypeDecl typedecl  )  [inline, virtual]

Inference for a given type declaration with respect to all variables.

virtual TypeDecl* clpt::ISolve::infer ( const TypeDecl typedecl,
const string &  varlist 
) [pure virtual]

Inference for a given type declaration with respect to a given list of variables.

Implemented in clpt::LPCheck, clpt::IECheck, clpt::POLYCheck, and clpt::LP2Check.

virtual bool clpt::ISolve::is_check_complete ( const TypeDecl td1,
const TypeDecl td2 
) const [pure virtual]

Return true if checking is complete for the provided type declarations.

Implemented in clpt::LPCheck, clpt::IECheck, clpt::POLYCheck, clpt::ParCheck, and clpt::LP2Check.

virtual bool clpt::ISolve::isCFeasible (  )  const [pure virtual]

Is the reference constraint feasible?.

Implemented in clpt::LPCheck, and clpt::LP2Check.

virtual void clpt::ISolve::set ( const string &  constraint  )  [pure virtual]

Set the reference constraint.

Implemented in clpt::LPCheck, and clpt::LP2Check.


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