otawa::ilp::System Member List

This is the complete list of members for otawa::ilp::System, including all inherited members.

addObjectFunction(double coef, Var *var=0)=0	otawa::ilp::System	pure virtual
constraints(void)=0	otawa::ilp::System	pure virtual
countConstraints(void)=0	otawa::ilp::System	pure virtual
countVars(void)=0	otawa::ilp::System	pure virtual
dump(elm::io::OutStream &out=elm::io::out)	otawa::ilp::System	virtual
dump(format_t fmt, elm::io::OutStream &out=elm::io::out)	otawa::ilp::System
dumpCPlex(elm::io::OutStream &out=elm::io::out)	otawa::ilp::System
dumpLPSolve(elm::io::OutStream &out=elm::io::out)	otawa::ilp::System
dumpMOSEK(elm::io::OutStream &out=elm::io::out)	otawa::ilp::System
dumpSolution(io::Output &out=elm::cout)=0	otawa::ilp::System	pure virtual
dumpSystem(io::Output &out=elm::cout)	otawa::ilp::System	virtual
exportLP(io::Output &out=elm::cout)=0	otawa::ilp::System	pure virtual
hasDump(format_t fmt)	otawa::ilp::System
lastErrorMessage(void)	otawa::ilp::System	virtual
newConstraint(Constraint::comparator_t comp, double constant=0)=0	otawa::ilp::System	pure virtual
newConstraint(const string &label, Constraint::comparator_t comp, double constant=0)=0	otawa::ilp::System	pure virtual
newVar(const string &name="")=0	otawa::ilp::System	pure virtual
newVar(Var::type_t type, const string &name="")=0	otawa::ilp::System	pure virtual
objTerms(void)=0	otawa::ilp::System	pure virtual
plugin(void)	otawa::ilp::System	virtual
solve(WorkSpace *ws=0)=0	otawa::ilp::System	pure virtual
solve(WorkSpace *ws, otawa::Monitor &mon)	otawa::ilp::System	virtual
value(void)=0	otawa::ilp::System	pure virtual
valueOf(Var *var)=0	otawa::ilp::System	pure virtual
~System(void)	otawa::ilp::System	inlinevirtual