Test function for branch value function
| 375 | sizeof(float_val_branch_name)/sizeof(const char*); |
| 376 | /// Test function for branch value function |
| 377 | Gecode::FloatNumBranch float_val(const Gecode::Space&, |
| 378 | Gecode::FloatVar x, int) { |
| 379 | Gecode::FloatNumBranch nl; nl.n=x.med(); nl.l=true; |
| 380 | return nl; |
| 381 | } |
| 382 | //@} |
| 383 | #endif |
| 384 |