Parma_Polyhedra_Library::Grid::Status Class Reference
A conjunctive assertion about a grid.
More...
List of all members.
Detailed Description
A conjunctive assertion about a grid.
The assertions supported that are in use are:
- zero-dim universe: the grid is the zero-dimension vector space
;
- empty: the grid is the empty set;
- congruences up-to-date: the grid is correctly characterized by the attached system of congruences, modulo the processing of pending generators;
- generators up-to-date: the grid is correctly characterized by the attached system of generators, modulo the processing of pending congruences;
- congruences minimized: the non-pending part of the system of congruences attached to the grid is in minimal form;
- generators minimized: the non-pending part of the system of generators attached to the grid is in minimal form.
Other supported assertions are:
- congruences pending
- generators pending
- congruences' saturation matrix up-to-date
- generators' saturation matrix up-to-date.
Not all the conjunctions of these elementary assertions constitute a legal Status. In fact:
- zero-dim universe excludes any other assertion;
- empty: excludes any other assertion;
- congruences pending and generators pending are mutually exclusive;
- congruences pending implies both congruences minimized and generators minimized;
- generators pending implies both congruences minimized and generators minimized;
- congruences minimized implies congruences up-to-date;
- generators minimized implies generators up-to-date;
- congruences' saturation matrix up-to-date implies both congruences up-to-date and generators up-to-date;
- generators' saturation matrix up-to-date implies both congruences up-to-date and generators up-to-date.
Definition at line 72 of file Grid.defs.hh.
Member Typedef Documentation
Constructor & Destructor Documentation
| Parma_Polyhedra_Library::Grid::Status::Status |
( |
|
) |
|
By default Status is the zero-dim universe assertion.
| Parma_Polyhedra_Library::Grid::Status::Status |
( |
flags_t |
mask |
) |
[private] |
Construct from a bitmask.
Member Function Documentation
| void Parma_Polyhedra_Library::Grid::Status::ascii_dump |
( |
std::ostream & |
s |
) |
const |
Writes to s an ASCII representation of *this.
| void Parma_Polyhedra_Library::Grid::Status::ascii_dump |
( |
|
) |
const |
| bool Parma_Polyhedra_Library::Grid::Status::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.
| bool Parma_Polyhedra_Library::Grid::Status::OK |
( |
|
) |
const |
| void Parma_Polyhedra_Library::Grid::Status::print |
( |
|
) |
const |
Prints *this to std::cerr using operator<<.
| void Parma_Polyhedra_Library::Grid::Status::reset |
( |
flags_t |
mask |
) |
[private] |
| void Parma_Polyhedra_Library::Grid::Status::reset_c_minimized |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::reset_c_pending |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::reset_c_up_to_date |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::reset_empty |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::reset_g_minimized |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::reset_g_pending |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::reset_g_up_to_date |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::reset_sat_c_up_to_date |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::reset_sat_g_up_to_date |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::reset_zero_dim_univ |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::set |
( |
flags_t |
mask |
) |
[private] |
| void Parma_Polyhedra_Library::Grid::Status::set_c_minimized |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::set_c_pending |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::set_c_up_to_date |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::set_empty |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::set_g_minimized |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::set_g_pending |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::set_g_up_to_date |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::set_sat_c_up_to_date |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::set_sat_g_up_to_date |
( |
|
) |
|
| void Parma_Polyhedra_Library::Grid::Status::set_zero_dim_univ |
( |
|
) |
|
| bool Parma_Polyhedra_Library::Grid::Status::test_all |
( |
flags_t |
mask |
) |
const [private] |
Check whether all bits in mask are set.
| bool Parma_Polyhedra_Library::Grid::Status::test_any |
( |
flags_t |
mask |
) |
const [private] |
Check whether at least one bit in mask is set.
| bool Parma_Polyhedra_Library::Grid::Status::test_c_minimized |
( |
|
) |
const |
| bool Parma_Polyhedra_Library::Grid::Status::test_c_pending |
( |
|
) |
const |
| bool Parma_Polyhedra_Library::Grid::Status::test_c_up_to_date |
( |
|
) |
const |
| bool Parma_Polyhedra_Library::Grid::Status::test_empty |
( |
|
) |
const |
| bool Parma_Polyhedra_Library::Grid::Status::test_g_minimized |
( |
|
) |
const |
| bool Parma_Polyhedra_Library::Grid::Status::test_g_pending |
( |
|
) |
const |
| bool Parma_Polyhedra_Library::Grid::Status::test_g_up_to_date |
( |
|
) |
const |
| bool Parma_Polyhedra_Library::Grid::Status::test_sat_c_up_to_date |
( |
|
) |
const |
| bool Parma_Polyhedra_Library::Grid::Status::test_sat_g_up_to_date |
( |
|
) |
const |
| bool Parma_Polyhedra_Library::Grid::Status::test_zero_dim_univ |
( |
|
) |
const |
Member Data Documentation
This holds the current bitset.
Definition at line 81 of file Grid.defs.hh.
The documentation for this class was generated from the following file: