Parma_Polyhedra_Library::Poly_Gen_Relation Member List

This is the complete list of members for Parma_Polyhedra_Library::Poly_Gen_Relation, including all inherited members.

implies(const Poly_Gen_Relation &y) const Parma_Polyhedra_Library::Poly_Gen_Relation [inline]
nothing()Parma_Polyhedra_Library::Poly_Gen_Relation [inline, static]
OK() const Parma_Polyhedra_Library::Poly_Gen_Relation
operator &&(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relation [friend]
operator!=(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relation [friend]
operator-(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relation [friend]
operator<<(std::ostream &s, const Poly_Gen_Relation &r)Parma_Polyhedra_Library::Poly_Gen_Relation [friend]
operator==(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relation [friend]
subsumes()Parma_Polyhedra_Library::Poly_Gen_Relation [inline, static]


Generated on Sat Oct 11 10:34:39 2008 for PPL by  doxygen 1.5.6