Channel propagators
More...
|
class | Base |
| Base-class for channel propagators. More...
|
class | BoolIter |
| Iterates the values to be removed as defined by an array of Boolean views. More...
|
class | Dom |
| Domain consistent channel propagator. More...
|
class | DomInfo |
| Combine view with information for domain propagation. More...
|
class | LinkMulti |
| Link propagator for multiple Boolean views. More...
|
class | LinkSingle |
| Link propagator for a single Boolean view. More...
|
class | Val |
| Naive channel propagator. More...
|
class | ValInfo |
| Combine view with information for value propagation. More...
|
|
template<class View, class Offset> |
ExecStatus | prop_dom (Space &home, int n, DomInfo< View, Offset > *x, Offset &ox, DomInfo< View, Offset > *y, Offset &oy, ProcessStack &ya) |
template<class View, class Offset, class Info> |
ExecStatus | doprop_val (Space &home, int n, Info *x, Offset &ox, Info *y, Offset &oy, int &n_na, ProcessStack &xa, ProcessStack &ya) |
template<class View, class Offset, class Info> |
ExecStatus | prop_val (Space &home, int n, Info *x, Offset &ox, Info *y, Offset &oy, int &n_na, ProcessStack &xa, ProcessStack &ya) |
◆ ProcessStack
◆ prop_dom()
◆ doprop_val()
◆ prop_val()