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_distances_types_hh 00014 #define PPL_distances_types_hh 1 00015 00016 namespace Parma_Polyhedra_Library { 00017 00018 template <typename Temp> 00019 struct Rectilinear_Distance_Specialization; 00020 00021 template <typename Temp> 00022 struct Euclidean_Distance_Specialization; 00023 00024 template <typename Temp> 00025 struct L_Infinity_Distance_Specialization; 00026 00027 } // namespace Parma_Polyhedra_Library 00028 00029 #endif // !defined(PPL_distances_types_hh)
1.6.3