parma_polyhedra_library::Poly_Gen_Relation Class Reference
[C++ Language Interface]

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

List of all members.

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

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

References mask_value.

Referenced by nothing(), and subsumes().


Member Function Documentation

parma_polyhedra_library::Poly_Gen_Relation::[static initializer] (  )  [inline, static, package]
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 mask_value.

static native void parma_polyhedra_library::Poly_Gen_Relation::initIDs (  )  [static, private]
static Poly_Gen_Relation parma_polyhedra_library::Poly_Gen_Relation::nothing (  )  [inline, static]

The assertion that says nothing.

Definition at line 45 of file Poly_Gen_Relation.java.

References Poly_Gen_Relation().

static Poly_Gen_Relation parma_polyhedra_library::Poly_Gen_Relation::subsumes (  )  [inline, static]

Adding the generator would not change the polyhedron.

Definition at line 50 of file Poly_Gen_Relation.java.

References Poly_Gen_Relation().


Member Data Documentation

Holds the value of the possible relations.

Definition at line 37 of file Poly_Gen_Relation.java.

Referenced by implies(), and Poly_Gen_Relation().

Definition at line 33 of file Poly_Gen_Relation.java.

Definition at line 34 of file Poly_Gen_Relation.java.


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