00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023 #ifndef PPL_namespaces_hh
00024 #define PPL_namespaces_hh 1
00025
00027
00028 namespace Parma_Polyhedra_Library {
00029
00031
00058 namespace IO_Operators {
00059 }
00060
00061 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00063
00064 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00065 namespace Checked {
00066 }
00067
00068 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00070
00071 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00072 namespace Implementation {
00073 }
00074
00075 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00077
00078 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00079 namespace Interfaces {
00080
00081 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00083
00084 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00085 namespace C {
00086
00087 }
00088
00089 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00091
00092 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00093 namespace Java {
00094
00095 }
00096
00097 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00099
00100 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00101 namespace OCaml {
00102
00103 }
00104
00105 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00107
00108 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00109 namespace Prolog {
00110
00111 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00113
00114 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00115 namespace Ciao {
00116
00117 }
00118
00119 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00121
00122 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00123 namespace GNU {
00124
00125 }
00126
00127 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00129
00130 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00131 namespace SICStus {
00132
00133 }
00134
00135 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00137
00138 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00139 namespace SWI {
00140
00141 }
00142
00143 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00145
00146 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00147 namespace XSB {
00148
00149 }
00150
00151 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00153
00154 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00155 namespace YAP {
00156
00157 }
00158
00159 }
00160
00161 }
00162
00163 }
00164
00165
00167
00183 namespace std {
00184 }
00185
00186
00187 #endif // !defined(PPL_namespaces_hh)