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. | |
Value precedence propagators.
|
inline |
Whether x is assigned to value v.
Definition at line 43 of file single.hpp.