Public Member Functions | |
Poly_Gen_Relation (int val) | |
Constructs from a integer value. | |
boolean | implies (Poly_Gen_Relation y) |
True if and only if *this implies y . | |
Static Public Member Functions | |
static Poly_Gen_Relation | nothing () |
The assertion that says nothing. | |
static Poly_Gen_Relation | subsumes () |
Adding the generator would not change the polyhedron. |
This class implements conjunctions of assertions on the relation between a polyhedron and a generator.