$extrastylesheet
Olena  User documentation 2.1
An Image Processing Platform
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
iterable_set.hh
1 // Copyright (C) 2007, 2008, 2009 EPITA Research and Development Laboratory (LRDE)
2 //
3 // This file is part of Olena.
4 //
5 // Olena is free software: you can redistribute it and/or modify it under
6 // the terms of the GNU General Public License as published by the Free
7 // Software Foundation, version 2 of the License.
8 //
9 // Olena is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 // General Public License for more details.
13 //
14 // You should have received a copy of the GNU General Public License
15 // along with Olena. If not, see <http://www.gnu.org/licenses/>.
16 //
17 // As a special exception, you may use this file as part of a free
18 // software project without restriction. Specifically, if other files
19 // instantiate templates or use macros or inline functions from this
20 // file, or you compile this file and link it with other files to produce
21 // an executable, this file does not by itself cause the resulting
22 // executable to be covered by the GNU General Public License. This
23 // exception does not however invalidate any other reasons why the
24 // executable file might be covered by the GNU General Public License.
25 
26 #ifndef MLN_VALUE_INTERNAL_ITERABLE_SET_HH
27 # define MLN_VALUE_INTERNAL_ITERABLE_SET_HH
28 
34 # include <mln/core/concept/value_set.hh>
35 # include <mln/trait/value_.hh>
36 # include <mln/value/builtin/all.hh>
37 # include <mln/value/internal/convert.hh>
38 
39 
40 namespace mln
41 {
42 
43  namespace value
44  {
45 
46  // Fwd decls.
47  template <typename S> struct fwd_viter_;
48  template <typename S> struct bkd_viter_;
49 
50 
51  namespace internal
52  {
53 
57  template <typename T, typename E>
58  struct iterable_set : public Value_Set<E>
59  {
61  typedef T value;
62 
65 
68 
70  bool has(const T& v) const;
71 
73  T operator[](unsigned i) const;
74 
76  unsigned index_of(const T& v) const;
77 
79  unsigned nvalues() const;
80 
81  };
82 
83 
84 
85 # ifndef MLN_INCLUDE_ONLY
86 
87  template <typename T, typename E>
88  inline
89  bool
90  iterable_set<T,E>::has(const T&) const
91  {
92  return true;
93  }
94 
95  template <typename T, typename E>
96  inline
97  T
98  iterable_set<T,E>::operator[](unsigned i) const
99  {
100  mln_precondition(i < nvalues());
102  }
103 
104  template <typename T, typename E>
105  inline
106  unsigned
107  iterable_set<T,E>::index_of(const T& v) const
108  {
110  }
111 
112  template <typename T, typename E>
113  inline
114  unsigned
116  {
117  return mln_card(T);
118  }
119 
120 # endif // ! MLN_INCLUDE_ONLY
121 
122  } // end of namespace mln::value::internal
123 
124  } // end of namespace mln::value
125 
126 } // end of namespace mln
127 
128 
129 # include <mln/value/viter.hh>
130 
131 
132 #endif // ! MLN_VALUE_INTERNAL_ITERABLE_SET_HH