clpt::ISolve Member List

This is the complete list of members for clpt::ISolve, including all inherited members.

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


Generated on Sun Nov 23 14:52:43 2008 for Typing linear constraints by  doxygen 1.5.4