Parma_Polyhedra_Library::Grid::Status Class Reference

A conjunctive assertion about a grid. More...

List of all members.

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) 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


Detailed Description

A conjunctive assertion about a grid.

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 2027 of file Grid.defs.hh.


Member Typedef Documentation

typedef unsigned int Parma_Polyhedra_Library::Grid::Status::flags_t [private]

Status is implemented by means of a finite bitset.

Definition at line 2089 of file Grid.defs.hh.


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

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 (  ) 

bool Parma_Polyhedra_Library::Grid::Status::test_empty (  )  const

void Parma_Polyhedra_Library::Grid::Status::reset_empty (  ) 

void Parma_Polyhedra_Library::Grid::Status::set_empty (  ) 

bool Parma_Polyhedra_Library::Grid::Status::test_c_up_to_date (  )  const

void Parma_Polyhedra_Library::Grid::Status::reset_c_up_to_date (  ) 

void Parma_Polyhedra_Library::Grid::Status::set_c_up_to_date (  ) 

bool Parma_Polyhedra_Library::Grid::Status::test_g_up_to_date (  )  const

void Parma_Polyhedra_Library::Grid::Status::reset_g_up_to_date (  ) 

void Parma_Polyhedra_Library::Grid::Status::set_g_up_to_date (  ) 

bool Parma_Polyhedra_Library::Grid::Status::test_c_minimized (  )  const

void Parma_Polyhedra_Library::Grid::Status::reset_c_minimized (  ) 

void Parma_Polyhedra_Library::Grid::Status::set_c_minimized (  ) 

bool Parma_Polyhedra_Library::Grid::Status::test_g_minimized (  )  const

void Parma_Polyhedra_Library::Grid::Status::reset_g_minimized (  ) 

void Parma_Polyhedra_Library::Grid::Status::set_g_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

Checks if all the invariants are satisfied.

Referenced by Parma_Polyhedra_Library::Grid::OK().

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) 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.


Member Data Documentation

Definition at line 2093 of file Grid.defs.hh.

const flags_t Parma_Polyhedra_Library::Grid::Status::EMPTY = 1U << 0 [static, private]

Definition at line 2094 of file Grid.defs.hh.

Definition at line 2095 of file Grid.defs.hh.

Definition at line 2096 of file Grid.defs.hh.

Definition at line 2097 of file Grid.defs.hh.

Definition at line 2098 of file Grid.defs.hh.

Definition at line 2099 of file Grid.defs.hh.

Definition at line 2100 of file Grid.defs.hh.

Definition at line 2101 of file Grid.defs.hh.

Definition at line 2102 of file Grid.defs.hh.

This holds the current bitset.

Definition at line 2106 of file Grid.defs.hh.


The documentation for this class was generated from the following file:

Generated on Wed Jul 16 22:55:50 2008 for PPL by  doxygen 1.5.6