Module: ppl/ppl Branch: master Commit: 405c912f7e3380c3380aff301e6768160340c359 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=405c912f7e338...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon May 4 15:17:21 2009 +0200

Further steps in the definition of the interface of Affine_Space. The widening and extrapolation methods do nothing (except for testing dimension-compatibility). Several comments revised.

---

src/Affine_Space.cc | 62 ++++++++++-- src/Affine_Space.defs.hh | 235 +++++++++++++++++++++---------------------- src/Affine_Space.inlines.hh | 5 +- 3 files changed, 174 insertions(+), 128 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=405c912f7...