Post brancher
| 230 | } |
| 231 | /// Post brancher |
| 232 | static void post(Home home, |
| 233 | TieBreak<IntVarBranch> int_varsel, |
| 234 | IntValBranch int_valsel, |
| 235 | TieBreak<BoolVarBranch> bool_varsel, |
| 236 | BoolValBranch bool_valsel |
| 237 | #ifdef GECODE_HAS_SET_VARS |
| 238 | , |
| 239 | SetVarBranch set_varsel, |
| 240 | SetValBranch set_valsel |
| 241 | #endif |
| 242 | #ifdef GECODE_HAS_FLOAT_VARS |
| 243 | , |
| 244 | TieBreak<FloatVarBranch> float_varsel, |
| 245 | FloatValBranch float_valsel |
| 246 | #endif |
| 247 | ) { |
| 248 | (void) new (home) AuxVarBrancher(home, int_varsel, int_valsel, |
| 249 | bool_varsel, bool_valsel |
| 250 | #ifdef GECODE_HAS_SET_VARS |
| 251 | , set_varsel, set_valsel |
| 252 | #endif |
| 253 | #ifdef GECODE_HAS_FLOAT_VARS |
| 254 | , float_varsel, float_valsel |
| 255 | #endif |
| 256 | ); |
| 257 | } |
| 258 | /// Delete brancher and return its size |
| 259 | virtual size_t dispose(Space&) { |
| 260 | return sizeof(*this); |