PPL
1.2
|
An std::set of variables' indexes. More...
#include <ppl.hh>
Inherits set< dimension_type >.
Public Member Functions | |
Variables_Set () | |
Builds the empty set of variable indexes. | |
Variables_Set (const Variable v) | |
Builds the singleton set of indexes containing v.id() ;. | |
Variables_Set (const Variable v, const Variable w) | |
Builds the set of variables's indexes in the range from v.id() to w.id() . More... | |
dimension_type | space_dimension () const |
Returns the dimension of the smallest vector space enclosing all the variables whose indexes are in the set. | |
void | insert (Variable v) |
Inserts the index of variable v into the set. | |
bool | ascii_load (std::istream &s) |
Loads from s an ASCII representation (as produced by ascii_dump(std::ostream&) const) and sets *this accordingly. Returns true if successful, false otherwise. | |
memory_size_type | total_memory_in_bytes () const |
Returns the total size in bytes of the memory occupied by *this . | |
memory_size_type | external_memory_in_bytes () const |
Returns the size in bytes of the memory managed by *this . | |
bool | OK () const |
Checks if all the invariants are satisfied. | |
void | ascii_dump () const |
Writes to std::cerr an ASCII representation of *this . | |
void | ascii_dump (std::ostream &s) const |
Writes to s an ASCII representation of *this . | |
void | print () const |
Prints *this to std::cerr using operator<< . | |
Static Public Member Functions | |
static dimension_type | max_space_dimension () |
Returns the maximum space dimension a Variables_Set can handle. | |
Related Functions | |
(Note that these are not member functions.) | |
std::ostream & | operator<< (std::ostream &s, const Variables_Set &vs) |
Output operator. More... | |
An std::set of variables' indexes.
Builds the set of variables's indexes in the range from v.id()
to w.id()
.
If v.id() <= w.id()
, this constructor builds the set of variables' indexes v.id()
, v.id()+1
, ..., w.id()
. The empty set is built otherwise.
|
related |
Output operator.