PPL-devel

Download

ppl-devel@bugseng.com

May 2009

15 participants
222 discussions

[GIT] ppl/ppl(master): Fixed two code formatting glitches.
by Roberto Bagnara 01 May '09

01 May '09

Module: ppl/ppl Branch: master Commit: d908ff9dd2a0ba936757723b56713eda847409f1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d908ff9dd2a0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 10:31:56 2009 +0200 Fixed two code formatting glitches. --- src/Grid_public.cc | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/Grid_public.cc b/src/Grid_public.cc index 8075e0d..bfbb8be 100644 --- a/src/Grid_public.cc +++ b/src/Grid_public.cc @@ -1980,7 +1980,8 @@ generalized_affine_image(const Variable var, assert(OK()); } -void PPL::Grid:: +void +PPL::Grid:: generalized_affine_preimage(const Variable var, const Relation_Symbol relsym, const Linear_Expression& expr, @@ -2206,7 +2207,8 @@ generalized_affine_image(const Linear_Expression& lhs, assert(OK()); } -void PPL::Grid:: +void +PPL::Grid:: generalized_affine_preimage(const Linear_Expression& lhs, const Relation_Symbol relsym, const Linear_Expression& rhs,

1 0

[GIT] ppl/ppl(master): Previous change reverted.
by Roberto Bagnara 01 May '09

01 May '09

Module: ppl/ppl Branch: master Commit: 9fe2ae64aa578ae01bd80c07f86b8a7dcd866169 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fe2ae64aa57… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 07:30:29 2009 +0200 Previous change reverted. --- src/Grid.defs.hh | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh index 54a5dbf..a0ad1c8 100644 --- a/src/Grid.defs.hh +++ b/src/Grid.defs.hh @@ -1803,6 +1803,8 @@ public: friend class Parma_Polyhedra_Library::Grid_Certificate; + template <typename Interval> friend class Parma_Polyhedra_Library::Box; + //! \name Miscellaneous Member Functions //@{

1 0

Jump to page: