| 1663 | class IntPoster { |
| 1664 | public: |
| 1665 | IntPoster(void) { |
| 1666 | registry().add("all_different_int", &p_distinct); |
| 1667 | registry().add("all_different_offset", &p_distinctOffset); |
| 1668 | registry().add("all_equal_int", &p_all_equal); |
| 1669 | registry().add("int_eq", &p_int_eq); |
| 1670 | registry().add("int_ne", &p_int_ne); |
| 1671 | registry().add("int_ge", &p_int_ge); |
| 1672 | registry().add("int_gt", &p_int_gt); |
| 1673 | registry().add("int_le", &p_int_le); |
| 1674 | registry().add("int_lt", &p_int_lt); |
| 1675 | registry().add("int_eq_reif", &p_int_eq_reif); |
| 1676 | registry().add("int_ne_reif", &p_int_ne_reif); |
| 1677 | registry().add("int_ge_reif", &p_int_ge_reif); |
| 1678 | registry().add("int_gt_reif", &p_int_gt_reif); |
| 1679 | registry().add("int_le_reif", &p_int_le_reif); |
| 1680 | registry().add("int_lt_reif", &p_int_lt_reif); |
| 1681 | registry().add("int_eq_imp", &p_int_eq_imp); |
| 1682 | registry().add("int_ne_imp", &p_int_ne_imp); |
| 1683 | registry().add("int_ge_imp", &p_int_ge_imp); |
| 1684 | registry().add("int_gt_imp", &p_int_gt_imp); |
| 1685 | registry().add("int_le_imp", &p_int_le_imp); |
| 1686 | registry().add("int_lt_imp", &p_int_lt_imp); |
| 1687 | registry().add("int_lin_eq", &p_int_lin_eq); |
| 1688 | registry().add("int_lin_eq_reif", &p_int_lin_eq_reif); |
| 1689 | registry().add("int_lin_eq_imp", &p_int_lin_eq_imp); |
| 1690 | registry().add("int_lin_ne", &p_int_lin_ne); |
| 1691 | registry().add("int_lin_ne_reif", &p_int_lin_ne_reif); |
| 1692 | registry().add("int_lin_ne_imp", &p_int_lin_ne_imp); |
| 1693 | registry().add("int_lin_le", &p_int_lin_le); |
| 1694 | registry().add("int_lin_le_reif", &p_int_lin_le_reif); |
| 1695 | registry().add("int_lin_le_imp", &p_int_lin_le_imp); |
| 1696 | registry().add("int_lin_lt", &p_int_lin_lt); |
| 1697 | registry().add("int_lin_lt_reif", &p_int_lin_lt_reif); |
| 1698 | registry().add("int_lin_lt_imp", &p_int_lin_lt_imp); |
| 1699 | registry().add("int_lin_ge", &p_int_lin_ge); |
| 1700 | registry().add("int_lin_ge_reif", &p_int_lin_ge_reif); |
| 1701 | registry().add("int_lin_ge_imp", &p_int_lin_ge_imp); |
| 1702 | registry().add("int_lin_gt", &p_int_lin_gt); |
| 1703 | registry().add("int_lin_gt_reif", &p_int_lin_gt_reif); |
| 1704 | registry().add("int_lin_gt_imp", &p_int_lin_gt_imp); |
| 1705 | registry().add("int_plus", &p_int_plus); |
| 1706 | registry().add("int_minus", &p_int_minus); |
| 1707 | registry().add("int_times", &p_int_times); |
| 1708 | registry().add("gecode_int_pow", &p_int_pow); |
| 1709 | registry().add("int_div", &p_int_div); |
| 1710 | registry().add("int_mod", &p_int_mod); |
| 1711 | registry().add("int_min", &p_int_min); |
| 1712 | registry().add("int_max", &p_int_max); |
| 1713 | registry().add("int_abs", &p_abs); |
| 1714 | registry().add("int_negate", &p_int_negate); |
| 1715 | registry().add("bool_eq", &p_bool_eq); |
| 1716 | registry().add("bool_eq_reif", &p_bool_eq_reif); |
| 1717 | registry().add("bool_eq_imp", &p_bool_eq_imp); |
| 1718 | registry().add("bool_ne", &p_bool_ne); |
| 1719 | registry().add("bool_ne_reif", &p_bool_ne_reif); |
| 1720 | registry().add("bool_ne_imp", &p_bool_ne_imp); |
| 1721 | registry().add("bool_ge", &p_bool_ge); |
| 1722 | registry().add("bool_ge_reif", &p_bool_ge_reif); |