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.
|
Detailed Description
A java.util.TreeSet of variables' indexes.
The documentation for this class was generated from the following file: