parma_polyhedra_library::Variables_Set Class Reference

A java.util.TreeSet of variables' indexes. More...

List of all members.

Public Member Functions

 Variables_Set ()
 Builds the empty set of variable indexes.

Static Package Functions

 [static initializer]

Static Private Member Functions

static native void initIDs ()

Detailed Description

A java.util.TreeSet of variables' indexes.

Definition at line 27 of file Variables_Set.java.


Constructor & Destructor Documentation

parma_polyhedra_library::Variables_Set::Variables_Set (  )  [inline]

Builds the empty set of variable indexes.

Definition at line 30 of file Variables_Set.java.


Member Function Documentation

parma_polyhedra_library::Variables_Set::[static initializer] (  )  [inline, static, package]
static native void parma_polyhedra_library::Variables_Set::initIDs (  )  [static, private]

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