| PPL Java Language Interface
    1.1
    | 
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 thisimpliesy. | |
| 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. | |
The relation between a polyhedron and a constraint.
This class implements conjunctions of assertions on the relation between a polyhedron and a constraint.