PPL Java Language Interface  1.2
Public Member Functions | Static Private Member Functions | List of all members
parma_polyhedra_library.Variables_Set Class Reference

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

Inheritance diagram for parma_polyhedra_library.Variables_Set:
Inheritance graph
[legend]
Collaboration diagram for parma_polyhedra_library.Variables_Set:
Collaboration graph
[legend]

Public Member Functions

 Variables_Set ()
 Builds the empty set of variable indexes. More...
 

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

static native void parma_polyhedra_library.Variables_Set.initIDs ( )
staticprivate
The documentation for this class was generated from the following file: