| PPL
    1.1
    | 
The relation between a polyhedron and a constraint. More...
#include <ppl.hh>
| Public Member Functions | |
| void | ascii_dump () const | 
| Writes to std::cerran ASCII representation of*this. | |
| void | ascii_dump (std::ostream &s) const | 
| Writes to san ASCII representation of*this. | |
| void | print () const | 
| Prints *thistostd::cerrusingoperator<<. | |
| bool | implies (const Poly_Con_Relation &y) const | 
| True if and only if *thisimpliesy. | |
| 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. | |
| Related Functions | |
| (Note that these are not member functions.) | |
| bool | operator== (const Poly_Con_Relation &x, const Poly_Con_Relation &y) | 
| True if and only if xandyare logically equivalent.  More... | |
| bool | operator!= (const Poly_Con_Relation &x, const Poly_Con_Relation &y) | 
| True if and only if xandyare not logically equivalent.  More... | |
| Poly_Con_Relation | operator&& (const Poly_Con_Relation &x, const Poly_Con_Relation &y) | 
| Yields the logical conjunction of xandy.  More... | |
| Poly_Con_Relation | operator- (const Poly_Con_Relation &x, const Poly_Con_Relation &y) | 
| Yields the assertion with all the conjuncts of xthat are not iny. | |
| std::ostream & | operator<< (std::ostream &s, const Poly_Con_Relation &r) | 
| Output operator.  More... | |
| bool | operator== (const Poly_Con_Relation &x, const Poly_Con_Relation &y) | 
| bool | operator!= (const Poly_Con_Relation &x, const Poly_Con_Relation &y) | 
| Poly_Con_Relation | operator&& (const Poly_Con_Relation &x, const Poly_Con_Relation &y) | 
| Poly_Con_Relation | operator- (const Poly_Con_Relation &x, const Poly_Con_Relation &y) | 
The relation between a polyhedron and a constraint.
This class implements conjunctions of assertions on the relation between a polyhedron and a constraint.
| 
 | 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 |