
31 Mar
2012
31 Mar
'12
9:24 p.m.
Module: ppl/ppl Branch: master Commit: 7cac8985192bd1b37ce930feb1c60a47e4f5a144 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cac8985192bd...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 31 21:06:51 2012 +0200
Indentation fixed.
---
src/Octagonal_Shape.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/Octagonal_Shape.defs.hh b/src/Octagonal_Shape.defs.hh index 622c546..199bfbe 100644 --- a/src/Octagonal_Shape.defs.hh +++ b/src/Octagonal_Shape.defs.hh @@ -1399,7 +1399,7 @@ public: \leq \mathrm{var}' \leq \frac{\mathrm{ub_expr}}{\mathrm{denominator}}\f$.
- \param var + \param var The variable updated by the affine relation;
\param lb_expr