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_VALUE_INTERVAL_HH
00027 # define MLN_VALUE_INTERVAL_HH
00028
00036 # include <mln/core/concept/object.hh>
00037
00038
00039 namespace mln
00040 {
00041
00042 namespace value
00043 {
00044
00046
00047 template <typename T>
00048 struct interval_ : public Object< interval_<T> >
00049 {
00050 interval_(const T& from, const T& to);
00051 T from, to;
00052
00053 template <typename U>
00054 operator interval_<U>() const;
00055 };
00056
00057
00058 template <typename T>
00059 interval_<T>
00060 interval(const T& from, const T& to);
00061
00062
00063 # ifndef MLN_INCLUDE_ONLY
00064
00065 template <typename T>
00066 inline
00067 interval_<T>::interval_(const T& from, const T& to)
00068 : from(from),
00069 to(to)
00070 {
00071 mln_precondition(from <= to);
00072 }
00073
00074 template <typename T>
00075 template <typename U>
00076 inline
00077 interval_<T>::operator interval_<U>() const
00078 {
00079 mln_invariant(from <= to);
00080 interval_<U> tmp(from, to);
00081 mln_postcondition(tmp.from <= tmp.to);
00082 return tmp;
00083 }
00084
00085 template <typename T>
00086 inline
00087 interval_<T>
00088 interval(const T& from, const T& to)
00089 {
00090 mln_precondition(from <= to);
00091 interval_<T> tmp(from, to);
00092 return tmp;
00093 }
00094
00095 # endif // ! MLN_INCLUDE_ONLY
00096
00097 }
00098
00099 }
00100
00101
00102 #endif // ! MLN_VALUE_INTERVAL_HH