[PPL-devel] [GIT] ppl/ppl(master): Avoid to use Variable references. Uniformed Variable creations.

Abramo Bagnara abramo.bagnara at gmail.com
Sun Feb 26 14:03:55 CET 2012


Module: ppl/ppl
Branch: master
Commit: 5f775db925bb1a3f3dcf5fd7de81873e6bc8fcf0
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f775db925bb1a3f3dcf5fd7de81873e6bc8fcf0

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sun Feb 26 12:04:50 2012 +0100

Avoid to use Variable references. Uniformed Variable creations.

---

 interfaces/C/ppl_c_implementation_common.cc     |    2 +-
 interfaces/Java/jni/ppl_java_common.defs.hh     |    2 +-
 interfaces/Java/jni/ppl_java_common.inlines.hh  |    2 +-
 src/BD_Shape.templates.hh                       |    8 ++++----
 src/Box.templates.hh                            |    2 +-
 src/Grid_public.cc                              |    8 ++++----
 src/Octagonal_Shape.templates.hh                |   14 +++++++-------
 src/Polyhedron_public.cc                        |    8 ++++----
 src/Variable.cc                                 |    4 ++--
 src/Variable.defs.hh                            |    8 ++++----
 src/Variables_Set.cc                            |    2 +-
 src/Variables_Set.defs.hh                       |    4 ++--
 src/Variables_Set.inlines.hh                    |    2 +-
 src/termination.templates.hh                    |    4 ++--
 src/wrap_assign.hh                              |   10 +++++-----
 tests/Polyhedron/affineimage2.cc                |    2 +-
 tests/Polyhedron/bgp99extrapolation1.cc         |    2 +-
 tests/Polyhedron/bhz03widening1.cc              |    4 ++--
 tests/Polyhedron/boundedbhrz03extrapolation1.cc |    2 +-
 tests/Polyhedron/writevariable1.cc              |    2 +-
 tests/ppl_test.cc                               |    2 +-
 tests/ppl_test.hh                               |    4 ++--
 22 files changed, 49 insertions(+), 49 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=5f775db925bb1a3f3dcf5fd7de81873e6bc8fcf0



More information about the PPL-devel mailing list