PPL Java Language Interface 0.12
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(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]