A java.util.TreeSet of variables' indexes. More...
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 () |
A java.util.TreeSet of variables' indexes.
Definition at line 27 of file Variables_Set.java.
| parma_polyhedra_library::Variables_Set::Variables_Set | ( | ) | [inline] |
Builds the empty set of variable indexes.
Definition at line 30 of file Variables_Set.java.
| parma_polyhedra_library::Variables_Set::[static initializer] | ( | ) | [inline, static, package] |
| static native void parma_polyhedra_library::Variables_Set::initIDs | ( | ) | [static, private] |
1.6.3