Module: ppl/ppl Branch: bounded_arithmetic Commit: d93a15655944a7245e50387a1fe65a4f1ccc15b8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d93a15655944a...
Author: Alberto Gioia alberto.gioia1@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^{#}}