27 #ifndef MLN_VALUE_FLOAT01_F_HH
28 # define MLN_VALUE_FLOAT01_F_HH
36 # include <mln/value/internal/value_like.hh>
37 # include <mln/value/concept/floating.hh>
38 # include <mln/value/builtin/floatings.hh>
39 # include <mln/trait/value_.hh>
56 struct value_< mln::value::float01_f >
58 typedef trait::value::nature::floating
nature;
59 typedef trait::value::kind::data
kind;
60 typedef trait::value::quant::high
quant;
68 static float min() {
return 0; }
69 static float max() {
return 1; }
70 static float epsilon() {
return mln_epsilon(
float); }
107 operator float()
const;
111 # ifndef MLN_INCLUDE_ONLY
123 mln_precondition(val >= 0);
124 mln_precondition(val <= 1);
139 mln_precondition(val >= 0);
140 mln_precondition(val <= 1);
146 float01_f::operator
float()
const
151 # endif // ! MLN_INCLUDE_ONLY
158 #endif // ! MLN_VALUE_FLOAT01_F_HH