Public Member Functions | |
Status () | |
By default Status is the zero-dim universe assertion. | |
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<< . | |
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. | |
Test, remove or add an individual assertion from the conjunction | |
bool | test_zero_dim_univ () const |
void | reset_zero_dim_univ () |
void | set_zero_dim_univ () |
bool | test_empty () const |
void | reset_empty () |
void | set_empty () |
bool | test_c_up_to_date () const |
void | reset_c_up_to_date () |
void | set_c_up_to_date () |
bool | test_g_up_to_date () const |
void | reset_g_up_to_date () |
void | set_g_up_to_date () |
bool | test_c_minimized () const |
void | reset_c_minimized () |
void | set_c_minimized () |
bool | test_g_minimized () const |
void | reset_g_minimized () |
void | set_g_minimized () |
bool | test_sat_c_up_to_date () const |
void | reset_sat_c_up_to_date () |
void | set_sat_c_up_to_date () |
bool | test_sat_g_up_to_date () const |
void | reset_sat_g_up_to_date () |
void | set_sat_g_up_to_date () |
bool | test_c_pending () const |
void | reset_c_pending () |
void | set_c_pending () |
bool | test_g_pending () const |
void | reset_g_pending () |
void | set_g_pending () |
Private Types | |
typedef unsigned int | flags_t |
Status is implemented by means of a finite bitset. | |
Private Member Functions | |
Status (flags_t mask) | |
Construct from a bitmask. | |
bool | test_all (flags_t mask) const |
Check whether all bits in mask are set. | |
bool | test_any (flags_t mask) const |
Check whether at least one bit in mask is set. | |
void | set (flags_t mask) |
Set the bits in mask . | |
void | reset (flags_t mask) |
Reset the bits in mask . | |
Private Attributes | |
flags_t | flags |
This holds the current bitset. | |
Static Private Attributes | |
Bitmasks for the individual assertions | |
static const flags_t | ZERO_DIM_UNIV = 0U |
static const flags_t | EMPTY = 1U << 0 |
static const flags_t | C_UP_TO_DATE = 1U << 1 |
static const flags_t | G_UP_TO_DATE = 1U << 2 |
static const flags_t | C_MINIMIZED = 1U << 3 |
static const flags_t | G_MINIMIZED = 1U << 4 |
static const flags_t | SAT_C_UP_TO_DATE = 1U << 5 |
static const flags_t | SAT_G_UP_TO_DATE = 1U << 6 |
static const flags_t | CS_PENDING = 1U << 7 |
static const flags_t | GS_PENDING = 1U << 8 |
The assertions supported that are in use are:
Other supported assertions are:
Not all the conjunctions of these elementary assertions constitute a legal Status. In fact:
Definition at line 2224 of file Grid.defs.hh.
typedef unsigned int Parma_Polyhedra_Library::Grid::Status::flags_t [private] |
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.
bool Parma_Polyhedra_Library::Grid::Status::test_zero_dim_univ | ( | ) | const |
void Parma_Polyhedra_Library::Grid::Status::reset_zero_dim_univ | ( | ) |
void Parma_Polyhedra_Library::Grid::Status::set_zero_dim_univ | ( | ) |
Referenced by Parma_Polyhedra_Library::Grid::set_zero_dim_univ().
bool Parma_Polyhedra_Library::Grid::Status::test_empty | ( | ) | const |
Referenced by Parma_Polyhedra_Library::Grid::marked_empty().
void Parma_Polyhedra_Library::Grid::Status::reset_empty | ( | ) |
Referenced by Parma_Polyhedra_Library::Grid::clear_empty().
void Parma_Polyhedra_Library::Grid::Status::set_empty | ( | ) |
bool Parma_Polyhedra_Library::Grid::Status::test_c_up_to_date | ( | ) | const |
Referenced by Parma_Polyhedra_Library::Grid::congruences_are_up_to_date().
void Parma_Polyhedra_Library::Grid::Status::reset_c_up_to_date | ( | ) |
void Parma_Polyhedra_Library::Grid::Status::set_c_up_to_date | ( | ) |
Referenced by Parma_Polyhedra_Library::Grid::set_congruences_up_to_date().
bool Parma_Polyhedra_Library::Grid::Status::test_g_up_to_date | ( | ) | const |
Referenced by Parma_Polyhedra_Library::Grid::generators_are_up_to_date().
void Parma_Polyhedra_Library::Grid::Status::reset_g_up_to_date | ( | ) |
Referenced by Parma_Polyhedra_Library::Grid::clear_generators_up_to_date().
void Parma_Polyhedra_Library::Grid::Status::set_g_up_to_date | ( | ) |
Referenced by Parma_Polyhedra_Library::Grid::set_generators_up_to_date().
bool Parma_Polyhedra_Library::Grid::Status::test_c_minimized | ( | ) | const |
Referenced by Parma_Polyhedra_Library::Grid::congruences_are_minimized().
void Parma_Polyhedra_Library::Grid::Status::reset_c_minimized | ( | ) |
Referenced by Parma_Polyhedra_Library::Grid::clear_congruences_minimized().
void Parma_Polyhedra_Library::Grid::Status::set_c_minimized | ( | ) |
Referenced by Parma_Polyhedra_Library::Grid::set_congruences_minimized().
bool Parma_Polyhedra_Library::Grid::Status::test_g_minimized | ( | ) | const |
Referenced by Parma_Polyhedra_Library::Grid::generators_are_minimized().
void Parma_Polyhedra_Library::Grid::Status::reset_g_minimized | ( | ) |
Referenced by Parma_Polyhedra_Library::Grid::clear_generators_minimized().
void Parma_Polyhedra_Library::Grid::Status::set_g_minimized | ( | ) |
Referenced by Parma_Polyhedra_Library::Grid::set_generators_minimized().
bool Parma_Polyhedra_Library::Grid::Status::test_sat_c_up_to_date | ( | ) | const |
void Parma_Polyhedra_Library::Grid::Status::reset_sat_c_up_to_date | ( | ) |
void Parma_Polyhedra_Library::Grid::Status::set_sat_c_up_to_date | ( | ) |
bool Parma_Polyhedra_Library::Grid::Status::test_sat_g_up_to_date | ( | ) | const |
void Parma_Polyhedra_Library::Grid::Status::reset_sat_g_up_to_date | ( | ) |
void Parma_Polyhedra_Library::Grid::Status::set_sat_g_up_to_date | ( | ) |
bool Parma_Polyhedra_Library::Grid::Status::test_c_pending | ( | ) | const |
void Parma_Polyhedra_Library::Grid::Status::reset_c_pending | ( | ) |
void Parma_Polyhedra_Library::Grid::Status::set_c_pending | ( | ) |
bool Parma_Polyhedra_Library::Grid::Status::test_g_pending | ( | ) | const |
void Parma_Polyhedra_Library::Grid::Status::reset_g_pending | ( | ) |
void Parma_Polyhedra_Library::Grid::Status::set_g_pending | ( | ) |
bool Parma_Polyhedra_Library::Grid::Status::OK | ( | ) | const |
void Parma_Polyhedra_Library::Grid::Status::ascii_dump | ( | ) | const |
Writes to std::cerr
an ASCII representation of *this
.
Referenced by Parma_Polyhedra_Library::Grid::ascii_dump().
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::print | ( | ) | const |
Prints *this
to std::cerr
using operator<<
.
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.
Referenced by Parma_Polyhedra_Library::Grid::ascii_load().
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.
void Parma_Polyhedra_Library::Grid::Status::set | ( | flags_t | mask | ) | [private] |
Set the bits in mask
.
void Parma_Polyhedra_Library::Grid::Status::reset | ( | flags_t | mask | ) | [private] |
Reset the bits in mask
.
const flags_t Parma_Polyhedra_Library::Grid::Status::ZERO_DIM_UNIV = 0U [static, private] |
Definition at line 2290 of file Grid.defs.hh.
const flags_t Parma_Polyhedra_Library::Grid::Status::EMPTY = 1U << 0 [static, private] |
Definition at line 2291 of file Grid.defs.hh.
const flags_t Parma_Polyhedra_Library::Grid::Status::C_UP_TO_DATE = 1U << 1 [static, private] |
Definition at line 2292 of file Grid.defs.hh.
const flags_t Parma_Polyhedra_Library::Grid::Status::G_UP_TO_DATE = 1U << 2 [static, private] |
Definition at line 2293 of file Grid.defs.hh.
const flags_t Parma_Polyhedra_Library::Grid::Status::C_MINIMIZED = 1U << 3 [static, private] |
Definition at line 2294 of file Grid.defs.hh.
const flags_t Parma_Polyhedra_Library::Grid::Status::G_MINIMIZED = 1U << 4 [static, private] |
Definition at line 2295 of file Grid.defs.hh.
const flags_t Parma_Polyhedra_Library::Grid::Status::SAT_C_UP_TO_DATE = 1U << 5 [static, private] |
Definition at line 2296 of file Grid.defs.hh.
const flags_t Parma_Polyhedra_Library::Grid::Status::SAT_G_UP_TO_DATE = 1U << 6 [static, private] |
Definition at line 2297 of file Grid.defs.hh.
const flags_t Parma_Polyhedra_Library::Grid::Status::CS_PENDING = 1U << 7 [static, private] |
Definition at line 2298 of file Grid.defs.hh.
const flags_t Parma_Polyhedra_Library::Grid::Status::GS_PENDING = 1U << 8 [static, private] |
Definition at line 2299 of file Grid.defs.hh.