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. | |
The relation between a polyhedron and a generator.
This class implements conjunctions of assertions on the relation between a polyhedron and a generator.
1.6.1-20091004