Set for support information More...
#include <int-dom.hpp>
Public Member Functions | |
SupportSet (void) | |
Default constructor. More... | |
void | init (Region &r, unsigned int n) |
Initialize support set with cardinality n. More... | |
void | support (unsigned int i) |
Record that there is support at position i. More... | |
bool | supported (unsigned int i) const |
Check whether position. More... | |
ModEvent | tell (Space &home, IntView &x) const |
Perform tell according to recorded support information on. More... | |
Set for support information
Records supported positions of values such that with iteration the supported values can be reconstructed.
Definition at line 47 of file int-dom.hpp.
|
inline |
Default constructor.
Definition at line 167 of file int-dom.hpp.
|
inline |
Initialize support set with cardinality n.
Definition at line 169 of file int-dom.hpp.
|
inline |
Record that there is support at position i.
Definition at line 173 of file int-dom.hpp.
|
inline |
Perform tell according to recorded support information on.
Definition at line 197 of file int-dom.hpp.