Public Member Functions | |
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 | |
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. |
This class implements conjunctions of assertions on the relation between a polyhedron and a constraint.
bool operator== | ( | const Poly_Con_Relation & | x, | |
const Poly_Con_Relation & | y | |||
) | [friend] |
True if and only if x
and y
are logically equivalent.
bool operator!= | ( | const Poly_Con_Relation & | x, | |
const Poly_Con_Relation & | y | |||
) | [friend] |
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 | |||
) | [friend] |
Yields the logical conjunction of x
and y
.
Poly_Con_Relation operator- | ( | const Poly_Con_Relation & | x, | |
const Poly_Con_Relation & | y | |||
) | [friend] |
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 | |||
) | [friend] |
Output operator.