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]

Static Private Member Functions

static native void initIDs ()

Private Attributes

int mask_value
 Holds the value of the possible relations.

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.

Definition at line 31 of file Poly_Con_Relation.java.


Constructor & Destructor Documentation

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().


Member Function Documentation

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().


Member Data Documentation

Definition at line 34 of file Poly_Con_Relation.java.

Definition at line 36 of file Poly_Con_Relation.java.

Holds the value of the possible relations.

Definition at line 40 of file Poly_Con_Relation.java.

Referenced by implies(), and Poly_Con_Relation().

Definition at line 33 of file Poly_Con_Relation.java.

Definition at line 37 of file Poly_Con_Relation.java.

Definition at line 35 of file Poly_Con_Relation.java.


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