CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2001-10-23 09:53:47

Modified files: src : ConSys.cc GenSys.cc simplify.cc

Log message: For the definitions and the rules, we must see the Introduction instead of the file definitions.dox. In the functions assign_variable and substitute_variable, the parameter "expr" is the "numerator" of affine expression.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=p...