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_INT_TO_VALUE_HH
00027 # define MLN_CONVERT_IMPL_FROM_INT_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/math/round.hh>
00039
00040
00041
00042
00043 namespace mln
00044 {
00045
00046 namespace convert
00047 {
00048
00050 template <typename V>
00051 void
00052 from_to(const int& from, Value<V>& to);
00053
00054
00055 # ifndef MLN_INCLUDE_ONLY
00056
00057 namespace impl
00058 {
00059
00060
00061
00062 template <typename V>
00063 inline
00064 void
00065 from_int_to_value(const int& from,
00066 mln::value::Integer<V>& to)
00067 {
00068 exact(to) = from;
00069 }
00070
00071
00072
00073 template <typename V>
00074 inline
00075 void
00076 from_int_to_value(const int& from,
00077 Value<V>& to)
00078 {
00079 mlc_abort(V)::check();
00080 }
00081
00082 }
00083
00084
00085 namespace internal
00086 {
00087
00088 template <typename V>
00089 inline
00090 void
00091 from_int_to_value_dispatch(const int& from, Value<V>& to)
00092 {
00093 impl::from_int_to_value(from, exact(to));
00094 }
00095
00096 }
00097
00098
00099 namespace over_load
00100 {
00101
00102
00103
00104 template <typename V>
00105 void
00106 from_to_(const int& from, Value<V>& to)
00107 {
00108 internal::from_int_to_value_dispatch(from, to);
00109 }
00110
00111 }
00112
00113 # endif // ! MLN_INCLUDE_ONLY
00114
00115 }
00116
00117 }
00118
00119
00120 #endif // ! MLN_CONVERT_IMPL_FROM_INT_TO_VALUE_HH