check(const TypeDecl &td1, const TypeDecl &td2, string &diff) | clpt::ISolve | [inline, virtual] |
getCVarList() const =0 | clpt::ISolve | [pure virtual] |
infer(const TypeDecl &typedecl, const string &varlist)=0 | clpt::ISolve | [pure virtual] |
infer(const TypeDecl &typedecl) | clpt::ISolve | [inline, virtual] |
is_check_complete(const TypeDecl &td1, const TypeDecl &td2) const =0 | clpt::ISolve | [pure virtual] |
isCFeasible() const =0 | clpt::ISolve | [pure virtual] |
set(const string &constraint)=0 | clpt::ISolve | [pure virtual] |
~ISolve() | clpt::ISolve | [inline, virtual] |