CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2005-11-07 17:09:03

Modified files: src : BDS_Status.idefs.hh BDS_Status.inlines.hh BD_Shape.defs.hh BD_Shape.inlines.hh

Log message: A BD_Shape representation now also carries a dbm matrix of Boolean values, indicating whether or not the corresponding dbm entry is redundant. The new matrix is meaningful only if the BDS_Status test marked_shortest_path_reduced() returns true, otherwise it is meaningless. Note that a dbm can be shortest-path reduced only if it is also shortest-path closed. The redundancy information is established by shortest_path_reduction_assign() and is lost as soon as we modify the representation of the BD_Shape. That is, currently no effort is done to keep it up-to-date. Moreover, when we reset the shortest-path closure flag, then the reduction flag is reset too. Added private helper methods add_dbm_constraint() that allow for the addition of a difference bound constraint without encoding it into a Constraint object. The method is particularly used in the computation of affine images. The methods computing affine images and preimages rewritten (almost) from scratch. (The old implementations, were not behaving correctly when the denominator was negative or when considering generalized images). Added a lot of const qualifications; avoided some dbm's coefficient copies, preferring the use of references instead.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.idefs.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?c...