00001 /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> 00002 Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) 00003 00004 This file is free software; as a special exception the author gives 00005 unlimited permission to copy and/or distribute it, with or without 00006 modifications, as long as this notice is preserved. 00007 00008 This program is distributed in the hope that it will be useful, but 00009 WITHOUT ANY WARRANTY, to the extent permitted by law; without even the 00010 implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR 00011 PURPOSE. */ 00012 00013 #ifndef PPL_Coefficient_traits_template_hh 00014 #define PPL_Coefficient_traits_template_hh 1 00015 00016 namespace Parma_Polyhedra_Library { 00017 00018 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS 00019 00020 00021 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) 00022 template <typename Coefficient> 00023 struct Coefficient_traits_template { 00024 }; 00025 00026 } // namespace Parma_Polyhedra_Library 00027 00028 #endif // !defined(PPL_Coefficient_traits_template_hh)
1.6.3