
#include <gecode/float/branch.hh>Go to the source code of this file.
Namespaces | |
| Gecode | |
| Gecode toplevel namespace | |
| Gecode::Float | |
| Floating point numbers. | |
| Gecode::Float::Branch | |
| Float branchers. | |
Functions | |
| ValSelCommitBase< FloatView, FloatNumBranch > * | Gecode::Float::Branch::valselcommit (Space &home, const FloatValBranch &svb) |
| Return value and commit for float views. More... | |
| ValSelCommitBase< FloatView, FloatNumBranch > * | Gecode::Float::Branch::valselcommit (Space &home, const FloatAssign &ia) |
| Return value and commit for float views. More... | |