[PPL-devel] ppl/src BD_Shape.inlines.hh BD_Shape.templates.hh
Elena Mazzi
mazzi at cs.unipr.it
Thu Sep 21 13:04:55 CEST 2006
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: mazzi at cs.unipr.it 2006-09-21 13:04:55
Modified files:
src : BD_Shape.inlines.hh BD_Shape.templates.hh
Log message:
Removed some redundant assertions `assert(OK())' from:
- concatenate_assign();
- map_space_dimensions();
- limited_CC76_extrapolation_assign();
- limited_BHMZ05_extrapolation_assign();
- generalized_affine_image();
- generalized_affine_preimage();
- BD_Shape(const Generator_System& gs);
- BD_Shape(const Constraint_System& cs).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?cvsroot=ppl&r1=1.124&r2=1.125
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff?cvsroot=ppl&r1=1.15&r2=1.16
More information about the PPL-devel
mailing list