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`.

Detailed Description

An iterator class for the disjuncts of a Pointset_Powerset_C_Polyhedron.

Member Function Documentation

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.

The documentation for this class was generated from the following file: