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