Gecode::Int::Channel::DomInfo< View > Class Template Reference
List of all members.
Detailed Description
template<class View>
class Gecode::Int::Channel::DomInfo< View >
Combine view with information for domain propagation.
Definition at line 35 of file dom.icc.
|
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 cardinality and bounds information after pruning.
|
Static Public Member Functions |
| static DomInfo< View > * | allocate (Space *home, int n) |
| | Allocate memory from space home for n elements.
|
Public Attributes |
| View | view |
| unsigned int | card |
| int | min |
| int | max |
Member Function Documentation
|
|
Allocate memory from space home for n elements.
Definition at line 61 of file dom.icc. |
|
|
Initialize.
Definition at line 68 of file dom.icc. |
|
|
Update during cloning.
Definition at line 77 of file dom.icc. |
|
|
Check whether propagation for assignment is to be done.
Definition at line 86 of file dom.icc. |
|
|
Check whether propagation for domain is to be done.
Definition at line 92 of file dom.icc. |
|
|
Record that view got assigned.
Definition at line 98 of file dom.icc. |
|
|
Record that one value got removed.
Definition at line 104 of file dom.icc. |
|
|
Update the cardinality and bounds information after pruning.
Definition at line 114 of file dom.icc. |
Member Data Documentation
The documentation for this class was generated from the following file:
