#include <poly.h>
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 TypeDecl * | infer (const TypeDecl &typedecl) |
Inference for a given type declaration with respect to all variables. | |
virtual TypeDecl * | infer (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. |
virtual clpt::ISolve::~ISolve | ( | ) | [inline, virtual] |
Destructor.
virtual string clpt::ISolve::getCVarList | ( | ) | const [pure virtual] |
Get the list of variables in the reference constraint.
Implemented in clpt::LPCheck, and clpt::LP2Check.
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] |
virtual void clpt::ISolve::set | ( | const string & | constraint | ) | [pure virtual] |