The relation between a polyhedron and a constraint. More...
Public Member Functions | |
| Poly_Con_Relation (int val) | |
| Constructs from a integer value. | |
| boolean | implies (Poly_Con_Relation y) |
True if and only if *this implies y. | |
Static Public Member Functions | |
| static Poly_Con_Relation | nothing () |
| The assertion that says nothing. | |
| static Poly_Con_Relation | is_disjoint () |
| The polyhedron and the set of points satisfying the constraint are disjoint. | |
| static Poly_Con_Relation | strictly_intersects () |
| The polyhedron intersects the set of points satisfying the constraint, but it is not included in it. | |
| static Poly_Con_Relation | is_included () |
| The polyhedron is included in the set of points satisfying the constraint. | |
| static Poly_Con_Relation | saturates () |
| The polyhedron is included in the set of points saturating the constraint. | |
Static Public Attributes | |
| static final int | NOTHING = 0 |
| static final int | IS_DISJOINT = 1 |
| static final int | STRICTLY_INTERSECTS = 2 |
| static final int | IS_INCLUDED = 4 |
| static final int | SATURATES = 8 |
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 constraint.
This class implements conjunctions of assertions on the relation between a polyhedron and a constraint.
Definition at line 31 of file Poly_Con_Relation.java.
| parma_polyhedra_library::Poly_Con_Relation::Poly_Con_Relation | ( | int | val | ) | [inline] |
Constructs from a integer value.
Definition at line 43 of file Poly_Con_Relation.java.
References mask_value.
Referenced by is_disjoint(), is_included(), nothing(), saturates(), and strictly_intersects().
| parma_polyhedra_library::Poly_Con_Relation::[static initializer] | ( | ) | [inline, static, package] |
| boolean parma_polyhedra_library::Poly_Con_Relation::implies | ( | Poly_Con_Relation | y | ) | [inline] |
True if and only if *this implies y.
Definition at line 85 of file Poly_Con_Relation.java.
References mask_value.
| static native void parma_polyhedra_library::Poly_Con_Relation::initIDs | ( | ) | [static, private] |
| static Poly_Con_Relation parma_polyhedra_library::Poly_Con_Relation::is_disjoint | ( | ) | [inline, static] |
The polyhedron and the set of points satisfying the constraint are disjoint.
Definition at line 56 of file Poly_Con_Relation.java.
References Poly_Con_Relation().
| static Poly_Con_Relation parma_polyhedra_library::Poly_Con_Relation::is_included | ( | ) | [inline, static] |
The polyhedron is included in the set of points satisfying the constraint.
Definition at line 72 of file Poly_Con_Relation.java.
References Poly_Con_Relation().
| static Poly_Con_Relation parma_polyhedra_library::Poly_Con_Relation::nothing | ( | ) | [inline, static] |
The assertion that says nothing.
Definition at line 48 of file Poly_Con_Relation.java.
References Poly_Con_Relation().
| static Poly_Con_Relation parma_polyhedra_library::Poly_Con_Relation::saturates | ( | ) | [inline, static] |
The polyhedron is included in the set of points saturating the constraint.
Definition at line 80 of file Poly_Con_Relation.java.
References Poly_Con_Relation().
| static Poly_Con_Relation parma_polyhedra_library::Poly_Con_Relation::strictly_intersects | ( | ) | [inline, static] |
The polyhedron intersects the set of points satisfying the constraint, but it is not included in it.
Definition at line 64 of file Poly_Con_Relation.java.
References Poly_Con_Relation().
final int parma_polyhedra_library::Poly_Con_Relation::IS_DISJOINT = 1 [static] |
Definition at line 34 of file Poly_Con_Relation.java.
final int parma_polyhedra_library::Poly_Con_Relation::IS_INCLUDED = 4 [static] |
Definition at line 36 of file Poly_Con_Relation.java.
int parma_polyhedra_library::Poly_Con_Relation::mask_value [private] |
Holds the value of the possible relations.
Definition at line 40 of file Poly_Con_Relation.java.
Referenced by implies(), and Poly_Con_Relation().
final int parma_polyhedra_library::Poly_Con_Relation::NOTHING = 0 [static] |
Definition at line 33 of file Poly_Con_Relation.java.
final int parma_polyhedra_library::Poly_Con_Relation::SATURATES = 8 [static] |
Definition at line 37 of file Poly_Con_Relation.java.
final int parma_polyhedra_library::Poly_Con_Relation::STRICTLY_INTERSECTS = 2 [static] |
Definition at line 35 of file Poly_Con_Relation.java.
1.6.3