An iterator class for the disjuncts of a Pointset_Powerset_C_Polyhedron. More...


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. | |
| 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.
Definition at line 1257 of file Fake_Class_for_Doxygen.java.
| 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.
| 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.
| native void parma_polyhedra_library::Pointset_Powerset_C_Polyhedron_Iterator::finalize | ( | ) | [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.
| 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.
1.6.3