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)