parma_polyhedra_library.Pointset_Powerset_C_Polyhedron_Iterator Class Reference
An iterator class for the disjuncts of a Pointset_Powerset_C_Polyhedron. More...
Inheritance diagram for parma_polyhedra_library.Pointset_Powerset_C_Polyhedron_Iterator:
Collaboration diagram for parma_polyhedra_library.Pointset_Powerset_C_Polyhedron_Iterator:
Public Member Functions | |
| Pointset_Powerset_C_Polyhedron_Iterator (Pointset_Powerset_C_Polyhedron_Iterator y) | |
Builds a copy of iterator y. More... | |
| native boolean | equals (Pointset_Powerset_C_Polyhedron_Iterator itr) |
Returns true if and only if this and itr are equal. More... | |
| native void | next () |
Modifies this so that it refers to the next disjunct. More... | |
| native void | prev () |
Modifies this so that it refers to the previous disjunct. More... | |
| native C_Polyhedron | get_disjunct () |
Returns the disjunct referenced by this. More... | |
| native void | free () |
Releases resources and resets this to a null reference. More... | |
Protected Member Functions | |
| native void | finalize () |
Releases the resources managed by this. More... | |
 Protected Member Functions inherited from parma_polyhedra_library.PPL_Object | |
| PPL_Object () | |
| Builds an object that points to `null'. More... | |
Detailed Description
An iterator class for the disjuncts of a Pointset_Powerset_C_Polyhedron.
Definition at line 1257 of file Fake_Class_for_Doxygen.java.
Constructor & Destructor Documentation
| parma_polyhedra_library.Pointset_Powerset_C_Polyhedron_Iterator.Pointset_Powerset_C_Polyhedron_Iterator | ( | Pointset_Powerset_C_Polyhedron_Iterator | y | ) |
Builds a copy of iterator y.
Member Function Documentation
| native boolean parma_polyhedra_library.Pointset_Powerset_C_Polyhedron_Iterator.equals | ( | Pointset_Powerset_C_Polyhedron_Iterator | itr | ) |
Returns true if and only if this and itr are equal.
|
protected |
Releases the resources managed by this.
| native void parma_polyhedra_library.Pointset_Powerset_C_Polyhedron_Iterator.free | ( | ) |
Releases resources and resets this to a null reference.
| native C_Polyhedron parma_polyhedra_library.Pointset_Powerset_C_Polyhedron_Iterator.get_disjunct | ( | ) |
Returns the disjunct referenced by this.
- Warning
- On exit, the C_Polyhedron disjunct is still owned by the powerset object: any function call on the owning powerset object may invalidate it. Moreover, the disjunct is meant to be immutable and should not be modified in any way (its resources will be released when deleting the owning powerset). If really needed, the disjunct may be copied into a new object, which will be under control of the user.
| native void parma_polyhedra_library.Pointset_Powerset_C_Polyhedron_Iterator.next | ( | ) |
Modifies this so that it refers to the next disjunct.
| native void parma_polyhedra_library.Pointset_Powerset_C_Polyhedron_Iterator.prev | ( | ) |
Modifies this so that it refers to the previous disjunct.
The documentation for this class was generated from the following file:
