CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-07-10 12:40:21
Modified files:
src : Polyhedron.cc
Log message:
Corrected a bug in poly_difference_assign(const Polyhedron& y).
No longer ignoring the equality constraints of `y'
(the bug was affecting both C and NNC computations).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-07-10 11:58:59
Modified files:
src : Polyhedron.cc
Log message:
Corrected a bug in Polyhedron::operator=(...).
When assigning to *this a polyhedron declared to be empty,
we now call set_empty() to also clear the constraint and generator systems,
therefore enforcing the corresponding invariant.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-07-10 11:55:46
Modified files:
tests : Makefile.am
Added files:
tests : polydifference2.cc
Log message:
Added a new test showing two bugs:
- the assignment operator on Polyhedron breaks the invariant saying that
an empty polyhedron has a constraint system with either no rows or
a single unsatisfiable constraint;
- the current implementation of poly_difference_assign() is wrong in
that it disregards equality constraints.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference2.cc.diff…http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…