CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@cs.unipr.it 2005-11-27 17:48:54

Modified files: src : Linear_Expression.inlines.hh Linear_Expression.defs.hh Congruence.inlines.hh Congruence.defs.hh Congruence.cc

Log message: Get the size in Congruence(c) via the space_dimension(). Add flag `capacity' to Congruence(le,m). Use Linear_Expression(le,sz) in the Congruence %= operators. Take out Linear_Expression(le,sz,capacity).

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.inlines.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroot...