
Combine view with information for domain propagation. More...
#include <dom.hpp>
Public Member Functions | |
| void | init (View x, int n) |
| Initialize. More... | |
| void | update (Space &home, bool share, DomInfo< View, Offset > &vcb) |
| 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 (Offset &o) |
| Update the size and bounds information after pruning. More... | |
Public Attributes | |
| View | view |
| The view. More... | |
| unsigned int | size |
| Last propagated size. More... | |
| int | min |
| Last propagated minimum. More... | |
| int | max |
| Last propagated maximum. More... | |
Combine view with information for domain propagation.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
| View Gecode::Int::Channel::DomInfo< View, Offset >::view |
| unsigned int Gecode::Int::Channel::DomInfo< View, Offset >::size |
| int Gecode::Int::Channel::DomInfo< View, Offset >::min |
| int Gecode::Int::Channel::DomInfo< View, Offset >::max |