val-sel-commit.cpp File Reference
#include <gecode/float/branch.hh>
#include <gecode/float.hh>
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Float |
Floating point numbers. | |
namespace | 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. | |
ValSelCommitBase< FloatView, FloatNumBranch > * | Gecode::Float::Branch::valselcommit (Space &home, const FloatAssign &ia) |
Return value and commit for float views. |