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^{\#}}