CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri@cs.unipr.it 2006-05-05 16:51:25

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

Log message: Renamed the parameter `v' to `v_id' in Octagonal_Shape<T>::forget_binary_octagonal_constraints(). `v_id' is the index of variable whose constraints are forgotten, `v' was the index of rows/columns on `v_id' in the octagon, instead.

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.inlines.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates....