Module: ppl/ppl Branch: floating_point Commit: a6766fae53279618b5f623bdce9f5c84948474df URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6766fae53279...
Author: Fabio Biselli fabio.biselli@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=a6766fae5...