parma_polyhedra_library.Poly_Con_Relation Class Reference

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

Public Member Functions
	Poly_Con_Relation (int val)
	Constructs from a integer value. More...
boolean	implies (Poly_Con_Relation y)
	True if and only if this implies y. More...

Static Public Member Functions
static Poly_Con_Relation	nothing ()
	The assertion that says nothing. More...
static Poly_Con_Relation	is_disjoint ()
	The polyhedron and the set of points satisfying the constraint are disjoint. More...
static Poly_Con_Relation	strictly_intersects ()
	The polyhedron intersects the set of points satisfying the constraint, but it is not included in it. More...
static Poly_Con_Relation	is_included ()
	The polyhedron is included in the set of points satisfying the constraint. More...
static Poly_Con_Relation	saturates ()
	The polyhedron is included in the set of points saturating the constraint. More...

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 Private Member Functions
static native void	initIDs ()

Private Attributes
int	mask_value
	Holds the value of the possible relations. More...

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.

Referenced by parma_polyhedra_library.Poly_Con_Relation.is_disjoint(), parma_polyhedra_library.Poly_Con_Relation.is_included(), parma_polyhedra_library.Poly_Con_Relation.nothing(), parma_polyhedra_library.Poly_Con_Relation.saturates(), and parma_polyhedra_library.Poly_Con_Relation.strictly_intersects().

Member Function Documentation

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 parma_polyhedra_library.Poly_Con_Relation.mask_value.

static native void parma_polyhedra_library.Poly_Con_Relation.initIDs ( )

staticprivate

static Poly_Con_Relation parma_polyhedra_library.Poly_Con_Relation.is_disjoint ( )

inlinestatic

The polyhedron and the set of points satisfying the constraint are disjoint.

Definition at line 56 of file Poly_Con_Relation.java.

References parma_polyhedra_library.Poly_Con_Relation.IS_DISJOINT, and parma_polyhedra_library.Poly_Con_Relation.Poly_Con_Relation().

static Poly_Con_Relation parma_polyhedra_library.Poly_Con_Relation.is_included ( )

inlinestatic

The polyhedron is included in the set of points satisfying the constraint.

Definition at line 72 of file Poly_Con_Relation.java.

References parma_polyhedra_library.Poly_Con_Relation.IS_INCLUDED, and parma_polyhedra_library.Poly_Con_Relation.Poly_Con_Relation().

static Poly_Con_Relation parma_polyhedra_library.Poly_Con_Relation.nothing ( )

inlinestatic

The assertion that says nothing.

Definition at line 48 of file Poly_Con_Relation.java.

References parma_polyhedra_library.Poly_Con_Relation.NOTHING, and parma_polyhedra_library.Poly_Con_Relation.Poly_Con_Relation().

static Poly_Con_Relation parma_polyhedra_library.Poly_Con_Relation.saturates ( )

inlinestatic

The polyhedron is included in the set of points saturating the constraint.

Definition at line 80 of file Poly_Con_Relation.java.

References parma_polyhedra_library.Poly_Con_Relation.Poly_Con_Relation(), and parma_polyhedra_library.Poly_Con_Relation.SATURATES.

static Poly_Con_Relation parma_polyhedra_library.Poly_Con_Relation.strictly_intersects ( )

inlinestatic

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 parma_polyhedra_library.Poly_Con_Relation.Poly_Con_Relation(), and parma_polyhedra_library.Poly_Con_Relation.STRICTLY_INTERSECTS.

Member Data Documentation

final int parma_polyhedra_library.Poly_Con_Relation.IS_DISJOINT = 1

static

Definition at line 34 of file Poly_Con_Relation.java.

Referenced by parma_polyhedra_library.Poly_Con_Relation.is_disjoint().

final int parma_polyhedra_library.Poly_Con_Relation.IS_INCLUDED = 4

static

Definition at line 36 of file Poly_Con_Relation.java.

Referenced by parma_polyhedra_library.Poly_Con_Relation.is_included().

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 parma_polyhedra_library.Poly_Con_Relation.implies().

final int parma_polyhedra_library.Poly_Con_Relation.NOTHING = 0

static

Definition at line 33 of file Poly_Con_Relation.java.

Referenced by parma_polyhedra_library.Poly_Con_Relation.nothing().

final int parma_polyhedra_library.Poly_Con_Relation.SATURATES = 8

static

Definition at line 37 of file Poly_Con_Relation.java.

Referenced by parma_polyhedra_library.Poly_Con_Relation.saturates().

final int parma_polyhedra_library.Poly_Con_Relation.STRICTLY_INTERSECTS = 2

static

Definition at line 35 of file Poly_Con_Relation.java.

Referenced by parma_polyhedra_library.Poly_Con_Relation.strictly_intersects().

---

The documentation for this class was generated from the following file:

• Poly_Con_Relation.java