CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella@cs.unipr.it 2006-05-04 16:52:06

Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh

Log message: Helper functions for the computation of affine relations rewritten and reorganized: - deduce_v_pm_u_bounds() now replaces the two functions deduce_v_minus_u_bounds() and deduce_v_plus_u_bounds(), since these were always called one after the other and they were going through the same loop; - similarly done for deduce_minus_v_pm_u_bounds(); - pos_sum and neg_sum parameters renamed as ub_v and minus_lb_v; - code improved a lot for readability (and maybe also efficiency); - avoided use of ROND_UP when dealing with mpq_class objects (prefer using ROUND_NOT_NEEDED); - removed inline directive from is_bounded().

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates....