Function pi_half_upper

gecode/float/num.hpp:40–43

    return gecode_boost::numeric::interval_lib::constants::pi_half_lower<FloatNum>();
  }
  forceinline FloatNum
  pi_half_upper(void) {
    return gecode_boost::numeric::interval_lib::constants::pi_half_upper<FloatNum>();
  }
  forceinline FloatNum
  pi_lower(void) {
    return gecode_boost::numeric::interval_lib::constants::pi_lower<FloatNum>();