PPL Configured Java Language Interface
1.2
|
Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Rational_Box>:: iterator. More...
Inherits parma_polyhedra_library.PPL_Object.
Public Member Functions | |
Pointset_Powerset_Rational_Box_Iterator (Pointset_Powerset_Rational_Box_Iterator y) | |
native boolean | equals (Pointset_Powerset_Rational_Box_Iterator itr) |
native void | next () |
native void | prev () |
native Rational_Box | get_disjunct () |
native void | free () |
Protected Member Functions | |
native void | finalize () |
Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Rational_Box>:: iterator.