implies(const Poly_Con_Relation &y) const | Parma_Polyhedra_Library::Poly_Con_Relation | [inline] |
is_disjoint() | Parma_Polyhedra_Library::Poly_Con_Relation | [inline, static] |
is_included() | Parma_Polyhedra_Library::Poly_Con_Relation | [inline, static] |
nothing() | Parma_Polyhedra_Library::Poly_Con_Relation | [inline, static] |
OK() const | Parma_Polyhedra_Library::Poly_Con_Relation | |
operator &&(const Poly_Con_Relation &x, const Poly_Con_Relation &y) | Parma_Polyhedra_Library::Poly_Con_Relation | [friend] |
operator!=(const Poly_Con_Relation &x, const Poly_Con_Relation &y) | Parma_Polyhedra_Library::Poly_Con_Relation | [friend] |
operator-(const Poly_Con_Relation &x, const Poly_Con_Relation &y) | Parma_Polyhedra_Library::Poly_Con_Relation | [friend] |
operator<<(std::ostream &s, const Poly_Con_Relation &r) | Parma_Polyhedra_Library::Poly_Con_Relation | [friend] |
operator==(const Poly_Con_Relation &x, const Poly_Con_Relation &y) | Parma_Polyhedra_Library::Poly_Con_Relation | [friend] |
saturates() | Parma_Polyhedra_Library::Poly_Con_Relation | [inline, static] |
strictly_intersects() | Parma_Polyhedra_Library::Poly_Con_Relation | [inline, static] |