[PPL-devel] ppl/src simplex.cc Constraint_System.defs.hh
Enea Zaffanella
zaffanella at cs.unipr.it
Tue Nov 15 01:22:34 CET 2005
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2005-11-15 01:22:34
Modified files:
src : simplex.cc Constraint_System.defs.hh
Log message:
In the primal simplex algorithm, better separated the first and second phase
of the algorithm. Added a preprocessing flag enabling the steepest-edge
technique: teh flag is enabled by default. Added a new method
bool Constraint_System::is_satisfiable(Generator& feasible_point) const;
that check the satisfiability of a constraint system by the primal simplex
algorithm, returning a feasible point if satisfiable.
All of the above based on implementation work by Andrea Cimino.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=ppl&r1=1.28&r2=1.29
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh.diff?cvsroot=ppl&r1=1.18&r2=1.19
More information about the PPL-devel
mailing list