Gecode::Int::Channel Namespace Reference
Detailed Description
Channel propagators
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) |
Function Documentation
template<class View>
ExecStatus Gecode::Int::Channel::prop_dom | ( | Space * | home, | |
int | n, | |||
DomInfo< View > * | x, | |||
DomInfo< View > * | y, | |||
ProcessStack & | ya | |||
) |
template<class View, class Info>
ExecStatus Gecode::Int::Channel::doprop_val | ( | Space * | home, | |
int | n, | |||
Info * | x, | |||
Info * | y, | |||
int & | n_na, | |||
ProcessStack & | xa, | |||
ProcessStack & | ya | |||
) |
template<class View, class Info>
ExecStatus Gecode::Int::Channel::prop_val | ( | Space * | home, | |
int | n, | |||
Info * | x, | |||
Info * | y, | |||
int & | n_na, | |||
ProcessStack & | xa, | |||
ProcessStack & | ya | |||
) | [inline] |