| 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] |
1.4.6-20060227