$extrastylesheet
Olena  User documentation 2.1
An Image Processing Platform
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
other.hh
1 // Copyright (C) 2007, 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_OTHER_HH
27 # define MLN_VALUE_OTHER_HH
28 
34 # include <mln/core/concept/value.hh>
35 # include <mln/value/set.hh>
36 # include <mln/value/concept/all.hh>
37 
38 
39 namespace mln
40 {
41 
42  namespace value
43  {
44 
45 
47  template <typename V>
48  V other(const V& val);
49 
50 
51 
52 # ifndef MLN_INCLUDE_ONLY
53 
54  namespace internal
55  {
56 
57  template <typename V>
58  V
59  other_(const void*, const V& val) // Surely a builtin.
60  {
61  return val + 1;
62  }
63 
64  inline
65  bool
66  other_(const void*, const bool& val)
67  {
68  return ! val;
69  }
70 
71 
72  template <typename V>
73  inline
74  V
75  other_(mln::trait::value::quant::high, const Value<V>& val_)
76  {
77  const V& val = exact(val_);
78  return val.other();
79  }
80 
81  template <typename V>
82  inline
83  V
84  other_(mln::trait::value::quant::high, const value::Scalar<V>& val_)
85  {
86  const V& val = exact(val_);
87  return (mln_max(V) - val) + mln_min(V);
88  }
89 
90  template <typename V>
91  inline
92  V
93  other_(mln::trait::value::quant::low, const Value<V>& val_)
94  {
95  const V& val = exact(val_);
96  value::set<V> s;
97  unsigned i = s.index_of(val);
98  mln_assertion(s.nvalues() >= 2);
99  return i == 0 ? s[1] : s[0];
100  }
101 
102  template <typename V>
103  inline
104  V
105  other_(const Value<V>*, const V& val)
106  {
107  return other_(mln_trait_value_quant(V)(), val);
108  }
109 
110  } // end of namespace mln::value::internal
111 
112 
113  template <typename V>
114  inline
115  V other(const V& val)
116  {
117  V tmp = internal::other_(&val, val);
118  mln_postcondition(tmp != val);
119  return tmp;
120  }
121 
122 # endif // ! MLN_INCLUDE_ONLY
123 
124  } // end of namespace mln::value
125 
126 } // end of namespace mln
127 
128 
129 #endif // ! MLN_VALUE_OTHER_HH