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

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:

• Poly_Con_Relation.java