Namespace List

Here is a list of all namespaces with brief descriptions:

[detail level 1234]

▼NParma_Polyhedra_Library	The entire library is confined to this namespace
NBoundary_NS
NChecked	Types and functions implementing checked numbers
▼NImplementation	Implementation related data and functions
NBD_Shapes
NBoxes
NOctagonal_Shapes
NPointset_Powersets
NTermination
NWatchdog
▼NInterfaces	Data and functions related to language interfaces
NC	Data and functions related to the C language interface
NJava	Data and functions related to the Java language interface
NOCaml	Data and functions related to the OCaml language interface
▼NProlog	Data and functions related to the Prolog language interfaces
NCiao	Data and functions related to the Ciao Prolog language interface
NGNU	Data and functions related to the GNU Prolog language interface
NSICStus	Data and functions related to the SICStus language interface
NSWI	Data and functions related to the SWI-Prolog language interface
NXSB	Data and functions related to the XSB language interface
NYAP	Data and functions related to the YAP language interface
NInterval_NS
NIO_Operators	All input/output operators are confined to this namespace
Nstd	The standard C++ namespace