[PPL-devel] ppl/src BDS_Status.idefs.hh BDS_Status.inlines ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at 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?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.inlines.hh.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsroot=ppl&r1=1.39&r2=1.40
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?cvsroot=ppl&r1=1.74&r2=1.75