[PPL-devel] ppl/src BD_Shape.inlines.hh

8 Nov 2005


      CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella@cs.unipr.it	2005-11-08 12:17:30
Modified files:
    src            : BD_Shape.inlines.hh
Log message:
    Corrected a bug in affine_image() whereby incorrect bounds for binary
    constraints could have been deduced.
    In the invariant-checking method OK(), we now also check that no entry
    of the dbm has value MINUS_INFINITY; if the dbm is marked as shortest-path
    reduced, then we check that the dbm entry for a non-redundant constraint
    has a finite value.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?c...

[PPL-devel] ppl/src BD_Shape.inlines.hh

Enea Zaffanella