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& ,
00078 Value<V>& )
00079 {
00080 mlc_abort(V)::check();
00081 }
00082
00083 }
00084
00085
00086 namespace internal
00087 {
00088
00089 template <typename V>
00090 inline
00091 void
00092 from_int_to_value_dispatch(const int& from, Value<V>& to)
00093 {
00094 impl::from_int_to_value(from, exact(to));
00095 }
00096
00097 }
00098
00099
00100 namespace over_load
00101 {
00102
00103
00104
00105 template <typename V>
00106 void
00107 from_to_(const int& from, Value<V>& to)
00108 {
00109 internal::from_int_to_value_dispatch(from, to);
00110 }
00111
00112 }
00113
00114 # endif // ! MLN_INCLUDE_ONLY
00115
00116 }
00117
00118 }
00119
00120
00121 #endif // ! MLN_CONVERT_IMPL_FROM_INT_TO_VALUE_HH