CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-04-15 10:00:16
Modified files:
src : ConSys.cc
Log message:
Corrected a memory allocation bug in ConSys::insert(const Constraint& c).
Now test NNCminimize6 shows that the strong minimization of constraints
for NNC polyhedra does not fully minimize constraint systems, yet.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…
