Module: ppl/ppl Branch: floating_point Commit: 17a6154b28a67e6812a3d8548287f782226f62dc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17a6154b28a67...
Author: Roberto Bagnara bagnara@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=17a6154b2...