
Value precedence propagators. More...
Classes | |
| class | Single |
| Single value precedence propagator. More... | |
Functions | |
| template<class View > | |
| bool | assigned (View x, int v) |
| Whether x is assigned to value v. More... | |
Value precedence propagators.
|
inline |
Whether x is assigned to value v.
Definition at line 47 of file single.hpp.