Module: ppl/ppl Branch: products Commit: 7d519208391e933089c023ddf4d29e1b8b50f9c7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d519208391e9... Author: Patricia Hill <p.m.hill@leeds.ac.uk> Date: Thu May 14 21:20:06 2009 +0100 Added two tests based on the examples 5(a), 5(b) in SenS07. Added print_constraints(const Affine_Space&) to ppl_test. --- .../constraintsproduct1.cc | 248 ++++++++++++++++++-- tests/ppl_test.cc | 6 + tests/ppl_test.hh | 5 + 3 files changed, 241 insertions(+), 18 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=7d5192083...