Gecode::Int::Linear::SupportIter< Val > Class Template Reference
Inherited by Gecode::Int::Linear::NegSupportIter< Val >, and Gecode::Int::Linear::PosSupportIter< Val >.Detailed Description
template<class Val>
class Gecode::Int::Linear::SupportIter< Val >
Base-class for support-based iterator.
Definition at line 76 of file dom.icc.
Public Member Functions | |
| void | init (int a, const IntView &x, Val l, Val u) |
| Initialize view. | |
| void | support (void) |
| Record value at current position as supported. | |
| ModEvent | tell (Space *home) |
| Tell back new variable domain according to support found. | |
| void | dispose (void) |
| Finalize memory for support set. | |
Protected Attributes | |
| int | a |
| Integer coefficient for view. | |
| IntView | x |
| Integer view. | |
| SupportSet | s |
| Set of support for values in x. | |
| int | c |
| Current value. | |
| unsigned int | p |
| Position of current value. | |
| Val | l |
| Lower bound information for value. | |
| Val | u |
| Upper bound information for value. | |
Member Function Documentation
|
||||||||||||||||||||||||
|
Initialize view.
|
|
||||||||||
|
Record value at current position as supported.
|
|
||||||||||
|
Tell back new variable domain according to support found.
|
|
||||||||||
|
Finalize memory for support set.
|
Member Data Documentation
|
|||||
|
Integer coefficient for view.
|
|
|||||
|
Integer view.
|
|
|||||
|
Set of support for values in x.
|
|
|||||
|
Current value.
|
|
|||||
|
Position of current value.
|
|
|||||
|
Lower bound information for value.
|
|
|||||
|
Upper bound information for value.
|
The documentation for this class was generated from the following file:
- gecode/int/linear/dom.icc (Revision: 3512)