Main Page
Related Pages
Modules
Namespaces
Classes
Files
Namespace List
Namespace Members
Namespace List
Here is a list of all namespaces with brief descriptions:
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::Octagonal_Shapes
Parma_Polyhedra_Library::Implementation::Pointset_Powersets
Parma_Polyhedra_Library::Implementation::Termination
Parma_Polyhedra_Library::Interfaces
Data and functions related to language interfaces
Parma_Polyhedra_Library::Interfaces::C
Data and functions related to the
C
language interface
Parma_Polyhedra_Library::Interfaces::Java
Data and functions related to the
Java
language interface
Parma_Polyhedra_Library::Interfaces::OCaml
Data and functions related to the
OCaml
language interface
Parma_Polyhedra_Library::Interfaces::Prolog
Data and functions related to the
Prolog
language interfaces
Parma_Polyhedra_Library::Interfaces::Prolog::Ciao
Data and functions related to the
Ciao
Prolog
language interface
Parma_Polyhedra_Library::Interfaces::Prolog::GNU
Data and functions related to the
GNU
Prolog
language interface
Parma_Polyhedra_Library::Interfaces::Prolog::SICStus
Data and functions related to the
SICStus
language interface
Parma_Polyhedra_Library::Interfaces::Prolog::SWI
Data and functions related to the SWI-Prolog language interface
Parma_Polyhedra_Library::Interfaces::Prolog::XSB
Data and functions related to the
XSB
language interface
Parma_Polyhedra_Library::Interfaces::Prolog::YAP
Data and functions related to the
YAP
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
Generated on Sun Feb 27 16:20:16 2011 for PPL by
1.6.3