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