|
PPL Java Language Interface
1.2
|
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 true if and only if this and itr are equal. | |
| native void | next () |
Modifies this so that it refers to the next disjunct. | |
| native void | prev () |
Modifies this so 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 this to a null reference. | |
Protected Member Functions | |
| native void | finalize () |
Releases the resources managed by this. | |
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.