parma_polyhedra_library.Poly_Gen_Relation Class Reference

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

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

Static Public Member Functions
static Poly_Gen_Relation	nothing ()
	The assertion that says nothing.
static Poly_Gen_Relation	subsumes ()
	Adding the generator would not change the polyhedron.

Static Public Attributes
static final int	NOTHING = 0
static final int	SUBSUMES = 1

Detailed Description

The relation between a polyhedron and a generator.

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

---

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

• Poly_Gen_Relation.java