| 2377 | class FloatPoster { |
| 2378 | public: |
| 2379 | FloatPoster(void) { |
| 2380 | registry().add("int2float",&p_int2float); |
| 2381 | registry().add("float_abs",&p_float_abs); |
| 2382 | registry().add("float_sqrt",&p_float_sqrt); |
| 2383 | registry().add("float_eq",&p_float_eq); |
| 2384 | registry().add("float_eq_reif",&p_float_eq_reif); |
| 2385 | registry().add("float_le",&p_float_le); |
| 2386 | registry().add("float_le_reif",&p_float_le_reif); |
| 2387 | registry().add("float_lt",&p_float_lt); |
| 2388 | registry().add("float_lt_reif",&p_float_lt_reif); |
| 2389 | registry().add("float_ne",&p_float_ne); |
| 2390 | registry().add("float_times",&p_float_times); |
| 2391 | registry().add("float_div",&p_float_div); |
| 2392 | registry().add("float_plus",&p_float_plus); |
| 2393 | registry().add("float_max",&p_float_max); |
| 2394 | registry().add("float_min",&p_float_min); |
| 2395 | |
| 2396 | registry().add("float_lin_eq",&p_float_lin_eq); |
| 2397 | registry().add("float_lin_eq_reif",&p_float_lin_eq_reif); |
| 2398 | registry().add("float_lin_le",&p_float_lin_le); |
| 2399 | registry().add("float_lin_lt",&p_float_lin_lt); |
| 2400 | registry().add("float_lin_le_reif",&p_float_lin_le_reif); |
| 2401 | registry().add("float_lin_lt_reif",&p_float_lin_lt_reif); |
| 2402 | |
| 2403 | #ifdef GECODE_HAS_MPFR |
| 2404 | registry().add("float_acos",&p_float_acos); |
| 2405 | registry().add("float_asin",&p_float_asin); |
| 2406 | registry().add("float_atan",&p_float_atan); |
| 2407 | registry().add("float_cos",&p_float_cos); |
| 2408 | // registry().add("float_cosh",&p_float_cosh); |
| 2409 | registry().add("float_exp",&p_float_exp); |
| 2410 | registry().add("float_ln",&p_float_ln); |
| 2411 | registry().add("float_log10",&p_float_log10); |
| 2412 | registry().add("float_log2",&p_float_log2); |
| 2413 | registry().add("float_sin",&p_float_sin); |
| 2414 | // registry().add("float_sinh",&p_float_sinh); |
| 2415 | registry().add("float_tan",&p_float_tan); |
| 2416 | // registry().add("float_tanh",&p_float_tanh); |
| 2417 | #endif |
| 2418 | } |
| 2419 | } __float_poster; |
| 2420 | #endif |
| 2421 | |