Parma_Polyhedra_Library | The entire library is confined to this namespace |
Parma_Polyhedra_Library::Checked | Types and functions implementing checked numbers |
Parma_Polyhedra_Library::Implementation | Implementation related data and functions |
Parma_Polyhedra_Library::Implementation::Pointset_Powersets | |
Parma_Polyhedra_Library::Interfaces | Data and functions related to foreign language interfaces |
Parma_Polyhedra_Library::Interfaces::C | Data and functions related to the C foreign language interface |
Parma_Polyhedra_Library::Interfaces::Java | Data and functions related to the Java foreign language interface |
Parma_Polyhedra_Library::Interfaces::OCaml | Data and functions related to the OCaml foreign language interface |
Parma_Polyhedra_Library::Interfaces::Prolog | Data and functions related to the Prolog foreign language interfaces |
Parma_Polyhedra_Library::Interfaces::Prolog::Ciao | Data and functions related to the Ciao Prolog foreign language interface |
Parma_Polyhedra_Library::Interfaces::Prolog::GNU | Data and functions related to the GNU Prolog foreign language interface |
Parma_Polyhedra_Library::Interfaces::Prolog::SICStus | Data and functions related to the SICStus foreign language interface |
Parma_Polyhedra_Library::Interfaces::Prolog::SWI | Data and functions related to the SWI-Prolog foreign language interface |
Parma_Polyhedra_Library::Interfaces::Prolog::XSB | Data and functions related to the XSB foreign language interface |
Parma_Polyhedra_Library::Interfaces::Prolog::YAP | Data and functions related to the YAP foreign language interface |
Parma_Polyhedra_Library::Interval_NS | |
Parma_Polyhedra_Library::IO_Operators | All input/output operators are confined to this namespace |
std | The standard C++ namespace |