[PPL-devel] [GIT] ppl/ppl(floating_point): Added a preliminary implementation of class Linear_Form.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Aug 17 17:52:19 2009 +0200

Added a preliminary implementation of class Linear_Form.

---

 src/Linear_Form.cc              |   26 +++
 src/Linear_Form.defs.hh         |  425 +++++++++++++++++++++++++++++++++++++++
 src/Linear_Form.inlines.hh      |  231 +++++++++++++++++++++
 src/Linear_Form.templates.hh    |  388 +++++++++++++++++++++++++++++++++++
 src/Linear_Form.types.hh        |   22 ++
 src/Makefile.am                 |    5 +
 tests/Polyhedron/Makefile.am    |    3 +
 tests/Polyhedron/linearform1.cc |  177 ++++++++++++++++
 8 files changed, 1277 insertions(+), 0 deletions(-)

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