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) |
| |
template<class View , class Offset >
template<class View , class Offset , class Info >
template<class View , class Offset , class Info >