| 54 | return gecode_boost::numeric::interval_lib::constants::pi_twice_lower<FloatNum>(); |
| 55 | } |
| 56 | forceinline FloatNum |
| 57 | pi_twice_upper(void) { |
| 58 | return gecode_boost::numeric::interval_lib::constants::pi_twice_upper<FloatNum>(); |
| 59 | } |
| 60 | } |
| 61 | |
| 62 | // STATISTICS: float-var |