The relation between a polyhedron and a generator. More...
#include <Poly_Gen_Relation.defs.hh>
Public Member Functions | |
| flags_t | get_flags () const |
| Access the internal flags: this is needed for some language interfaces. | |
| 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 | implies (const Poly_Gen_Relation &y) const |
True if and only if *this implies y. | |
| bool | OK () const |
| Checks if all the invariants are satisfied. | |
Static Public Member Functions | |
| static Poly_Gen_Relation | nothing () |
| The assertion that says nothing. | |
| static Poly_Gen_Relation | subsumes () |
| Adding the generator would not change the polyhedron. | |
Private Types | |
| typedef unsigned int | flags_t |
| Poly_Gen_Relation is implemented by means of a finite bitset. | |
Private Member Functions | |
| Poly_Gen_Relation (flags_t mask) | |
| Construct from a bit-mask. | |
Static Private Member Functions | |
| static bool | implies (flags_t x, flags_t y) |
True if and only if the conjunction x implies the conjunction y. | |
Private Attributes | |
| flags_t | flags |
| This holds the current bitset. | |
Static Private Attributes | |
| static const flags_t | EVERYTHING = SUBSUMES |
| All assertions together. | |
Bit-masks for the individual assertions | |
| static const flags_t | NOTHING = 0U |
| static const flags_t | SUBSUMES = 1U << 0 |
Friends | |
| bool | operator== (const Poly_Gen_Relation &x, const Poly_Gen_Relation &y) |
True if and only if x and y are logically equivalent. | |
| bool | operator!= (const Poly_Gen_Relation &x, const Poly_Gen_Relation &y) |
True if and only if x and y are not logically equivalent. | |
| Poly_Gen_Relation | operator&& (const Poly_Gen_Relation &x, const Poly_Gen_Relation &y) |
Yields the logical conjunction of x and y. | |
| Poly_Gen_Relation | operator- (const Poly_Gen_Relation &x, const Poly_Gen_Relation &y) |
Yields the assertion with all the conjuncts of x that are not in y. | |
| std::ostream & | Parma_Polyhedra_Library::IO_Operators::operator<< (std::ostream &s, const Poly_Gen_Relation &r) |
Related Functions | |
(Note that these are not member functions.) | |
| std::ostream & | operator<< (std::ostream &s, const Poly_Gen_Relation &r) |
| Output operator. | |
The relation between a polyhedron and a generator.
This class implements conjunctions of assertions on the relation between a polyhedron and a generator.
Definition at line 73 of file Poly_Gen_Relation.defs.hh.
typedef unsigned int Parma_Polyhedra_Library::Poly_Gen_Relation::flags_t [private] |
Poly_Gen_Relation is implemented by means of a finite bitset.
Definition at line 76 of file Poly_Gen_Relation.defs.hh.
| Parma_Polyhedra_Library::Poly_Gen_Relation::Poly_Gen_Relation | ( | flags_t | mask | ) | [inline, private] |
Construct from a bit-mask.
Definition at line 30 of file Poly_Gen_Relation.inlines.hh.
Referenced by nothing(), and subsumes().
00031 : flags(mask) { 00032 }
| void Parma_Polyhedra_Library::Poly_Gen_Relation::ascii_dump | ( | std::ostream & | s | ) | const |
Writes to s an ASCII representation of *this.
Definition at line 35 of file Poly_Gen_Relation.cc.
| void Parma_Polyhedra_Library::Poly_Gen_Relation::ascii_dump | ( | ) | const |
Writes to std::cerr an ASCII representation of *this.
| Poly_Gen_Relation::flags_t Parma_Polyhedra_Library::Poly_Gen_Relation::get_flags | ( | ) | const [inline] |
Access the internal flags: this is needed for some language interfaces.
Definition at line 35 of file Poly_Gen_Relation.inlines.hh.
References flags.
00035 { 00036 return flags; 00037 }
| bool Parma_Polyhedra_Library::Poly_Gen_Relation::implies | ( | const Poly_Gen_Relation & | y | ) | const [inline] |
| bool Parma_Polyhedra_Library::Poly_Gen_Relation::implies | ( | flags_t | x, | |
| flags_t | y | |||
| ) | [inline, static, private] |
True if and only if the conjunction x implies the conjunction y.
Definition at line 50 of file Poly_Gen_Relation.inlines.hh.
Referenced by ascii_dump(), implies(), and Parma_Polyhedra_Library::Pointset_Powerset< PSET >::relation_with().
| Poly_Gen_Relation Parma_Polyhedra_Library::Poly_Gen_Relation::nothing | ( | ) | [inline, static] |
The assertion that says nothing.
Definition at line 40 of file Poly_Gen_Relation.inlines.hh.
References NOTHING, and Poly_Gen_Relation().
Referenced by Parma_Polyhedra_Library::Polyhedron::BFT00_poly_hull_assign_if_exact(), Parma_Polyhedra_Library::Polyhedron::BHRZ03_evolving_points(), Parma_Polyhedra_Library::Polyhedron::BHRZ03_evolving_rays(), Parma_Polyhedra_Library::Polyhedron::relation_with(), Parma_Polyhedra_Library::Pointset_Powerset< PSET >::relation_with(), Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >::relation_with(), Parma_Polyhedra_Library::Octagonal_Shape< T >::relation_with(), Parma_Polyhedra_Library::Grid::relation_with(), Parma_Polyhedra_Library::Box< ITV >::relation_with(), and Parma_Polyhedra_Library::BD_Shape< T >::relation_with().
00040 { 00041 return Poly_Gen_Relation(NOTHING); 00042 }
| bool Parma_Polyhedra_Library::Poly_Gen_Relation::OK | ( | ) | const |
Checks if all the invariants are satisfied.
Definition at line 64 of file Poly_Gen_Relation.cc.
| void Parma_Polyhedra_Library::Poly_Gen_Relation::print | ( | ) | const |
Prints *this to std::cerr using operator<<.
| Poly_Gen_Relation Parma_Polyhedra_Library::Poly_Gen_Relation::subsumes | ( | ) | [inline, static] |
Adding the generator would not change the polyhedron.
Definition at line 45 of file Poly_Gen_Relation.inlines.hh.
References Poly_Gen_Relation(), and SUBSUMES.
Referenced by Parma_Polyhedra_Library::Polyhedron::BFT00_poly_hull_assign_if_exact(), Parma_Polyhedra_Library::Polyhedron::BHZ09_C_poly_hull_assign_if_exact(), Parma_Polyhedra_Library::Polyhedron::BHZ09_NNC_poly_hull_assign_if_exact(), Parma_Polyhedra_Library::Polyhedron::relation_with(), Parma_Polyhedra_Library::Pointset_Powerset< PSET >::relation_with(), Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >::relation_with(), Parma_Polyhedra_Library::Octagonal_Shape< T >::relation_with(), Parma_Polyhedra_Library::Grid::relation_with(), Parma_Polyhedra_Library::Box< ITV >::relation_with(), and Parma_Polyhedra_Library::BD_Shape< T >::relation_with().
00045 { 00046 return Poly_Gen_Relation(SUBSUMES); 00047 }
| bool operator!= | ( | const Poly_Gen_Relation & | x, | |
| const Poly_Gen_Relation & | y | |||
| ) | [friend] |
True if and only if x and y are not logically equivalent.
Definition at line 67 of file Poly_Gen_Relation.inlines.hh.
| Poly_Gen_Relation operator&& | ( | const Poly_Gen_Relation & | x, | |
| const Poly_Gen_Relation & | y | |||
| ) | [friend] |
Yields the logical conjunction of x and y.
Definition at line 73 of file Poly_Gen_Relation.inlines.hh.
00073 { 00074 return Poly_Gen_Relation(x.flags | y.flags); 00075 }
| Poly_Gen_Relation operator- | ( | const Poly_Gen_Relation & | x, | |
| const Poly_Gen_Relation & | y | |||
| ) | [friend] |
Yields the assertion with all the conjuncts of x that are not in y.
Definition at line 79 of file Poly_Gen_Relation.inlines.hh.
00079 { 00080 return Poly_Gen_Relation(x.flags & ~y.flags); 00081 }
| std::ostream & operator<< | ( | std::ostream & | s, | |
| const Poly_Gen_Relation & | r | |||
| ) | [related] |
Output operator.
Definition at line 58 of file Poly_Gen_Relation.cc.
| bool operator== | ( | const Poly_Gen_Relation & | x, | |
| const Poly_Gen_Relation & | y | |||
| ) | [friend] |
True if and only if x and y are logically equivalent.
Definition at line 61 of file Poly_Gen_Relation.inlines.hh.
| std::ostream& Parma_Polyhedra_Library::IO_Operators::operator<< | ( | std::ostream & | s, | |
| const Poly_Gen_Relation & | r | |||
| ) | [friend] |
const flags_t Parma_Polyhedra_Library::Poly_Gen_Relation::EVERYTHING = SUBSUMES [static, private] |
All assertions together.
Definition at line 86 of file Poly_Gen_Relation.defs.hh.
This holds the current bitset.
Definition at line 89 of file Poly_Gen_Relation.defs.hh.
Referenced by ascii_dump(), get_flags(), and implies().
const flags_t Parma_Polyhedra_Library::Poly_Gen_Relation::NOTHING = 0U [static, private] |
Definition at line 80 of file Poly_Gen_Relation.defs.hh.
Referenced by ascii_dump(), and nothing().
const flags_t Parma_Polyhedra_Library::Poly_Gen_Relation::SUBSUMES = 1U << 0 [static, private] |
Definition at line 81 of file Poly_Gen_Relation.defs.hh.
Referenced by ascii_dump(), and subsumes().
1.6.3