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.
|
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 x and y are logically equivalent.
|
| bool | operator!= (const Poly_Con_Relation &x, const Poly_Con_Relation &y) |
| | True if and only if x and y are not logically equivalent.
|
| Poly_Con_Relation | operator&& (const Poly_Con_Relation &x, const Poly_Con_Relation &y) |
| | Yields the logical conjunction of x and y.
|
|
Poly_Con_Relation | operator- (const Poly_Con_Relation &x, const Poly_Con_Relation &y) |
| | Yields the assertion with all the conjuncts of x that are not in y.
|
| std::ostream & | operator<< (std::ostream &s, const Poly_Con_Relation &r) |
| | Output operator.
|
| 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.