00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026 #ifndef MLN_CONVERT_IMPL_FROM_UNSIGNED_TO_VALUE_HH
00027 # define MLN_CONVERT_IMPL_FROM_UNSIGNED_TO_VALUE_HH
00028
00034
00035 # include <utility>
00036 # include <mln/value/concept/integer.hh>
00037 # include <mln/core/concept/value.hh>
00038 # include <mln/value/label.hh>
00039 # include <mln/math/round.hh>
00040
00041
00042
00043
00044 namespace mln
00045 {
00046
00047 namespace convert
00048 {
00049
00051 template <typename V>
00052 void
00053 from_to(const unsigned& from, Value<V>& to);
00054
00055
00056 # ifndef MLN_INCLUDE_ONLY
00057
00058 namespace impl
00059 {
00060
00061
00062
00063 template <typename V>
00064 inline
00065 void
00066 from_unsigned_to_value(const unsigned& from,
00067 mln::value::Integer<V>& to)
00068 {
00069 exact(to) = from;
00070 }
00071
00072 template <unsigned n>
00073 inline
00074 void
00075 from_unsigned_to_value(const unsigned& from,
00076 mln::value::label<n>& to)
00077 {
00078 exact(to) = from;
00079 }
00080
00081
00082
00083 template <typename V>
00084 inline
00085 void
00086 from_unsigned_to_value(const unsigned&,
00087 Value<V>&)
00088 {
00089 mlc_abort(V)::check();
00090 }
00091
00092 }
00093
00094
00095 namespace internal
00096 {
00097
00098 template <typename V>
00099 inline
00100 void
00101 from_unsigned_to_value_dispatch(const unsigned& from, Value<V>& to)
00102 {
00103 impl::from_unsigned_to_value(from, exact(to));
00104 }
00105
00106 }
00107
00108
00109 namespace over_load
00110 {
00111
00112
00113
00114 template <typename V>
00115 void
00116 from_to_(const unsigned& from, Value<V>& to)
00117 {
00118 internal::from_unsigned_to_value_dispatch(from, to);
00119 }
00120
00121 }
00122
00123
00124 # endif // ! MLN_INCLUDE_ONLY
00125
00126 }
00127
00128 }
00129
00130
00131 #endif // ! MLN_CONVERT_IMPL_FROM_UNSIGNED_TO_VALUE_HH