00001 /* Documentation for used namespaces. 00002 Copyright (C) 2001-2006 Roberto Bagnara <bagnara@cs.unipr.it> 00003 00004 This file is part of the Parma Polyhedra Library (PPL). 00005 00006 The PPL is free software; you can redistribute it and/or modify it 00007 under the terms of the GNU General Public License as published by the 00008 Free Software Foundation; either version 2 of the License, or (at your 00009 option) any later version. 00010 00011 The PPL is distributed in the hope that it will be useful, but WITHOUT 00012 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 00013 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 00014 for more details. 00015 00016 You should have received a copy of the GNU General Public License 00017 along with this program; if not, write to the Free Software Foundation, 00018 Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. 00019 00020 For the most up-to-date information see the Parma Polyhedra Library 00021 site: http://www.cs.unipr.it/ppl/ . */ 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 } // namespace IO_Operators 00060 00061 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS 00063 00064 #endif // PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS 00065 namespace Checked { 00066 } // namespace Checked 00067 00068 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS 00070 00071 #endif // PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS 00072 namespace Implementation { 00073 } // namespace Implementation 00074 00075 00076 } // namespace Parma_Polyhedra_Library 00077 00078 00080 00096 namespace std { 00097 } // namespace std 00098 00099 00100 #endif // !defined(PPL_namespaces_hh)