parma_polyhedra_library.Pointset_Powerset_Int8_Box_Iterator Class Reference

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

Inheritance diagram for parma_polyhedra_library.Pointset_Powerset_Int8_Box_Iterator:

Collaboration diagram for parma_polyhedra_library.Pointset_Powerset_Int8_Box_Iterator:

Public Member Functions
	Pointset_Powerset_Int8_Box_Iterator (Pointset_Powerset_Int8_Box_Iterator y)
native boolean	equals (Pointset_Powerset_Int8_Box_Iterator itr)
native void	next ()
native void	prev ()
native Int8_Box	get_disjunct ()
native void	free ()

Protected Member Functions
native void	finalize ()
Protected Member Functions inherited from parma_polyhedra_library.PPL_Object
	PPL_Object ()
	Builds an object that points to `null'. More...

Private Member Functions
	Pointset_Powerset_Int8_Box_Iterator ()
native void	build_ppl_object (Pointset_Powerset_Int8_Box obj)
native void	build_cpp_object (Pointset_Powerset_Int8_Box_Iterator y)

Detailed Description

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

Definition at line 30 of file Pointset_Powerset_Int8_Box_Iterator.java.

Constructor & Destructor Documentation

parma_polyhedra_library.Pointset_Powerset_Int8_Box_Iterator.Pointset_Powerset_Int8_Box_Iterator ( )

inlineprivate

Definition at line 32 of file Pointset_Powerset_Int8_Box_Iterator.java.

parma_polyhedra_library.Pointset_Powerset_Int8_Box_Iterator.Pointset_Powerset_Int8_Box_Iterator ( Pointset_Powerset_Int8_Box_Iterator  y )

inline

Definition at line 36 of file Pointset_Powerset_Int8_Box_Iterator.java.

References parma_polyhedra_library.Pointset_Powerset_Int8_Box_Iterator.build_cpp_object().

Member Function Documentation

native void parma_polyhedra_library.Pointset_Powerset_Int8_Box_Iterator.build_cpp_object ( Pointset_Powerset_Int8_Box_Iterator  y )

private

Referenced by parma_polyhedra_library.Pointset_Powerset_Int8_Box_Iterator.Pointset_Powerset_Int8_Box_Iterator().

native void parma_polyhedra_library.Pointset_Powerset_Int8_Box_Iterator.build_ppl_object ( Pointset_Powerset_Int8_Box  obj )

private

native boolean parma_polyhedra_library.Pointset_Powerset_Int8_Box_Iterator.equals

(

Pointset_Powerset_Int8_Box_Iterator

itr

)

native void parma_polyhedra_library.Pointset_Powerset_Int8_Box_Iterator.finalize ( )

protected

native void parma_polyhedra_library.Pointset_Powerset_Int8_Box_Iterator.free

(

)

native Int8_Box parma_polyhedra_library.Pointset_Powerset_Int8_Box_Iterator.get_disjunct

(

)

native void parma_polyhedra_library.Pointset_Powerset_Int8_Box_Iterator.next

(

)

native void parma_polyhedra_library.Pointset_Powerset_Int8_Box_Iterator.prev

(

)

---

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

• Pointset_Powerset_Int8_Box_Iterator.java