PPL Configured Java Language Interface 0.12.1
The relation between a polyhedron and a generator. More...
|Poly_Gen_Relation (int val)|
|Constructs from a integer value. |
|boolean||implies (Poly_Gen_Relation y)|
|True if and only if |
|static Poly_Gen_Relation||nothing ()|
|The assertion that says nothing. |
|static Poly_Gen_Relation||subsumes ()|
|Adding the generator would not change the polyhedron. |
|static final int||NOTHING = 0|
|static final int||SUBSUMES = 1|
|static native void||initIDs ()|
|Holds the value of the possible relations. |
The relation between a polyhedron and a generator.
This class implements conjunctions of assertions on the relation between a polyhedron and a generator.
Constructs from a integer value.
True if and only if
The assertion that says nothing.
Adding the generator would not change the polyhedron.
Holds the value of the possible relations.
Referenced by parma_polyhedra_library.Poly_Gen_Relation.nothing().
Referenced by parma_polyhedra_library.Poly_Gen_Relation.subsumes().