Class for storing values of already assigned views. More...
#include <val-set.hh>
Classes | |
class | Ranges |
Iterator over ranges. More... | |
Public Member Functions | |
ValSet (void) | |
Initialize. More... | |
void | add (Space &home, int v) |
Add value v to value set. More... | |
int | size (void) const |
Return size (number of values) More... | |
bool | empty (void) const |
Test whether set is empty. More... | |
int | min (void) const |
Return smallest value (provided the set is not empty) More... | |
int | max (void) const |
Return largest value (provided the set is not empty) More... | |
template<class View > | |
Iter::Ranges::CompareStatus | compare (View x) const |
Compare view x with value set. More... | |
template<class View > | |
bool | subset (View x) const |
Whether all values of x are included in the value set. More... | |
void | update (Space &home, bool share, ValSet &vs) |
Update value set during cloning. More... | |
void | flush (void) |
Flush entries. More... | |
void | dispose (Space &home) |
Dispose value set. More... | |
Protected Attributes | |
RangeList * | fst |
First element of range list. More... | |
RangeList * | lst |
Last element of range list. More... | |
int | n |
Number of stored values (integer precision is sufficient) More... | |
Class for storing values of already assigned views.
Definition at line 48 of file val-set.hh.
|
inline |
Initialize.
Definition at line 45 of file val-set.hpp.
|
inline |
Add value v to value set.
Definition at line 49 of file val-set.hpp.
|
inline |
Return size (number of values)
Definition at line 85 of file val-set.hpp.
|
inline |
Test whether set is empty.
Definition at line 90 of file val-set.hpp.
|
inline |
Return smallest value (provided the set is not empty)
Definition at line 95 of file val-set.hpp.
|
inline |
Return largest value (provided the set is not empty)
Definition at line 100 of file val-set.hpp.
|
inline |
Compare view x with value set.
Definition at line 166 of file val-set.hpp.
|
inline |
Whether all values of x are included in the value set.
Definition at line 176 of file val-set.hpp.
Update value set during cloning.
Definition at line 105 of file val-set.hpp.
|
inline |
Flush entries.
Definition at line 126 of file val-set.hpp.
|
inline |
Dispose value set.
Definition at line 131 of file val-set.hpp.
|
protected |
First element of range list.
Definition at line 51 of file val-set.hh.
|
protected |
Last element of range list.
Definition at line 53 of file val-set.hh.
|
protected |
Number of stored values (integer precision is sufficient)
Definition at line 55 of file val-set.hh.