[PPL-devel] ppl/src Linear_System.cc Linear_System.defs.hh ...
Roberto Bagnara
roberto at cs.unipr.it
Fri Feb 11 18:02:58 CET 2005
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto at 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?cvsroot=ppl&r1=1.15&r2=1.16
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&r1=1.45&r2=1.46
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&r1=1.48&r2=1.49
More information about the PPL-devel
mailing list