Milena (Olena)  User documentation 2.0a Id
 All Classes Namespaces Functions Variables Typedefs Enumerator Groups Pages
value_set.hh
1 // Copyright (C) 2007, 2009, 2010 EPITA Research and Development
2 // Laboratory (LRDE)
3 //
4 // This file is part of Olena.
5 //
6 // Olena is free software: you can redistribute it and/or modify it under
7 // the terms of the GNU General Public License as published by the Free
8 // Software Foundation, version 2 of the License.
9 //
10 // Olena is distributed in the hope that it will be useful,
11 // but WITHOUT ANY WARRANTY; without even the implied warranty of
12 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 // General Public License for more details.
14 //
15 // You should have received a copy of the GNU General Public License
16 // along with Olena. If not, see <http://www.gnu.org/licenses/>.
17 //
18 // As a special exception, you may use this file as part of a free
19 // software project without restriction. Specifically, if other files
20 // instantiate templates or use macros or inline functions from this
21 // file, or you compile this file and link it with other files to produce
22 // an executable, this file does not by itself cause the resulting
23 // executable to be covered by the GNU General Public License. This
24 // exception does not however invalidate any other reasons why the
25 // executable file might be covered by the GNU General Public License.
26 
27 #ifndef MLN_CORE_CONCEPT_VALUE_SET_HH
28 # define MLN_CORE_CONCEPT_VALUE_SET_HH
29 
34 # include <mln/core/concept/value_iterator.hh> // FIXME: Why not object.hh?
35 
36 
37 namespace mln
38 {
39 
40  // Fwd decl.
41  template <typename E> struct Value_Set;
42 
43  // Value_Set category flag type.
44  template <>
45  struct Value_Set<void>
46  {
47  typedef Object<void> super;
48  };
49 
50 
56  template <typename E>
57  struct Value_Set : public Object<E>
58  {
59  typedef Value_Set<void> category;
60 
61  /*
62  typedef value;
63  typedef fwd_viter;
64  typedef bkd_viter;
65 
66  bool has(const value& v) const;
67 
68  value operator[](unsigned i) const;
69  unsigned index_of(const value& v) const;
70 
71  unsigned nvalues() const;
72  */
73 
74  protected:
75  Value_Set();
76  };
77 
78 
79  template <typename E>
80  std::ostream& operator<<(std::ostream& ostr, const Value_Set<E>& vs);
81 
82 
83 # ifndef MLN_INCLUDE_ONLY
84 
85  template <typename E>
86  inline
87  Value_Set<E>::Value_Set()
88  {
89  typedef mln_value(E) value;
90  typedef mln_fwd_viter(E) fwd_viter;
91  typedef mln_bkd_viter(E) bkd_viter;
92 
93  bool (E::*m1)(const value&) const = & E::has;
94  m1 = 0;
95  value (E::*m2)(unsigned) const = & E::operator[];
96  m2 = 0;
97  unsigned (E::*m3)() const = & E::nvalues;
98  m3 = 0;
99  }
100 
101  template <typename E>
102  inline
103  std::ostream& operator<<(std::ostream& ostr, const Value_Set<E>& vs_)
104  {
105  const E& vs = exact(vs_);
106  ostr << "{ ";
107  for (unsigned i = 0; i < vs.nvalues(); ++i)
108  ostr << vs[i] << ' ';
109  return ostr << '}';
110  }
111 
112 # endif // ! MLN_INCLUDE_ONLY
113 
114 } // end of namespace mln
115 
116 
117 #endif // ! MLN_CORE_CONCEPT_VALUE_SET_HH