The relation between a polyhedron and a generator. More...
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. | |
Static Public Attributes | |
| static final int | NOTHING = 0 |
| static final int | SUBSUMES = 1 |
Static Package Functions | |
| [static initializer] | |
The relation between a polyhedron and a generator.
This class implements conjunctions of assertions on the relation between a polyhedron and a generator.
1.6.3