CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2002-05-29 15:53:42

Modified files: src : Polyhedron.cc Polyhedron.defs.hh

Log message: Methods NNC_minimize* renamed as strongly_minimize* and implemented (almost) according to the technical report Q286. When strongly minimizing a constraint system, we now always remove any eps-upper-bound constraint and we later insert back the constraint eps-leq-one only if that is needed to obtain an epsilon-representation.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv...

Modified files: tests : NNCminimize1.cc NNCminimize2.cc NNCminimize3.cc NNCminimize4.cc NNCminimize6.cc

Log message: Methods NNC_minimize* renamed as strongly_minimize*

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize2.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize3.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize4.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize6.cc.diff?cvs...