PPL Configured Java Language Interface  1.2
parma_polyhedra_library.Pointset_Powerset_Uint64_Box_Iterator Class Reference

Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Uint64_Box>:: iterator. More...

Inherits parma_polyhedra_library.PPL_Object.

Public Member Functions

 Pointset_Powerset_Uint64_Box_Iterator (Pointset_Powerset_Uint64_Box_Iterator y)
 
native boolean equals (Pointset_Powerset_Uint64_Box_Iterator itr)
 
native void next ()
 
native void prev ()
 
native Uint64_Box get_disjunct ()
 
native void free ()
 

Protected Member Functions

native void finalize ()
 

Detailed Description

Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Uint64_Box>:: iterator.


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