
Base-class for support-based iterator. More...
#include <int-dom.hpp>
Public Member Functions | |
| void | init (Region &r, 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. | |
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. | |
Base-class for support-based iterator.
Definition at line 82 of file int-dom.hpp.
|
inline |
Initialize view.
Definition at line 217 of file int-dom.hpp.
|
inline |
Record value at current position as supported.
Definition at line 224 of file int-dom.hpp.
|
inline |
Tell back new variable domain according to support found.
Definition at line 229 of file int-dom.hpp.
|
protected |
Integer coefficient for view.
Definition at line 85 of file int-dom.hpp.
|
protected |
Integer view.
Definition at line 87 of file int-dom.hpp.
|
protected |
Set of support for values in x.
Definition at line 89 of file int-dom.hpp.
|
protected |
Current value.
Definition at line 91 of file int-dom.hpp.
|
protected |
Position of current value.
Definition at line 93 of file int-dom.hpp.
|
protected |
Lower bound information for value.
Definition at line 95 of file int-dom.hpp.
|
protected |
Upper bound information for value.
Definition at line 97 of file int-dom.hpp.