A conjunctive assertion about a polyhedron. More...

Public Member Functions
	Status ()
	By default Status is the zero-dim universe assertion. More...

bool	OK () const
	Checks if all the invariants are satisfied. More...

void	ascii_dump () const
	Writes to `std::cerr` an ASCII representation of `*this`. More...

void	ascii_dump (std::ostream &s) const
	Writes to `s` an ASCII representation of `*this`. More...

void	print () const
	Prints `*this` to `std::cerr` using `operator<<`. More...

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

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

Private Member Functions
	Status (flags_t mask)
	Construct from a bit-mask. More...

bool	test_all (flags_t mask) const
	Check whether all bits in `mask` are set. More...

bool	test_any (flags_t mask) const
	Check whether at least one bit in `mask` is set. More...

void	set (flags_t mask)
	Set the bits in `mask`. More...

void	reset (flags_t mask)
	Reset the bits in `mask`. More...

Private Attributes
flags_t	flags
	This holds the current bitset. More...

Static Private Attributes
Bit-masks 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

Related Functions
(Note that these are not member functions.)
bool	get_field (std::istream &s, const char *keyword, bool &positive)

Detailed Description

A conjunctive assertion about a polyhedron.

The assertions supported are:

zero-dim universe: the polyhedron is the zero-dimension vector space $\Rset^0 = \{\cdot\}$ ;
empty: the polyhedron is the empty set;
constraints pending: the polyhedron is correctly characterized by the attached system of constraints, which is split in two non-empty subsets: the already processed constraints, which are in minimal form, and the pending constraints, which still have to be processed and may thus be inconsistent or contain redundancies;
generators pending: the polyhedron is correctly characterized by the attached system of generators, which is split in two non-empty subsets: the already processed generators, which are in minimal form, and the pending generators, which still have to be processed and may thus contain redundancies;
constraints up-to-date: the polyhedron is correctly characterized by the attached system of constraints, modulo the processing of pending generators;
generators up-to-date: the polyhedron is correctly characterized by the attached system of generators, modulo the processing of pending constraints;
constraints minimized: the non-pending part of the system of constraints attached to the polyhedron is in minimal form;
generators minimized: the non-pending part of the system of generators attached to the polyhedron is in minimal form;
constraints' saturation matrix up-to-date: the attached saturation matrix having rows indexed by non-pending generators and columns indexed by non-pending constraints correctly expresses the saturation relation between the attached non-pending constraints and generators;
generators' saturation matrix up-to-date: the attached saturation matrix having rows indexed by non-pending constraints and columns indexed by non-pending generators correctly expresses the saturation relation between the attached non-pending constraints and generators;

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;
constraints pending and generators pending are mutually exclusive;
constraints pending implies both constraints minimized and generators minimized;
generators pending implies both constraints minimized and generators minimized;
constraints minimized implies constraints up-to-date;
generators minimized implies generators up-to-date;
constraints' saturation matrix up-to-date implies both constraints up-to-date and generators up-to-date;
generators' saturation matrix up-to-date implies both constraints up-to-date and generators up-to-date.

Definition at line 87 of file Polyhedron_defs.hh.

Member Typedef Documentation

typedef unsigned int Parma_Polyhedra_Library::Polyhedron::Status::flags_t

private

Status is implemented by means of a finite bitset.

Definition at line 149 of file Polyhedron_defs.hh.

Constructor & Destructor Documentation

Parma_Polyhedra_Library::Polyhedron::Status::Status ( )

inline

By default Status is the zero-dim universe assertion.

Definition at line 35 of file Ph_Status_inlines.hh.

36 : flags(ZERO_DIM_UNIV) {

37 }

Parma_Polyhedra_Library::Polyhedron::Status::ZERO_DIM_UNIV

static const flags_t ZERO_DIM_UNIV

Definition: Polyhedron_defs.hh:153

Parma_Polyhedra_Library::Polyhedron::Status::flags

flags_t flags

This holds the current bitset.

Definition: Polyhedron_defs.hh:166

Parma_Polyhedra_Library::Polyhedron::Status::Status ( flags_t mask )

inlineprivate

Construct from a bit-mask.

Definition at line 30 of file Ph_Status_inlines.hh.

31 : flags(mask) {

32 }

Parma_Polyhedra_Library::Polyhedron::Status::flags

flags_t flags

This holds the current bitset.

Definition: Polyhedron_defs.hh:166

Member Function Documentation

void Parma_Polyhedra_Library::Polyhedron::Status::ascii_dump ( ) const

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

void Parma_Polyhedra_Library::Polyhedron::Status::ascii_dump ( std::ostream & s ) const

Writes to s an ASCII representation of *this.

Definition at line 68 of file Ph_Status.cc.

References Parma_Polyhedra_Library::Implementation::BD_Shapes::empty, and Parma_Polyhedra_Library::Implementation::BD_Shapes::zero_dim_univ.

                                                    {
   s << (test_zero_dim_univ() ? '+' : '-') << zero_dim_univ << ' '
     << (test_empty() ? '+' : '-') << empty << ' '
     << ' '
     << (test_c_minimized() ? '+' : '-') << consys_min << ' '
     << (test_g_minimized() ? '+' : '-') << gensys_min << ' '
     << ' '
     << (test_c_up_to_date() ? '+' : '-') << consys_upd << ' '
     << (test_g_up_to_date() ? '+' : '-') << gensys_upd << ' '
     << ' '
     << (test_c_pending() ? '+' : '-') << consys_pending << ' '
     << (test_g_pending() ? '+' : '-') << gensys_pending << ' '
     << ' '
     << (test_sat_c_up_to_date() ? '+' : '-') << satc_upd << ' '
     << (test_sat_g_up_to_date() ? '+' : '-') << satg_upd << ' ';
 }

bool Parma_Polyhedra_Library::Polyhedron::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.

Definition at line 88 of file Ph_Status.cc.

References Parma_Polyhedra_Library::Implementation::BD_Shapes::empty, Parma_Polyhedra_Library::BD_Shape< T >::Status::get_field(), PPL_UNINITIALIZED, and Parma_Polyhedra_Library::Implementation::BD_Shapes::zero_dim_univ.

                                              {
   PPL_UNINITIALIZED(bool, positive);
 
   if (!get_field(s, zero_dim_univ, positive)) {
     return false;
   }
   if (positive) {
     set_zero_dim_univ();
   }
 
   if (!get_field(s, empty, positive)) {
     return false;
   }
   if (positive) {
     set_empty();
   }
 
   if (!get_field(s, consys_min, positive)) {
     return false;
   }
   if (positive) {
     set_c_minimized();
   }
   else {
     reset_c_minimized();
   }
 
   if (!get_field(s, gensys_min, positive)) {
     return false;
   }
   if (positive) {
     set_g_minimized();
   }
   else {
     reset_g_minimized();
   }
 
   if (!get_field(s, consys_upd, positive)) {
     return false;
   }
   if (positive) {
     set_c_up_to_date();
   }
   else {
     reset_c_up_to_date();
   }
 
   if (!get_field(s, gensys_upd, positive)) {
     return false;
   }
   if (positive) {
     set_g_up_to_date();
   }
   else {
     reset_g_up_to_date();
   }
 
   if (!get_field(s, consys_pending, positive)) {
     return false;
   }
   if (positive) {
     set_c_pending();
   }
   else {
     reset_c_pending();
   }
 
   if (!get_field(s, gensys_pending, positive)) {
     return false;
   }
   if (positive) {
     set_g_pending();
   }
   else {
     reset_g_pending();
   }
 
   if (!get_field(s, satc_upd, positive)) {
     return false;
   }
   if (positive) {
     set_sat_c_up_to_date();
   }
   else {
     reset_sat_c_up_to_date();
   }
 
   if (!get_field(s, satg_upd, positive)) {
     return false;
   }
   if (positive) {
     set_sat_g_up_to_date();
   }
   else {
     reset_sat_g_up_to_date();
   }
 
   // Check invariants.
   PPL_ASSERT(OK());
   return true;
 }

bool Parma_Polyhedra_Library::Polyhedron::Status::OK ( ) const

Checks if all the invariants are satisfied.

Definition at line 191 of file Ph_Status.cc.

References reset_empty(), and test_zero_dim_univ().

                               {
 #ifndef NDEBUG
   using std::endl;
   using std::cerr;
 #endif
 
   if (test_zero_dim_univ()) {
     // Zero-dim universe is OK.
     return true;
   }
 
   if (test_empty()) {
     Status copy = *this;
     copy.reset_empty();
     if (copy.test_zero_dim_univ()) {
       return true;
     }
     else {
 #ifndef NDEBUG
       cerr << "The empty flag is incompatible with any other one."
            << endl;
 #endif
       return false;
     }
   }
 
   if ((test_sat_c_up_to_date() || test_sat_g_up_to_date())
       && !(test_c_up_to_date() && test_g_up_to_date())) {
 #ifndef NDEBUG
     cerr <<
       "If a saturation matrix is up-to-date, constraints and\n"
       "generators have to be both up-to-date."
          << endl;
 #endif
     return false;
   }
 
   if (test_c_minimized() && !test_c_up_to_date()) {
 #ifndef NDEBUG
     cerr << "If constraints are minimized they must be up-to-date."
          << endl;
 #endif
     return false;
   }
 
   if (test_g_minimized() && !test_g_up_to_date()) {
 #ifndef NDEBUG
     cerr << "If generators are minimized they must be up-to-date."
          << endl;
 #endif
     return false;
   }
 
   if (test_c_pending() && test_g_pending()) {
 #ifndef NDEBUG
     cerr << "There cannot be both pending constraints and pending generators."
          << endl;
 #endif
     return false;
   }
 
   if (test_c_pending() || test_g_pending()) {
     if (!test_c_minimized() || !test_g_minimized()) {
 #ifndef NDEBUG
     cerr <<
       "If there are pending constraints or generators, constraints\n"
       "and generators must be minimized."
          << endl;
 #endif
       return false;
     }
 
     if (!test_sat_c_up_to_date() && !test_sat_g_up_to_date()) {
 #ifndef NDEBUG
     cerr <<
       "If there are pending constraints or generators, there must\n"
       "be at least a saturation matrix up-to-date."
          << endl;
 #endif
       return false;
     }
   }
 
   // Any other case is OK.
   return true;
 }

void Parma_Polyhedra_Library::Polyhedron::Status::print ( ) const

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

void Parma_Polyhedra_Library::Polyhedron::Status::reset ( flags_t mask )

inlineprivate

Reset the bits in mask.

Definition at line 55 of file Ph_Status_inlines.hh.

                                     {
   flags &= ~mask;
 }

void Parma_Polyhedra_Library::Polyhedron::Status::reset_c_minimized ( )

inline

Definition at line 130 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::clear_constraints_minimized().

                                     {
   reset(C_MINIMIZED);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::reset_c_pending ( )

inline

Definition at line 161 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::clear_pending_constraints().

                                   {
   reset(CS_PENDING);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::reset_c_up_to_date ( )

inline

Definition at line 100 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::clear_constraints_up_to_date().

                                      {
   reset(C_UP_TO_DATE);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::reset_empty ( )

inline

Definition at line 85 of file Ph_Status_inlines.hh.

References Parma_Polyhedra_Library::EMPTY.

Referenced by Parma_Polyhedra_Library::Polyhedron::clear_empty(), and OK().

                               {
   reset(EMPTY);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::reset_g_minimized ( )

inline

Definition at line 145 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::clear_generators_minimized().

                                     {
   reset(G_MINIMIZED);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::reset_g_pending ( )

inline

Definition at line 176 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::clear_pending_generators().

                                   {
   reset(GS_PENDING);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::reset_g_up_to_date ( )

inline

Definition at line 115 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::clear_generators_up_to_date().

                                      {
   reset(G_UP_TO_DATE);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::reset_sat_c_up_to_date ( )

inline

Definition at line 192 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::clear_sat_c_up_to_date().

                                          {
   reset(SAT_C_UP_TO_DATE);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::reset_sat_g_up_to_date ( )

inline

Definition at line 207 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::clear_sat_g_up_to_date().

                                          {
   reset(SAT_G_UP_TO_DATE);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::reset_zero_dim_univ ( )

inline

Definition at line 65 of file Ph_Status_inlines.hh.

References Parma_Polyhedra_Library::EMPTY.

                                       {
   // This is a no-op if the current status is not zero-dim.
   if (flags == ZERO_DIM_UNIV) {
     // In the zero-dim space, if it is not the universe it is empty.
     flags = EMPTY;
   }
 }

void Parma_Polyhedra_Library::Polyhedron::Status::set ( flags_t mask )

inlineprivate

Set the bits in mask.

Definition at line 50 of file Ph_Status_inlines.hh.

                                   {
   flags |= mask;
 }

void Parma_Polyhedra_Library::Polyhedron::Status::set_c_minimized ( )

inline

Definition at line 135 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::set_constraints_minimized().

                                   {
   set(C_MINIMIZED);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::set_c_pending ( )

inline

Definition at line 166 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::set_constraints_pending().

                                 {
   set(CS_PENDING);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::set_c_up_to_date ( )

inline

Definition at line 105 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::set_constraints_up_to_date().

                                    {
   set(C_UP_TO_DATE);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::set_empty ( )

inline

Definition at line 90 of file Ph_Status_inlines.hh.

References Parma_Polyhedra_Library::EMPTY.

Referenced by Parma_Polyhedra_Library::Polyhedron::Polyhedron().

                             {
   flags = EMPTY;
 }

void Parma_Polyhedra_Library::Polyhedron::Status::set_g_minimized ( )

inline

Definition at line 150 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::set_generators_minimized().

                                   {
   set(G_MINIMIZED);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::set_g_pending ( )

inline

Definition at line 181 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::set_generators_pending().

                                 {
   set(GS_PENDING);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::set_g_up_to_date ( )

inline

Definition at line 120 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::set_generators_up_to_date().

                                    {
   set(G_UP_TO_DATE);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::set_sat_c_up_to_date ( )

inline

Definition at line 197 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::set_sat_c_up_to_date().

                                        {
   set(SAT_C_UP_TO_DATE);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::set_sat_g_up_to_date ( )

inline

Definition at line 212 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::set_sat_g_up_to_date().

                                        {
   set(SAT_G_UP_TO_DATE);
 }

void Parma_Polyhedra_Library::Polyhedron::Status::set_zero_dim_univ ( )

inline

Definition at line 74 of file Ph_Status_inlines.hh.

                                     {
   // Zero-dim universe is incompatible with anything else.
   flags = ZERO_DIM_UNIV;
 }

bool Parma_Polyhedra_Library::Polyhedron::Status::test_all ( flags_t mask ) const

inlineprivate

Check whether all bits in mask are set.

Definition at line 40 of file Ph_Status_inlines.hh.

                                              {
   return (flags & mask) == mask;
 }

bool Parma_Polyhedra_Library::Polyhedron::Status::test_any ( flags_t mask ) const

inlineprivate

Check whether at least one bit in mask is set.

Definition at line 45 of file Ph_Status_inlines.hh.

                                              {
   return (flags & mask) != 0;
 }

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

inline

Definition at line 125 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::constraints_are_minimized().

                                          {
   return test_any(C_MINIMIZED);
 }

bool Parma_Polyhedra_Library::Polyhedron::Status::test_c_pending ( ) const

inline

Definition at line 156 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::has_pending_constraints(), and Parma_Polyhedra_Library::Polyhedron::has_something_pending().

                                        {
   return test_any(CS_PENDING);
 }

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

inline

Definition at line 95 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::constraints_are_up_to_date().

                                           {
   return test_any(C_UP_TO_DATE);
 }

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

inline

Definition at line 80 of file Ph_Status_inlines.hh.

References Parma_Polyhedra_Library::EMPTY.

Referenced by Parma_Polyhedra_Library::Polyhedron::marked_empty().

                                    {
   return test_any(EMPTY);
 }

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

inline

Definition at line 140 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::generators_are_minimized().

                                          {
   return test_any(G_MINIMIZED);
 }

bool Parma_Polyhedra_Library::Polyhedron::Status::test_g_pending ( ) const

inline

Definition at line 171 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::has_pending_generators(), and Parma_Polyhedra_Library::Polyhedron::has_something_pending().

                                        {
   return test_any(GS_PENDING);
 }

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

inline

Definition at line 110 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::generators_are_up_to_date().

                                           {
   return test_any(G_UP_TO_DATE);
 }

bool Parma_Polyhedra_Library::Polyhedron::Status::test_sat_c_up_to_date ( ) const

inline

Definition at line 187 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::sat_c_is_up_to_date().

                                               {
   return test_any(SAT_C_UP_TO_DATE);
 }

bool Parma_Polyhedra_Library::Polyhedron::Status::test_sat_g_up_to_date ( ) const

inline

Definition at line 202 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::sat_g_is_up_to_date().

                                               {
   return test_any(SAT_G_UP_TO_DATE);
 }

bool Parma_Polyhedra_Library::Polyhedron::Status::test_zero_dim_univ ( ) const

inline

Definition at line 60 of file Ph_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::add_space_dimensions_and_embed(), and OK().

                                            {
   return flags == ZERO_DIM_UNIV;
 }

Friends And Related Function Documentation

bool get_field	(	std::istream &	s,
		const char *	keyword,
		bool &	positive
	)

Reads a keyword and its associated on/off, +/- flag from s. Returns true if the operation is successful, returns false otherwise. When successful, positive is set to true if the flag is on; it is set to false otherwise.

Definition at line 54 of file Ph_Status.cc.

                                                               {
   std::string str;
   if (!(s >> str)
       || (str[0] != '+' && str[0] != '-')
       || str.substr(1) != keyword) {
     return false;
   }
   positive = (str[0] == '+');
   return true;
 }

Member Data Documentation

const flags_t Parma_Polyhedra_Library::Polyhedron::Status::C_MINIMIZED = 1U << 3

staticprivate

Definition at line 157 of file Polyhedron_defs.hh.

const flags_t Parma_Polyhedra_Library::Polyhedron::Status::C_UP_TO_DATE = 1U << 1

staticprivate

Definition at line 155 of file Polyhedron_defs.hh.

const flags_t Parma_Polyhedra_Library::Polyhedron::Status::CS_PENDING = 1U << 7

staticprivate

Definition at line 161 of file Polyhedron_defs.hh.

const flags_t Parma_Polyhedra_Library::Polyhedron::Status::EMPTY = 1U << 0

staticprivate

Definition at line 154 of file Polyhedron_defs.hh.

flags_t Parma_Polyhedra_Library::Polyhedron::Status::flags

private

This holds the current bitset.

Definition at line 166 of file Polyhedron_defs.hh.

const flags_t Parma_Polyhedra_Library::Polyhedron::Status::G_MINIMIZED = 1U << 4

staticprivate

Definition at line 158 of file Polyhedron_defs.hh.

const flags_t Parma_Polyhedra_Library::Polyhedron::Status::G_UP_TO_DATE = 1U << 2

staticprivate

Definition at line 156 of file Polyhedron_defs.hh.

const flags_t Parma_Polyhedra_Library::Polyhedron::Status::GS_PENDING = 1U << 8

staticprivate

Definition at line 162 of file Polyhedron_defs.hh.

const flags_t Parma_Polyhedra_Library::Polyhedron::Status::SAT_C_UP_TO_DATE = 1U << 5

staticprivate

Definition at line 159 of file Polyhedron_defs.hh.

const flags_t Parma_Polyhedra_Library::Polyhedron::Status::SAT_G_UP_TO_DATE = 1U << 6

staticprivate

Definition at line 160 of file Polyhedron_defs.hh.

const flags_t Parma_Polyhedra_Library::Polyhedron::Status::ZERO_DIM_UNIV = 0U

staticprivate

Definition at line 153 of file Polyhedron_defs.hh.

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

Public Member Functions

Private Types

Private Member Functions

Private Attributes

Static Private Attributes

Related Functions

Detailed Description

Member Typedef Documentation

Constructor & Destructor Documentation

Member Function Documentation

Friends And Related Function Documentation

Member Data Documentation