00001 /* Declaration of macros and functions providing version -*- C++ -*- 00002 and licensing information. 00003 Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> 00004 Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) 00005 00006 This file is part of the Parma Polyhedra Library (PPL). 00007 00008 The PPL is free software; you can redistribute it and/or modify it 00009 under the terms of the GNU General Public License as published by the 00010 Free Software Foundation; either version 3 of the License, or (at your 00011 option) any later version. 00012 00013 The PPL is distributed in the hope that it will be useful, but WITHOUT 00014 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 00015 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 00016 for more details. 00017 00018 You should have received a copy of the GNU General Public License 00019 along with this program; if not, write to the Free Software Foundation, 00020 Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. 00021 00022 For the most up-to-date information see the Parma Polyhedra Library 00023 site: http://www.cs.unipr.it/ppl/ . */ 00024 00025 #ifndef PPL_version_hh 00026 #define PPL_version_hh 1 00027 00029 00030 #define PPL_VERSION_MAJOR 0 00031 00033 00034 #define PPL_VERSION_MINOR 11 00035 00037 00038 #define PPL_VERSION_REVISION 2 00039 00045 #define PPL_VERSION_BETA 0 00046 00048 00059 #define PPL_VERSION "0.11.2" 00060 00061 namespace Parma_Polyhedra_Library { 00062 00064 unsigned 00065 version_major(); 00066 00068 unsigned 00069 version_minor(); 00070 00072 unsigned 00073 version_revision(); 00074 00076 unsigned 00077 version_beta(); 00078 00080 const char* version(); 00081 00083 00089 const char* banner(); 00090 00091 } // namespace Parma_Polyhedra_Library 00092 00093 #endif // !defined(PPL_version_hh)
1.6.3