CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2005-02-11 18:02:58

Modified files: src : Linear_System.cc Linear_System.defs.hh Linear_System.inlines.hh Polyhedron_nonpublic.cc Polyhedron_public.cc

Log message: Pending rows in a linear (constraint or generator) system make sense only when the system is part of a polyhedron. The ordinary copy constructor and assignment operator now turn pending rows into non-pending ones. A full copy constructor and pseudo-assignment are now provided for those cases where the copy and assignment must preserve the pending status of pending rows. These changes fix the bug exhibited by tests/Polyhedron/constraints5.cc and tests/Polyhedron/generators7.cc.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?...