[PPL-devel] ppl src/Polyhedron.cc src/Polyhedron.defs.hh t ...
Enea Zaffanella
zaffanella at spartacus.cs.unipr.it
Wed May 29 15:53:43 CEST 2002
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at 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=ppl&r1=1.166&r2=1.167
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.100&r2=1.101
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?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize2.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize3.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize4.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize6.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3
More information about the PPL-devel
mailing list