CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2001-10-21 13:04:46

Modified files: src : Constraint.defs.hh Constraint.inlines.hh

Log message: In the documentation, used n to denote the dimension of the space. In the renaming operator >>, the parameter p renamed into offset, consistently with the comment. In the examples, removed spaces between factor and variable when specifying a linear expression (e.g., "3 * x + 4 * y" now is written "3*x + 4*y").

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