CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2005-10-25 10:09:56

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

Log message: Added a new function extract_bounded_difference() to factorize repeated code for decoding a constraint. A lot of repeated code also factorized in method relation_with(). Added a private method BD_Shape<T>::get_limiting_constraints() to be used in the implementations of limited widening operators. Prefer assign() to the direct assignment operator when assigning zero. Removed a couple of improper usages of the Coefficient_traits template.

Patches: 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...