[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added functions operator&= and operator& into Linear_Form.templates.hh,
Alberto Gioia
alberto.gioi1 at studenti.unipr.it
Wed May 4 10:00:50 CEST 2011
Module: ppl/ppl
Branch: bounded_arithmetic
Commit: 0d873e00f19867c56c1f0c87ce158c651e03fab0
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d873e00f19867c56c1f0c87ce158c651e03fab0
Author: Alberto Gioia <alberto.gioi1 at studenti.unipr.it>
Date: Wed May 4 09:46:52 2011 +0200
Added functions operator&= and operator& into Linear_Form.templates.hh,
and into Interval.defs.hh and Interval.inlines.hh added functions operator&= and and_assign.
This functions are necessary for the linearization of the bitwise operator AND.
---
src/Interval.defs.hh | 14 +++-
src/Interval.inlines.hh | 130 ++++++++++++++++++++++--
src/Linear_Form.templates.hh | 47 +++++++++
tests/Concrete_Expression/linearize_integer.hh | 30 ++++++
4 files changed, 213 insertions(+), 8 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=0d873e00f19867c56c1f0c87ce158c651e03fab0
More information about the PPL-devel
mailing list