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