|
PPL
0.12.1
|
The relation between a polyhedron and a generator. More...
#include <ppl.hh>
Public Member Functions | |
| 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. | |
Related Functions | |
(Note that these are not member functions.) | |
| 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 & | operator<< (std::ostream &s, const Poly_Gen_Relation &r) |
| Output operator. | |
| bool | operator== (const Poly_Gen_Relation &x, const Poly_Gen_Relation &y) |
| bool | operator!= (const Poly_Gen_Relation &x, const Poly_Gen_Relation &y) |
| Poly_Gen_Relation | operator&& (const Poly_Gen_Relation &x, const Poly_Gen_Relation &y) |
| Poly_Gen_Relation | operator- (const Poly_Gen_Relation &x, const Poly_Gen_Relation &y) |
The relation between a polyhedron and a generator.
This class implements conjunctions of assertions on the relation between a polyhedron and a generator.
|
related |
True if and only if x and y are logically equivalent.
|
related |
True if and only if x and y are not logically equivalent.
|
related |
Yields the logical conjunction of x and y.
|
related |
Output operator.
|
related |
|
related |
|
related |
|
related |