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. | |
void | add (Space &home, int v) |
Add value v to value set. | |
int | size (void) const |
Return size (number of values) | |
bool | empty (void) const |
Test whether set is empty. | |
int | min (void) const |
Return smallest value (provided the set is not empty) | |
int | max (void) const |
Return largest value (provided the set is not empty) | |
template<class View> | |
Iter::Ranges::CompareStatus | compare (View x) const |
Compare view x with value set. | |
template<class View> | |
bool | subset (View x) const |
Whether all values of x are included in the value set. | |
void | update (Space &home, ValSet &vs) |
Update value set during cloning. | |
void | flush (void) |
Flush entries. | |
void | dispose (Space &home) |
Dispose value set. |
Protected Attributes | |
RangeList * | fst |
First element of range list. | |
RangeList * | lst |
Last element of range list. | |
int | n |
Number of stored values (integer precision is sufficient) |
Class for storing values of already assigned views.
Definition at line 44 of file val-set.hh.
|
inline |
Initialize.
Definition at line 41 of file val-set.hpp.
|
inline |
Add value v to value set.
Definition at line 45 of file val-set.hpp.
|
inline |
Return size (number of values)
Definition at line 81 of file val-set.hpp.
|
inline |
Test whether set is empty.
Definition at line 86 of file val-set.hpp.
|
inline |
Return smallest value (provided the set is not empty)
Definition at line 91 of file val-set.hpp.
|
inline |
Return largest value (provided the set is not empty)
Definition at line 96 of file val-set.hpp.
|
inline |
Compare view x with value set.
Definition at line 161 of file val-set.hpp.
Whether all values of x are included in the value set.
Definition at line 171 of file val-set.hpp.
Update value set during cloning.
Definition at line 101 of file val-set.hpp.
|
inline |
Flush entries.
Definition at line 121 of file val-set.hpp.
|
inline |
Dispose value set.
Definition at line 126 of file val-set.hpp.
|
protected |
First element of range list.
Definition at line 47 of file val-set.hh.
|
protected |
Last element of range list.
Definition at line 49 of file val-set.hh.
|
protected |
Number of stored values (integer precision is sufficient)
Definition at line 51 of file val-set.hh.