PPL 0.12
Parma_Polyhedra_Library::Poly_Con_Relation Member List
This is the complete list of members for Parma_Polyhedra_Library::Poly_Con_Relation, including all inherited members.
ascii_dump() const Parma_Polyhedra_Library::Poly_Con_Relation
ascii_dump(std::ostream &s) const Parma_Polyhedra_Library::Poly_Con_Relation
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 [related]
operator==(const Poly_Con_Relation &x, const Poly_Con_Relation &y)Parma_Polyhedra_Library::Poly_Con_Relation [friend]
print() const Parma_Polyhedra_Library::Poly_Con_Relation
saturates()Parma_Polyhedra_Library::Poly_Con_Relation [inline, static]
strictly_intersects()Parma_Polyhedra_Library::Poly_Con_Relation [inline, static]