26 #ifndef MLN_VALUE_INTERVAL_HH
27 # define MLN_VALUE_INTERVAL_HH
36 # include <mln/core/concept/object.hh>
63 # ifndef MLN_INCLUDE_ONLY
71 mln_precondition(from <= to);
79 mln_invariant(from <= to);
81 mln_postcondition(tmp.from <= tmp.to);
90 mln_precondition(from <= to);
91 interval_<T> tmp(from, to);
95 # endif // ! MLN_INCLUDE_ONLY
102 #endif // ! MLN_VALUE_INTERVAL_HH