Iterator over valid supports. More...
#include <extensional.hh>
Public Member Functions | |
ValidSupports (const Compact< View, pos > &p, CTAdvisor &a) | |
Initialize from initialized propagator. | |
ValidSupports (const TupleSet &ts, int i, View x) | |
Initialize during initialization. | |
void | operator++ (void) |
Move to next supports. | |
bool | operator() (void) const |
Whether there are still supports left. | |
const BitSetData * | supports (void) const |
Return supports. | |
int | val (void) const |
Return supported value. | |
Protected Member Functions | |
void | find (void) |
Find a new value (only for negative case) | |
Protected Attributes | |
const unsigned int | n_words |
Number of words. | |
int | max |
Maximal value. | |
ViewRanges< View > | xr |
Range iterator. | |
const Range * | sr |
Support iterator. | |
const Range * | lst |
The last range. | |
int | n |
The value. | |
const BitSetData * | s |
The value's support. | |
Iterator over valid supports.
Definition at line 397 of file extensional.hh.
|
inline |
Initialize from initialized propagator.
Definition at line 209 of file compact.hpp.
|
inline |
Initialize during initialization.
Definition at line 224 of file compact.hpp.
|
inlineprotected |
Find a new value (only for negative case)
Definition at line 179 of file compact.hpp.
|
inline |
Move to next supports.
Definition at line 239 of file compact.hpp.
|
inline |
Whether there are still supports left.
Definition at line 266 of file compact.hpp.
|
inline |
Return supports.
Definition at line 271 of file compact.hpp.
|
inline |
Return supported value.
Definition at line 277 of file compact.hpp.
|
protected |
Number of words.
Definition at line 400 of file extensional.hh.
|
protected |
Maximal value.
Definition at line 402 of file extensional.hh.
|
protected |
Range iterator.
Definition at line 404 of file extensional.hh.
|
protected |
Support iterator.
Definition at line 406 of file extensional.hh.
|
protected |
The last range.
Definition at line 408 of file extensional.hh.
|
protected |
The value.
Definition at line 410 of file extensional.hh.
|
protected |
The value's support.
Definition at line 412 of file extensional.hh.