15 Oct
2007
15 Oct
'07
9:58 a.m.
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...