|
Classes |
class | DomInfo |
| Combine view with information for domain propagation. More...
|
class | ProcessStack |
| A simple integer stack for tracking which views are assigned. More...
|
class | ValInfo |
| Combine view with information for value propagation. More...
|
class | Base |
| Base-class for channel propagators. More...
|
class | Val |
| Naive channel propagator. More...
|
class | Dom |
| Domain-consistent channel propagator. More...
|
Functions |
template<class View> |
ExecStatus | prop_dom (Space *home, int n, DomInfo< View > *x, DomInfo< View > *y, ProcessStack &ya) |
template<class View, class Info> |
ExecStatus | doprop_val (Space *home, int n, Info *x, Info *y, int &n_na, ProcessStack &xa, ProcessStack &ya) |
template<class View, class Info> |
ExecStatus | prop_val (Space *home, int n, Info *x, Info *y, int &n_na, ProcessStack &xa, ProcessStack &ya) |