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
00027 #ifndef MLN_CONVERT_IMPL_FROM_INT_TO_VALUE_HH
00028 # define MLN_CONVERT_IMPL_FROM_INT_TO_VALUE_HH
00029
00035
00036 # include <utility>
00037 # include <mln/value/concept/integer.hh>
00038 # include <mln/core/concept/value.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 int& 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_int_to_value(const int& from,
00067 mln::value::Integer<V>& to)
00068 {
00069 exact(to) = from;
00070 }
00071
00072
00073
00074 template <typename V>
00075 inline
00076 void
00077 from_int_to_value(const int& from,
00078 Value<V>& to)
00079 {
00080 (void) from;
00081 (void) to;
00082 mlc_abort(V)::check();
00083 }
00084
00085 }
00086
00087
00088 namespace internal
00089 {
00090
00091 template <typename V>
00092 inline
00093 void
00094 from_int_to_value_dispatch(const int& from, Value<V>& to)
00095 {
00096 impl::from_int_to_value(from, exact(to));
00097 }
00098
00099 }
00100
00101
00102 namespace over_load
00103 {
00104
00105
00106
00107 template <typename V>
00108 void
00109 from_to_(const int& from, Value<V>& to)
00110 {
00111 internal::from_int_to_value_dispatch(from, to);
00112 }
00113
00114 }
00115
00116 # endif // ! MLN_INCLUDE_ONLY
00117
00118 }
00119
00120 }
00121
00122
00123 #endif // ! MLN_CONVERT_IMPL_FROM_INT_TO_VALUE_HH