parma_polyhedra_library::Pointset_Powerset_C_Polyhedron_Iterator Class Reference
[Java Language Interface]

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

Inheritance diagram for parma_polyhedra_library::Pointset_Powerset_C_Polyhedron_Iterator:
Inheritance graph
[legend]
Collaboration diagram for parma_polyhedra_library::Pointset_Powerset_C_Polyhedron_Iterator:
Collaboration graph
[legend]

List of all members.

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.

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.

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.

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:
Generated on Sun Feb 27 16:23:05 2011 for PPL Java Language Interface by  doxygen 1.6.3