Support-based iterator for positive view. More...
#include <int-dom.hpp>
Public Member Functions | |
bool | reset (Val &d) |
Reset iterator to beginning and adjust. More... | |
bool | adjust (Val &d) |
Adjust. More... | |
![]() | |
void | init (Region &r, int a, const IntView &x, Val l, Val u) |
Initialize view. More... | |
void | support (void) |
Record value at current position as supported. More... | |
ModEvent | tell (Space &home) |
Tell back new variable domain according to support found. More... | |
Additional Inherited Members | |
![]() | |
int | a |
Integer coefficient for view. More... | |
IntView | x |
Integer view. More... | |
SupportSet | s |
Set of support for values in x. More... | |
int | c |
Current value. More... | |
unsigned int | p |
Position of current value. More... | |
Val | l |
Lower bound information for value. More... | |
Val | u |
Upper bound information for value. More... | |
Support-based iterator for positive view.
Definition at line 117 of file int-dom.hpp.
|
inline |
|
inline |