Combine view with information for value propagation. More...
#include <val.hpp>
Public Member Functions | |
void | init (View x, int n) |
Initialize. More... | |
void | update (Space &home, bool share, ValInfo< View > &vi) |
Update during cloning. More... | |
bool | doval (void) const |
Check whether propagation for assignment is to be done. More... | |
bool | dodom (void) const |
Check whether propagation for domain is to be done. More... | |
void | assigned (void) |
Record that view got assigned. More... | |
void | removed (int i) |
Record that one value got removed. More... | |
void | done (void) |
Update the cardinality and bounds information after pruning. More... | |
Public Attributes | |
View | view |
The view. More... | |
bool | a |
Whether it has been propagated that view is assigned. More... | |
Combine view with information for value propagation.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
View Gecode::Int::Channel::ValInfo< View >::view |
bool Gecode::Int::Channel::ValInfo< View >::a |