CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell@cs.unipr.it 2006-05-08 13:28:07

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

Log message: Add create(le,le), create(le,n) and create(n,le) to Congruence. Update the Congruence-returning %= operators to use the new create methods instead of requiring the friend relations between these operators and the Congruence and Linear_Expression classes.

Patches: 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...