[PPL-devel] [GIT] ppl/ppl(master): Further steps in the definition of the interface of Affine_Space.

4 May 2009


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