Namespace List

Here is a list of all namespaces with brief descriptions:

[detail level 1234]

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