| PPL Java Language Interface
    1.1
    | 
An iterator class for the disjuncts of a Pointset_Powerset_C_Polyhedron. More...
Inherits parma_polyhedra_library.PPL_Object.
| Public Member Functions | |
| Pointset_Powerset_C_Polyhedron_Iterator (Pointset_Powerset_C_Polyhedron_Iterator y) | |
| Builds a copy of iterator y. | |
| native boolean | equals (Pointset_Powerset_C_Polyhedron_Iterator itr) | 
| Returns trueif and only ifthisanditrare equal. | |
| native void | next () | 
| Modifies thisso that it refers to the next disjunct. | |
| native void | prev () | 
| Modifies thisso that it refers to the previous disjunct. | |
| native C_Polyhedron | get_disjunct () | 
| Returns the disjunct referenced by this.  More... | |
| native void | free () | 
| Releases resources and resets thisto a null reference. | |
| Protected Member Functions | |
| native void | finalize () | 
| Releases the resources managed by this. | |
|  Protected Member Functions inherited from parma_polyhedra_library.PPL_Object | |
| PPL_Object () | |
| Builds an object that points to `null'. | |
An iterator class for the disjuncts of a Pointset_Powerset_C_Polyhedron.
| native C_Polyhedron parma_polyhedra_library.Pointset_Powerset_C_Polyhedron_Iterator.get_disjunct | ( | ) | 
Returns the disjunct referenced by this.