CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@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?cvsroot...