CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri@cs.unipr.it 2006-05-04 13:47:50

Modified files: src : Octagonal_Shape.templates.hh

Log message: Another pass through the code of generalized_affine_preimage(), to improve readability and thus maintainability. - in the general case, the references inside the matrix are named m_*, e.g., m_i, m_ci, m_v, etc. Avoid almost useless uses of row_iterator (prefer the direct matrix accessors' operators if a single access to the row has to be done).

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