[PPL-devel] ppl/src BD_Shape.inlines.hh
Enea Zaffanella
zaffanella at cs.unipr.it
Tue Nov 8 12:17:31 CET 2005
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at 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?cvsroot=ppl&r1=1.76&r2=1.77
More information about the PPL-devel
mailing list