Gecode::Int::Channel::ValInfo< View > Class Template Reference
Detailed Description
template<class View>
class Gecode::Int::Channel::ValInfo< View >
Combine view with information for value propagation.
Definition at line 49 of file val.icc.
Public Member Functions | |
void | init (View x, int n) |
Initialize. | |
void | update (Space *home, bool share, ValInfo< View > &vi) |
Update during cloning. | |
bool | doval (void) const |
Check whether propagation for assignment is to be done. | |
bool | dodom (void) const |
Check whether propagation for domain is to be done. | |
void | assigned (void) |
Record that view got assigned. | |
void | removed (int i) |
Record that one value got removed. | |
void | done (void) |
Update the cardinality and bounds information after pruning. | |
Static Public Member Functions | |
static ValInfo< View > * | allocate (Space *home, int n) |
Allocate memory from space home for n elements. | |
Public Attributes | |
View | view |
The view. | |
bool | a |
Whether it has been propagated that view is assigned. |
Member Function Documentation
template<class View>
ValInfo< View > * Gecode::Int::Channel::ValInfo< View >::allocate | ( | Space * | home, | |
int | n | |||
) | [inline, static] |
template<class View>
void Gecode::Int::Channel::ValInfo< View >::init | ( | View | x, | |
int | n | |||
) | [inline] |
template<class View>
void Gecode::Int::Channel::ValInfo< View >::update | ( | Space * | home, | |
bool | share, | |||
ValInfo< View > & | vi | |||
) | [inline] |
template<class View>
bool Gecode::Int::Channel::ValInfo< View >::doval | ( | void | ) | const [inline] |
template<class View>
bool Gecode::Int::Channel::ValInfo< View >::dodom | ( | void | ) | const [inline] |
template<class View>
void Gecode::Int::Channel::ValInfo< View >::assigned | ( | void | ) | [inline] |
template<class View>
void Gecode::Int::Channel::ValInfo< View >::removed | ( | int | i | ) | [inline] |
template<class View>
void Gecode::Int::Channel::ValInfo< View >::done | ( | void | ) | [inline] |
Member Data Documentation
template<class View>
View Gecode::Int::Channel::ValInfo< View >::view |
template<class View>
bool Gecode::Int::Channel::ValInfo< View >::a |
The documentation for this class was generated from the following file:
- gecode/int/channel/val.icc (Revision: 7289)