Gecode::Int::Channel::ValInfo< View > Class Template Reference
List of all members.Detailed Description
template<class View>
class Gecode::Int::Channel::ValInfo< View >
Combine view with information for value propagation.
Definition at line 35 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
|
||||||||||||||||
|
Allocate memory from space home for n elements.
|
|
||||||||||||||||
|
Initialize.
|
|
||||||||||||||||||||
|
Update during cloning.
|
|
||||||||||
|
Check whether propagation for assignment is to be done.
|
|
||||||||||
|
Check whether propagation for domain is to be done.
|
|
||||||||||
|
Record that view got assigned.
|
|
||||||||||
|
Record that one value got removed.
|
|
||||||||||
|
Update the cardinality and bounds information after pruning.
|
Member Data Documentation
|
|||||
|
The view.
|
|
|||||
|
Whether it has been propagated that view is assigned.
|
The documentation for this class was generated from the following file:
- gecode/int/channel/val.icc (Revision: 3512)