
Value description class for branching. More...
#include <float.hh>
Public Attributes | |
| FloatNum | n |
| The middle value for branching. More... | |
| bool | l |
| Whether to try the lower or upper half first. More... | |
| FloatNum Gecode::FloatNumBranch::n |
| bool Gecode::FloatNumBranch::l |