The relation between a polyhedron and a constraint. 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_Con_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_Con_Relation | nothing () |
| The assertion that says nothing. | |
| static Poly_Con_Relation | is_disjoint () |
| The polyhedron and the set of points satisfying the constraint are disjoint. | |
| static Poly_Con_Relation | strictly_intersects () |
| The polyhedron intersects the set of points satisfying the constraint, but it is not included in it. | |
| static Poly_Con_Relation | is_included () |
| The polyhedron is included in the set of points satisfying the constraint. | |
| static Poly_Con_Relation | saturates () |
| The polyhedron is included in the set of points saturating the constraint. | |
Friends | |
| Poly_Con_Relation | operator&& (const Poly_Con_Relation &x, const Poly_Con_Relation &y) |
Yields the logical conjunction of x and y. | |
The relation between a polyhedron and a constraint.
This class implements conjunctions of assertions on the relation between a polyhedron and a constraint.
| Poly_Gen_Relation operator&& | ( | const Poly_Con_Relation & | x, | |
| const Poly_Con_Relation & | y | |||
| ) | [friend] |
Yields the logical conjunction of x and y.
1.6.1-20091004