
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.