1 /* Widening_Function class implementation: inline functions.
2 Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
3 Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)
4
5 This file is part of the Parma Polyhedra Library (PPL).
6
7 The PPL is free software; you can redistribute it and/or modify it
8 under the terms of the GNU General Public License as published by the
9 Free Software Foundation; either version 3 of the License, or (at your
10 option) any later version.
11
12 The PPL is distributed in the hope that it will be useful, but WITHOUT
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software Foundation,
19 Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
20
21 For the most up-to-date information see the Parma Polyhedra Library
22 site: http://bugseng.com/products/ppl/ . */
23
24 #ifndef PPL_Widening_Function_inlines_hh
25 #define PPL_Widening_Function_inlines_hh 1
26
27 #include "assertions.hh"
28
29 namespace Parma_Polyhedra_Library {
30
31 template <typename PSET>
Widening_Function(Widening_Method wm)32 Widening_Function<PSET>::Widening_Function(Widening_Method wm)
33 : w_method(wm) {
34 }
35
36 template <typename PSET>
37 inline void
38 Widening_Function<PSET>::
operator ()(PSET & x,const PSET & y,unsigned * tp) const39 operator()(PSET& x, const PSET& y, unsigned* tp) const {
40 (x.*w_method)(y, tp);
41 }
42
43 template <typename PSET, typename CSYS>
44 Limited_Widening_Function<PSET, CSYS>::
Limited_Widening_Function(Limited_Widening_Method lwm,const CSYS & cs)45 Limited_Widening_Function(Limited_Widening_Method lwm,
46 const CSYS& cs)
47 : lw_method(lwm), limiting_cs(cs) {
48 }
49
50 template <typename PSET, typename CSYS>
51 inline void
52 Limited_Widening_Function<PSET, CSYS>::
operator ()(PSET & x,const PSET & y,unsigned * tp) const53 operator()(PSET& x, const PSET& y, unsigned* tp) const {
54 (x.*lw_method)(y, limiting_cs, tp);
55 }
56
57 /*! \relates Pointset_Powerset */
58 template <typename PSET>
59 inline Widening_Function<PSET>
widen_fun_ref(void (PSET::* wm)(const PSET &,unsigned *))60 widen_fun_ref(void (PSET::* wm)(const PSET&, unsigned*)) {
61 return Widening_Function<PSET>(wm);
62 }
63
64 /*! \relates Pointset_Powerset */
65 template <typename PSET, typename CSYS>
66 inline Limited_Widening_Function<PSET, CSYS>
widen_fun_ref(void (PSET::* lwm)(const PSET &,const CSYS &,unsigned *),const CSYS & cs)67 widen_fun_ref(void (PSET::* lwm)(const PSET&, const CSYS&, unsigned*),
68 const CSYS& cs) {
69 return Limited_Widening_Function<PSET, CSYS>(lwm, cs);
70 }
71
72 } // namespace Parma_Polyhedra_Library
73
74
75 #endif // !defined(PPL_Widening_Function_inlines_hh)
76