1 /* Interval_Info 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_Interval_Info_inlines_hh
25 #define PPL_Interval_Info_inlines_hh 1
26
27 #include <iomanip>
28
29 namespace Parma_Polyhedra_Library {
30
31 template <typename Policy>
32 inline void
m_swap(Interval_Info_Null<Policy> &)33 Interval_Info_Null<Policy>::m_swap(Interval_Info_Null<Policy>&) {
34 }
35
36 template <typename Policy>
37 inline void
ascii_dump(std::ostream &) const38 Interval_Info_Null<Policy>::ascii_dump(std::ostream&) const {
39 }
40
41 template <typename Policy>
42 inline bool
ascii_load(std::istream &)43 Interval_Info_Null<Policy>::ascii_load(std::istream&) {
44 return true;
45 }
46
47 template <typename Policy>
48 inline void
ascii_dump(std::ostream & s) const49 Interval_Info_Null_Open<Policy>::ascii_dump(std::ostream& s) const {
50 s << (open ? "open" : "closed");
51 }
52
53 template <typename Policy>
54 inline bool
ascii_load(std::istream & s)55 Interval_Info_Null_Open<Policy>::ascii_load(std::istream& s) {
56 std::string str;
57 if (!(s >> str)) {
58 return false;
59 }
60 if (str == "open") {
61 open = true;
62 return true;
63 }
64 if (str == "closed") {
65 open = false;
66 return true;
67 }
68 return false;
69 }
70
71 template <typename T, typename Policy>
72 inline void
m_swap(Interval_Info_Bitset<T,Policy> & y)73 Interval_Info_Bitset<T, Policy>::m_swap(Interval_Info_Bitset<T, Policy>& y) {
74 using std::swap;
75 swap(bitset, y.bitset);
76 }
77
78 template <typename T, typename Policy>
79 inline void
ascii_dump(std::ostream & s) const80 Interval_Info_Bitset<T, Policy>::ascii_dump(std::ostream& s) const {
81 const std::ios::fmtflags old_flags = s.setf(std::ios::hex,
82 std::ios::basefield);
83 s << bitset;
84 s.flags(old_flags);
85 }
86
87 template <typename T, typename Policy>
88 inline bool
ascii_load(std::istream & s)89 Interval_Info_Bitset<T, Policy>::ascii_load(std::istream& s) {
90 const std::ios::fmtflags old_flags = s.setf(std::ios::hex,
91 std::ios::basefield);
92 s >> bitset;
93 s.flags(old_flags);
94 return !s.fail();
95 }
96
97 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
98 /*! \relates Interval_Info_Null */
99 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
100 template <typename Policy>
101 inline void
swap(Interval_Info_Null<Policy> & x,Interval_Info_Null<Policy> & y)102 swap(Interval_Info_Null<Policy>& x, Interval_Info_Null<Policy>& y) {
103 x.m_swap(y);
104 }
105
106 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
107 /*! \relates Interval_Info_Bitset */
108 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
109 template <typename T, typename Policy>
110 inline void
swap(Interval_Info_Bitset<T,Policy> & x,Interval_Info_Bitset<T,Policy> & y)111 swap(Interval_Info_Bitset<T, Policy>& x, Interval_Info_Bitset<T, Policy>& y) {
112 x.m_swap(y);
113 }
114
115 } // namespace Parma_Polyhedra_Library
116
117 #endif // !defined(PPL_Interval_Info_inlines_hh)
118