Module: ppl/ppl Branch: master Commit: 5f775db925bb1a3f3dcf5fd7de81873e6bc8fcf0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f775db925bb1...
Author: Abramo Bagnara abramo.bagnara@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=5f775db92...