| PPL Java Language Interface
    1.2
    | 
A java.util.TreeSet of variables' indexes. More...
Inherits TreeSet< Variable >.
| Public Member Functions | |
| Variables_Set () | |
| Builds the empty set of variable indexes. | |
A java.util.TreeSet of variables' indexes.