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