PPL  1.2
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.

ascii_dump() const Parma_Polyhedra_Library::Poly_Gen_Relation
ascii_dump(std::ostream &s) const Parma_Polyhedra_Library::Poly_Gen_Relation
EVERYTHINGParma_Polyhedra_Library::Poly_Gen_Relationprivatestatic
flagsParma_Polyhedra_Library::Poly_Gen_Relationprivate
flags_t typedefParma_Polyhedra_Library::Poly_Gen_Relationprivate
get_flags() const Parma_Polyhedra_Library::Poly_Gen_Relationinline
implies(flags_t x, flags_t y)Parma_Polyhedra_Library::Poly_Gen_Relationinlineprivatestatic
implies(const Poly_Gen_Relation &y) const Parma_Polyhedra_Library::Poly_Gen_Relationinline
NOTHINGParma_Polyhedra_Library::Poly_Gen_Relationprivatestatic
nothing()Parma_Polyhedra_Library::Poly_Gen_Relationinlinestatic
OK() const Parma_Polyhedra_Library::Poly_Gen_Relation
operator!=(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relationfriend
operator!=(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relationrelated
operator!=(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relationrelated
operator&&(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relationfriend
operator&&(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relationrelated
operator&&(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relationrelated
operator-(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relationfriend
operator-(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relationrelated
operator-(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relationrelated
operator<<(std::ostream &s, const Poly_Gen_Relation &r)Parma_Polyhedra_Library::Poly_Gen_Relationrelated
operator<<(std::ostream &s, const Poly_Gen_Relation &r)Parma_Polyhedra_Library::Poly_Gen_Relationrelated
operator==(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relationfriend
operator==(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relationrelated
operator==(const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)Parma_Polyhedra_Library::Poly_Gen_Relationrelated
Parma_Polyhedra_Library::IO_Operators::operator<<(std::ostream &s, const Poly_Gen_Relation &r)Parma_Polyhedra_Library::Poly_Gen_Relationfriend
Poly_Gen_Relation(flags_t mask)Parma_Polyhedra_Library::Poly_Gen_Relationinlineprivate
print() const Parma_Polyhedra_Library::Poly_Gen_Relation
SUBSUMESParma_Polyhedra_Library::Poly_Gen_Relationprivatestatic
subsumes()Parma_Polyhedra_Library::Poly_Gen_Relationinlinestatic