Java class interfacing C++ Parma_Polyhedra_Library::Double_Box. More...
Inherits parma_polyhedra_library::PPL_Object.
List of all members.
Java class interfacing C++ Parma_Polyhedra_Library::Double_Box.