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. More...
boolean	implies (Poly_Gen_Relation y)
	True if and only if this implies y. More...

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

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

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

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

Definition at line 31 of file Poly_Gen_Relation.java.

Constructor & Destructor Documentation

parma_polyhedra_library.Poly_Gen_Relation.Poly_Gen_Relation ( int  val )

inline

Constructs from a integer value.

Definition at line 40 of file Poly_Gen_Relation.java.

Referenced by parma_polyhedra_library.Poly_Gen_Relation.nothing(), and parma_polyhedra_library.Poly_Gen_Relation.subsumes().

Member Function Documentation

boolean parma_polyhedra_library.Poly_Gen_Relation.implies ( Poly_Gen_Relation  y )

inline

True if and only if this implies y.

Definition at line 55 of file Poly_Gen_Relation.java.

References parma_polyhedra_library.Poly_Gen_Relation.mask_value.

static native void parma_polyhedra_library.Poly_Gen_Relation.initIDs ( )

staticprivate

static Poly_Gen_Relation parma_polyhedra_library.Poly_Gen_Relation.nothing ( )

inlinestatic

The assertion that says nothing.

Definition at line 45 of file Poly_Gen_Relation.java.

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

static Poly_Gen_Relation parma_polyhedra_library.Poly_Gen_Relation.subsumes ( )

inlinestatic

Adding the generator would not change the polyhedron.

Definition at line 50 of file Poly_Gen_Relation.java.

References parma_polyhedra_library.Poly_Gen_Relation.Poly_Gen_Relation(), and parma_polyhedra_library.Poly_Gen_Relation.SUBSUMES.

Member Data Documentation

int parma_polyhedra_library.Poly_Gen_Relation.mask_value

private

Holds the value of the possible relations.

Definition at line 37 of file Poly_Gen_Relation.java.

Referenced by parma_polyhedra_library.Poly_Gen_Relation.implies().

final int parma_polyhedra_library.Poly_Gen_Relation.NOTHING = 0

static

Definition at line 33 of file Poly_Gen_Relation.java.

Referenced by parma_polyhedra_library.Poly_Gen_Relation.nothing().

final int parma_polyhedra_library.Poly_Gen_Relation.SUBSUMES = 1

static

Definition at line 34 of file Poly_Gen_Relation.java.

Referenced by parma_polyhedra_library.Poly_Gen_Relation.subsumes().

---

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

• Poly_Gen_Relation.java