[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added new commands for bitwise operators on intervals and Linear Form.

[Alberto Gioia]

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

Author: Alberto Gioia <alberto.gioia1 at studenti.unipr.it>
Date:   Tue Jul  5 19:29:01 2011 +0200

Added new commands for bitwise operators on intervals and Linear Form.

---

 doc/ppl.sty |   16 ++++++++++++++++
 1 files changed, 16 insertions(+), 0 deletions(-)

diff --git a/doc/ppl.sty b/doc/ppl.sty
index 37f673a..c124981 100644
--- a/doc/ppl.sty
+++ b/doc/ppl.sty
@@ -198,3 +198,19 @@
 \newcommand*{\amlf}{\boxtimes^{\#}}
 \newcommand*{\linexpr}[1]{\llparenthesis #1 \rrparenthesis}
 \newcommand*{\linexprenv}[3]{\llparenthesis #1 \rrparenthesis \left \llbracket #2, #3 \right \rrbracket}
+
+% Interval integer bitwise
+
+\newcommand*{\bandii}{\owedge^{\#}}
+\newcommand*{\borii}{\ovee^{\#}}
+\newcommand*{\bxorii}{\dot{\ovee}^{\#}}
+\newcommand*{\blshiftii}{\olessthen^{\#}}
+\newcommand*{\brshiftii}{\ogreaterthen^{\#}}
+
+% Linear form bitwise
+
+\newcommand*{\bandlf}{\fbox{\small{\&}}^{\#}}
+\newcommand*{\borlf}{\boxbar^{\#}}
+\newcommand*{\bxorlf}{\fbox{\char`\^}^{\#}}
+\newcommand*{\blshiftlf}{\leftslice^{\#}}
+\newcommand*{\brshiftlf}{\rightslice^{\#}}