[PPL-devel] [GIT] ppl/ppl(floating_point): Added function BD_Shape::affine_image( const Variable& var,

[Fabio Biselli]

Module: ppl/ppl
Branch: floating_point
Commit: a6766fae53279618b5f623bdce9f5c84948474df
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6766fae53279618b5f623bdce9f5c84948474df

Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date:   Fri Sep 18 14:27:30 2009 +0200

Added function BD_Shape::affine_image(const Variable& var,
                    const Linear_Form< Interval<T, Interval_Info> >& lf);
Added interfaces for auxiliary functions:
	BD_Shape::inhomogeneous_affine_image(...);
	BD_Shape::one_variable_affine_image(...);
	BD_Shape::two_variable_affine_image(...);
Added a preliminary test.

---

 src/BD_Shape.defs.hh                        |   60 +++++++++++++
 src/BD_Shape.templates.hh                   |  126 +++++++++++++++++++++++++++
 tests/Floating_Point_Expression/Makefile.am |    4 +-
 tests/Floating_Point_Expression/bdshape1.cc |   58 ++++++++++++
 4 files changed, 247 insertions(+), 1 deletions(-)

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