| 2150 | class SetPoster { |
| 2151 | public: |
| 2152 | SetPoster(void) { |
| 2153 | registry().add("set_eq", &p_set_eq); |
| 2154 | registry().add("set_le", &p_set_le); |
| 2155 | registry().add("set_lt", &p_set_lt); |
| 2156 | registry().add("equal", &p_set_eq); |
| 2157 | registry().add("set_ne", &p_set_ne); |
| 2158 | registry().add("set_union", &p_set_union); |
| 2159 | registry().add("array_set_element", &p_array_set_element); |
| 2160 | registry().add("array_var_set_element", &p_array_set_element); |
| 2161 | registry().add("set_intersect", &p_set_intersect); |
| 2162 | registry().add("set_diff", &p_set_diff); |
| 2163 | registry().add("set_symdiff", &p_set_symdiff); |
| 2164 | registry().add("set_subset", &p_set_subset); |
| 2165 | registry().add("set_superset", &p_set_superset); |
| 2166 | registry().add("set_card", &p_set_card); |
| 2167 | registry().add("set_in", &p_set_in); |
| 2168 | registry().add("set_eq_reif", &p_set_eq_reif); |
| 2169 | registry().add("set_le_reif", &p_set_le_reif); |
| 2170 | registry().add("set_lt_reif", &p_set_lt_reif); |
| 2171 | registry().add("equal_reif", &p_set_eq_reif); |
| 2172 | registry().add("set_ne_reif", &p_set_ne_reif); |
| 2173 | registry().add("set_subset_reif", &p_set_subset_reif); |
| 2174 | registry().add("set_superset_reif", &p_set_superset_reif); |
| 2175 | registry().add("set_in_reif", &p_set_in_reif); |
| 2176 | registry().add("set_in_imp", &p_set_in_imp); |
| 2177 | registry().add("disjoint", &p_set_disjoint); |
| 2178 | registry().add("gecode_link_set_to_booleans", |
| 2179 | &p_link_set_to_booleans); |
| 2180 | |
| 2181 | registry().add("array_set_union", &p_array_set_union); |
| 2182 | registry().add("array_set_partition", &p_array_set_partition); |
| 2183 | registry().add("set_convex", &p_set_convex); |
| 2184 | registry().add("array_set_seq", &p_array_set_seq); |
| 2185 | registry().add("array_set_seq_union", &p_array_set_seq_union); |
| 2186 | registry().add("gecode_array_set_element_union", |
| 2187 | &p_array_set_element_union); |
| 2188 | registry().add("gecode_array_set_element_intersect", |
| 2189 | &p_array_set_element_intersect); |
| 2190 | registry().add("gecode_array_set_element_intersect_in", |
| 2191 | &p_array_set_element_intersect_in); |
| 2192 | registry().add("gecode_array_set_element_partition", |
| 2193 | &p_array_set_element_partition); |
| 2194 | registry().add("gecode_int_set_channel", |
| 2195 | &p_int_set_channel); |
| 2196 | registry().add("gecode_range", |
| 2197 | &p_range); |
| 2198 | registry().add("gecode_set_weights", |
| 2199 | &p_weights); |
| 2200 | registry().add("gecode_inverse_set", &p_inverse_set); |
| 2201 | registry().add("gecode_precede_set", &p_precede_set); |
| 2202 | } |
| 2203 | }; |
| 2204 | SetPoster __set_poster; |
| 2205 | #endif |