Parma_Polyhedra_Library::Box< ITV >::Status Class Reference

List of all members.

Public Member Functions

 Status ()
 By default Status is the empty set of assertion.
 Status (const Status &y)
 Ordinary copy-constructor.
template<typename Other_ITV>
 Status (const typename Box< Other_ITV >::Status &y)
 Copy-constructor from a box of different type.
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_empty_up_to_date () const
void reset_empty_up_to_date ()
void set_empty_up_to_date ()
bool test_empty () const
void reset_empty ()
void set_empty ()
bool test_universe () const
void reset_universe ()
void set_universe ()

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 bit-mask.
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

Bit-masks for the individual assertions.
static const flags_t NONE = 0U
static const flags_t EMPTY_UP_TO_DATE = 1U << 0
static const flags_t EMPTY = 1U << 1
static const flags_t UNIVERSE = 1U << 2


Detailed Description

template<typename ITV>
class Parma_Polyhedra_Library::Box< ITV >::Status

Definition at line 1583 of file Box.defs.hh.


Member Typedef Documentation

template<typename ITV>
typedef unsigned int Parma_Polyhedra_Library::Box< ITV >::Status::flags_t [private]

Status is implemented by means of a finite bitset.

Definition at line 1624 of file Box.defs.hh.


Constructor & Destructor Documentation

template<typename ITV>
Parma_Polyhedra_Library::Box< ITV >::Status::Status (  ) 

By default Status is the empty set of assertion.

template<typename ITV>
Parma_Polyhedra_Library::Box< ITV >::Status::Status ( const Status y  ) 

Ordinary copy-constructor.

template<typename ITV>
template<typename Other_ITV>
Parma_Polyhedra_Library::Box< ITV >::Status::Status ( const typename Box< Other_ITV >::Status y  )  [inline]

Copy-constructor from a box of different type.

template<typename ITV>
Parma_Polyhedra_Library::Box< ITV >::Status::Status ( flags_t  mask  )  [private]

Construct from a bit-mask.


Member Function Documentation

template<typename ITV>
bool Parma_Polyhedra_Library::Box< ITV >::Status::test_empty_up_to_date (  )  const

template<typename ITV>
void Parma_Polyhedra_Library::Box< ITV >::Status::reset_empty_up_to_date (  ) 

template<typename ITV>
void Parma_Polyhedra_Library::Box< ITV >::Status::set_empty_up_to_date (  ) 

template<typename ITV>
bool Parma_Polyhedra_Library::Box< ITV >::Status::test_empty (  )  const

template<typename ITV>
void Parma_Polyhedra_Library::Box< ITV >::Status::reset_empty (  ) 

template<typename ITV>
void Parma_Polyhedra_Library::Box< ITV >::Status::set_empty (  ) 

template<typename ITV>
bool Parma_Polyhedra_Library::Box< ITV >::Status::test_universe (  )  const

template<typename ITV>
void Parma_Polyhedra_Library::Box< ITV >::Status::reset_universe (  ) 

template<typename ITV>
void Parma_Polyhedra_Library::Box< ITV >::Status::set_universe (  ) 

template<typename ITV>
bool Parma_Polyhedra_Library::Box< ITV >::Status::OK (  )  const

Checks if all the invariants are satisfied.

template<typename ITV>
void Parma_Polyhedra_Library::Box< ITV >::Status::ascii_dump (  )  const

Writes to std::cerr an ASCII representation of *this.

Referenced by Parma_Polyhedra_Library::Box< ITV >::ascii_dump().

template<typename ITV>
void Parma_Polyhedra_Library::Box< ITV >::Status::ascii_dump ( std::ostream &  s  )  const

Writes to s an ASCII representation of *this.

template<typename ITV>
void Parma_Polyhedra_Library::Box< ITV >::Status::print (  )  const

Prints *this to std::cerr using operator<<.

template<typename ITV>
bool Parma_Polyhedra_Library::Box< ITV >::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::Box< ITV >::ascii_load().

template<typename ITV>
bool Parma_Polyhedra_Library::Box< ITV >::Status::test_all ( flags_t  mask  )  const [private]

Check whether all bits in mask are set.

template<typename ITV>
bool Parma_Polyhedra_Library::Box< ITV >::Status::test_any ( flags_t  mask  )  const [private]

Check whether at least one bit in mask is set.

template<typename ITV>
void Parma_Polyhedra_Library::Box< ITV >::Status::set ( flags_t  mask  )  [private]

Set the bits in mask.

template<typename ITV>
void Parma_Polyhedra_Library::Box< ITV >::Status::reset ( flags_t  mask  )  [private]

Reset the bits in mask.


Member Data Documentation

template<typename ITV>
const flags_t Parma_Polyhedra_Library::Box< ITV >::Status::NONE = 0U [static, private]

Definition at line 1628 of file Box.defs.hh.

template<typename ITV>
const flags_t Parma_Polyhedra_Library::Box< ITV >::Status::EMPTY_UP_TO_DATE = 1U << 0 [static, private]

Definition at line 1629 of file Box.defs.hh.

template<typename ITV>
const flags_t Parma_Polyhedra_Library::Box< ITV >::Status::EMPTY = 1U << 1 [static, private]

Definition at line 1630 of file Box.defs.hh.

template<typename ITV>
const flags_t Parma_Polyhedra_Library::Box< ITV >::Status::UNIVERSE = 1U << 2 [static, private]

Definition at line 1631 of file Box.defs.hh.

template<typename ITV>
flags_t Parma_Polyhedra_Library::Box< ITV >::Status::flags [private]

This holds the current bitset.

Definition at line 1635 of file Box.defs.hh.


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

Generated on Sat Oct 11 10:41:15 2008 for PPL by  doxygen 1.5.6