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] | |
Static Private Member Functions | |
| static native void | initIDs () |
Private Attributes | |
| int | mask_value |
| 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.
Definition at line 31 of file Poly_Gen_Relation.java.
| parma_polyhedra_library::Poly_Gen_Relation::Poly_Gen_Relation | ( | int | val | ) | [inline] |
Constructs from a integer value.
Definition at line 40 of file Poly_Gen_Relation.java.
References mask_value.
Referenced by nothing(), and subsumes().
| parma_polyhedra_library::Poly_Gen_Relation::[static initializer] | ( | ) | [inline, static, package] |
| boolean parma_polyhedra_library::Poly_Gen_Relation::implies | ( | Poly_Gen_Relation | y | ) | [inline] |
True if and only if *this implies y.
Definition at line 55 of file Poly_Gen_Relation.java.
References mask_value.
| static native void parma_polyhedra_library::Poly_Gen_Relation::initIDs | ( | ) | [static, private] |
| static Poly_Gen_Relation parma_polyhedra_library::Poly_Gen_Relation::nothing | ( | ) | [inline, static] |
The assertion that says nothing.
Definition at line 45 of file Poly_Gen_Relation.java.
References Poly_Gen_Relation().
| static Poly_Gen_Relation parma_polyhedra_library::Poly_Gen_Relation::subsumes | ( | ) | [inline, static] |
Adding the generator would not change the polyhedron.
Definition at line 50 of file Poly_Gen_Relation.java.
References Poly_Gen_Relation().
int parma_polyhedra_library::Poly_Gen_Relation::mask_value [private] |
Holds the value of the possible relations.
Definition at line 37 of file Poly_Gen_Relation.java.
Referenced by implies(), and Poly_Gen_Relation().
final int parma_polyhedra_library::Poly_Gen_Relation::NOTHING = 0 [static] |
Definition at line 33 of file Poly_Gen_Relation.java.
final int parma_polyhedra_library::Poly_Gen_Relation::SUBSUMES = 1 [static] |
Definition at line 34 of file Poly_Gen_Relation.java.
1.6.3