Test function for branch merit function
| 361 | sizeof(float_var_branch_name)/sizeof(const char*); |
| 362 | /// Test function for branch merit function |
| 363 | double float_merit(const Gecode::Space&, Gecode::FloatVar x, int) { |
| 364 | return static_cast<double>(x.degree()); |
| 365 | } |
| 366 | /// Names for float value selections |
| 367 | const char* float_val_branch_name[] = { |
| 368 | "FLOAT_VAL_SPLIT_MIN", |