38 return boost::numeric::interval_lib::constants::pi_half_lower<FloatNum>();
42 return boost::numeric::interval_lib::constants::pi_half_upper<FloatNum>();
46 return boost::numeric::interval_lib::constants::pi_lower<FloatNum>();
50 return boost::numeric::interval_lib::constants::pi_upper<FloatNum>();
54 return boost::numeric::interval_lib::constants::pi_twice_lower<FloatNum>();
58 return boost::numeric::interval_lib::constants::pi_twice_upper<FloatNum>();
double FloatNum
Floating point number base type.
Gecode toplevel namespace
FloatNum pi_upper(void)
Return upper bound of .
FloatNum pi_lower(void)
Return lower bound of .
FloatNum pi_half_lower(void)
Return lower bound of .
FloatNum pi_twice_lower(void)
Return lower bound of .
FloatNum pi_half_upper(void)
Return upper bound of .
FloatNum pi_twice_upper(void)
Return upper bound of .