Module: ppl/ppl Branch: bounded_arithmetic Commit: 46e7b546afe08a9ea5b86c05ca8de6d5209505b2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46e7b546afe08...

Author: Alberto Gioia alberto.gioi1@studenti.unipr.it Date: Fri Jun 24 17:29:15 2011 +0200

Added declaration and definition of the functions for bitwise operators applied to Linear_Form.

---

src/Linear_Form.defs.hh | 82 +++++++++ src/Linear_Form.templates.hh | 407 ++++++++++++++++++++++++++++++++---------- 2 files changed, 392 insertions(+), 97 deletions(-)

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