PPL Java Language Interface
0.12.1
|
implies(Poly_Con_Relation y) | parma_polyhedra_library.Poly_Con_Relation | [inline] |
is_disjoint() | parma_polyhedra_library.Poly_Con_Relation | [inline, static] |
is_included() | parma_polyhedra_library.Poly_Con_Relation | [inline, static] |
nothing() | parma_polyhedra_library.Poly_Con_Relation | [inline, static] |
Poly_Con_Relation(int val) | parma_polyhedra_library.Poly_Con_Relation | [inline] |
saturates() | parma_polyhedra_library.Poly_Con_Relation | [inline, static] |
strictly_intersects() | parma_polyhedra_library.Poly_Con_Relation | [inline, static] |