00001 /* Coefficient class declaration. 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_Coefficient_defs_hh 00024 #define PPL_Coefficient_defs_hh 1 00025 00026 #include "Coefficient.types.hh" 00027 #include <iosfwd> 00028 00029 #if defined(CHECKED_INTEGERS) || defined(NATIVE_INTEGERS) 00030 #include "Checked_Number.defs.hh" 00031 #include "checked_int.inlines.hh" 00032 #endif 00033 00034 #ifdef GMP_INTEGERS 00035 #include "GMP_Integer.defs.hh" 00036 #endif 00037 00038 namespace Parma_Polyhedra_Library { 00039 00040 Coefficient_traits::const_reference Coefficient_zero(); 00041 Coefficient_traits::const_reference Coefficient_one(); 00042 00043 } // namespace Parma_Polyhedra_Library 00044 00045 #include "Coefficient.inlines.hh" 00046 00047 #endif // !defined(PPL_Coefficient_defs_hh)