Channel propagators
More...
Classes |
class | DomInfo |
| Combine view with information for domain propagation. More...
|
class | BoolIter |
| Iterates the values to be removed as defined by an array of Boolean views. 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...
|
class | LinkSingle |
| Link propagator for a single Boolean view. More...
|
class | LinkMulti |
| Link propagator for multiple Boolean views. More...
|
Functions |
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) |
Detailed Description
Typedef Documentation
Function Documentation
template<class View , class Offset >
ExecStatus Gecode::Int::Channel::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 Gecode::Int::Channel::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 Gecode::Int::Channel::prop_val |
( |
Space & |
home, |
|
|
int |
n, |
|
|
Info * |
x, |
|
|
Offset & |
ox, |
|
|
Info * |
y, |
|
|
Offset & |
oy, |
|
|
int & |
n_na, |
|
|
ProcessStack & |
xa, |
|
|
ProcessStack & |
ya |
|
) |
| |
|
inline |