Class for trying zero and then one. More...
#include <branch.hh>
Public Member Functions | |
ValZeroOne (void) | |
Default constructor. | |
ValZeroOne (Space &home, const ValBranchOptions &vbo) | |
Constructor for initialization. | |
NoValue | val (Space &home, View x) const |
Return no value of view x. | |
ModEvent | tell (Space &home, unsigned int a, View x, NoValue n) |
Tell ![]() ![]() |
Gecode::Int::Branch::ValZeroOne::ValZeroOne | ( | void | ) | [inline] |
Default constructor.
Definition at line 173 of file select-val.hpp.
Gecode::Int::Branch::ValZeroOne::ValZeroOne | ( | Space & | home, |
const ValBranchOptions & | vbo | ||
) | [inline] |
Constructor for initialization.
Definition at line 176 of file select-val.hpp.
Return no value of view x.
Definition at line 180 of file select-val.hpp.
ModEvent Gecode::Int::Branch::ValZeroOne::tell | ( | Space & | home, |
unsigned int | a, | ||
View | x, | ||
NoValue | n | ||
) | [inline] |
Tell (a = 0) or
(a = 1)
Definition at line 185 of file select-val.hpp.