parma_polyhedra_library::Poly_Con_Relation Class Reference
[Java Language Interface]

The relation between a polyhedron and a constraint. More...

List of all members.

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]

Detailed Description

The relation between a polyhedron and a constraint.

This class implements conjunctions of assertions on the relation between a polyhedron and a constraint.


The documentation for this class was generated from the following file:
Generated on Sun Feb 27 16:11:49 2011 for PPL Configured Java Language Interface by  doxygen 1.6.3