| PPL
    1.1
    | 
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()tow.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 vinto the set. | |
| bool | ascii_load (std::istream &s) | 
| Loads from san ASCII representation (as produced by ascii_dump(std::ostream&) const) and sets*thisaccordingly. Returnstrueif successful,falseotherwise. | |
| 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::cerran ASCII representation of*this. | |
| void | ascii_dump (std::ostream &s) const | 
| Writes to san ASCII representation of*this. | |
| void | print () const | 
| Prints *thistostd::cerrusingoperator<<. | |
| 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.