PPL  1.2
namespaces.hh File Reference

Go to the source code of this file.

Namespaces

 Parma_Polyhedra_Library
 The entire library is confined to this namespace.
 
 Parma_Polyhedra_Library::IO_Operators
 All input/output operators are 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::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.
 
 std
 The standard C++ namespace.