implies(Poly_Gen_Relation y) | parma_polyhedra_library::Poly_Gen_Relation | [inline] |
nothing() | parma_polyhedra_library::Poly_Gen_Relation | [inline, static] |
Poly_Gen_Relation(int val) | parma_polyhedra_library::Poly_Gen_Relation | [inline] |
subsumes() | parma_polyhedra_library::Poly_Gen_Relation | [inline, static] |