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

Author: Alberto Gioia alberto.gioia1@studenti.unipr.it Date: Mon Jul 18 11:36:38 2011 +0200

Added new command for "Linear form arithmetics".

---

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

diff --git a/doc/ppl.sty b/doc/ppl.sty index c124981..a9ae12e 100644 --- a/doc/ppl.sty +++ b/doc/ppl.sty @@ -198,6 +198,7 @@ \newcommand*{\amlf}{\boxtimes^{#}} \newcommand*{\linexpr}[1]{\llparenthesis #1 \rrparenthesis} \newcommand*{\linexprenv}[3]{\llparenthesis #1 \rrparenthesis \left \llbracket #2, #3 \right \rrbracket} +\newcommand*{\linexprenvvar}[3]{\llparenthesis #1 \rrparenthesis #2 \left \llbracket #3 \right \rrbracket}

% Interval integer bitwise