[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added new command for " Linear form arithmetics".

[Alberto Gioia]

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

Author: Alberto Gioia <alberto.gioia1 at 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