CVSROOT: /cvs/ppl Module name: ppl Branch: polynomials Changes by: zaffanella@cs.unipr.it 2007-10-15 09:58:13

Modified files: src : Polynomial_Space.templates.hh

Log message: Prefer const_iterator to iterator when accessing a Variables_Set. When creating a Variables_Set, prefer adding a variable index instead of a proper Variable, if it is known that the index is less than the maximum allowed space dimension.

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