CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@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=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh....