[PPL-devel] [GIT] ppl/ppl(floating_point): Revert " Put aside changes related to Floating_Point and Linear_Form classes."

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Tue Jun 15 23:25:49 2010 +0200

Revert "Put aside changes related to Floating_Point and Linear_Form classes."

This reverts commit 7e35772519cb39fdc042fbb6f68966280b5a1cf5.

---

 configure.ac                                       |    1 +
 doc/definitions.dox                                |  167 ++++
 doc/devref.doxyconf-html.in                        |   38 +
 doc/devref.doxyconf-latex.in                       |   38 +
 src/BD_Shape.defs.hh                               |  129 +++
 src/BD_Shape.inlines.hh                            |   16 +
 src/BD_Shape.templates.hh                          |  724 ++++++++++++++
 src/Box.defs.hh                                    |   31 +
 src/Box.templates.hh                               |   52 +
 src/Cast_Floating_Point_Expression.defs.hh         |  186 ++++
 src/Cast_Floating_Point_Expression.inlines.hh      |   69 ++
 src/Cast_Floating_Point_Expression.templates.hh    |   45 +
 src/Cast_Floating_Point_Expression.types.hh        |   22 +
 src/Constant_Floating_Point_Expression.defs.hh     |  178 ++++
 src/Constant_Floating_Point_Expression.inlines.hh  |   84 ++
 src/Constant_Floating_Point_Expression.types.hh    |   22 +
 src/Difference_Floating_Point_Expression.defs.hh   |  227 +++++
 ...Difference_Floating_Point_Expression.inlines.hh |   74 ++
 ...fference_Floating_Point_Expression.templates.hh |   52 +
 src/Difference_Floating_Point_Expression.types.hh  |   22 +
 src/Division_Floating_Point_Expression.defs.hh     |  243 +++++
 src/Division_Floating_Point_Expression.inlines.hh  |   74 ++
 ...Division_Floating_Point_Expression.templates.hh |   60 ++
 src/Division_Floating_Point_Expression.types.hh    |   22 +
 src/Floating_Point_Expression.defs.hh              |  212 +++++
 src/Floating_Point_Expression.inlines.hh           |   54 ++
 src/Floating_Point_Expression.templates.hh         |  113 +++
 src/Floating_Point_Expression.types.hh             |   22 +
 src/Linear_Form.cc                                 |   26 +
 src/Linear_Form.defs.hh                            |  423 +++++++++
 src/Linear_Form.inlines.hh                         |  222 +++++
 src/Linear_Form.templates.hh                       |  429 +++++++++
 src/Linear_Form.types.hh                           |   22 +
 src/Makefile.am                                    |   40 +-
 ...ultiplication_Floating_Point_Expression.defs.hh |  257 +++++
 ...iplication_Floating_Point_Expression.inlines.hh |   77 ++
 ...lication_Floating_Point_Expression.templates.hh |  107 +++
 ...ltiplication_Floating_Point_Expression.types.hh |   22 +
 src/Octagonal_Shape.defs.hh                        |  113 +++
 src/Octagonal_Shape.inlines.hh                     |   45 +
 src/Octagonal_Shape.templates.hh                   |  774 +++++++++++++++
 src/Opposite_Floating_Point_Expression.defs.hh     |  198 ++++
 src/Opposite_Floating_Point_Expression.inlines.hh  |   83 ++
 src/Opposite_Floating_Point_Expression.types.hh    |   22 +
 src/Polyhedron.defs.hh                             |  189 ++++
 src/Polyhedron.inlines.hh                          |   47 +
 src/Polyhedron.templates.hh                        |  284 ++++++
 src/Polyhedron_nonpublic.cc                        |    1 +
 src/Sum_Floating_Point_Expression.defs.hh          |  218 +++++
 src/Sum_Floating_Point_Expression.inlines.hh       |   75 ++
 src/Sum_Floating_Point_Expression.templates.hh     |   52 +
 src/Sum_Floating_Point_Expression.types.hh         |   22 +
 src/Variable_Floating_Point_Expression.defs.hh     |  192 ++++
 src/Variable_Floating_Point_Expression.inlines.hh  |  101 ++
 src/Variable_Floating_Point_Expression.types.hh    |   22 +
 tests/Floating_Point_Expression/.gitignore         |    1 +
 tests/Floating_Point_Expression/Makefile.am        |  184 ++++
 tests/Floating_Point_Expression/bdshape1.cc        |  334 +++++++
 tests/Floating_Point_Expression/bdshape2.cc        |  570 +++++++++++
 tests/Floating_Point_Expression/digitalfilters1.cc | 1002 ++++++++++++++++++++
 .../floatingpointexpr1.cc                          |  350 +++++++
 tests/Floating_Point_Expression/linearform1.cc     |  305 ++++++
 tests/Floating_Point_Expression/octagonalshape1.cc |  344 +++++++
 tests/Floating_Point_Expression/octagonalshape2.cc |  463 +++++++++
 tests/Floating_Point_Expression/polyhedron1.cc     |  277 ++++++
 tests/Floating_Point_Expression/polyhedron2.cc     |  241 +++++
 tests/Floating_Point_Expression/run_tests          |   55 ++
 tests/Makefile.am                                  |    1 +
 tests/ppl_test.hh                                  |   93 ++
 69 files changed, 11259 insertions(+), 1 deletions(-)

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