1 /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> 2 Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com) 3 4 This file is free software; as a special exception the author gives 5 unlimited permission to copy and/or distribute it, with or without 6 modifications, as long as this notice is preserved. 7 8 This program is distributed in the hope that it will be useful, but 9 WITHOUT ANY WARRANTY, to the extent permitted by law; without even the 10 implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR 11 PURPOSE. */ 12 13 #ifndef PPL_Partially_Reduced_Product_types_hh 14 #define PPL_Partially_Reduced_Product_types_hh 1 15 16 namespace Parma_Polyhedra_Library { 17 18 template <typename D1, typename D2> 19 class Smash_Reduction; 20 21 template <typename D1, typename D2> 22 class Constraints_Reduction; 23 24 template <typename D1, typename D2> 25 class Congruences_Reduction; 26 27 template <typename D1, typename D2> 28 class Shape_Preserving_Reduction; 29 30 template <typename D1, typename D2> 31 class No_Reduction; 32 33 template <typename D1, typename D2, typename R> 34 class Partially_Reduced_Product; 35 36 } // namespace Parma_Polyhedra_Library 37 38 #endif // !defined(PPL_Partially_Reduced_Product_types_hh) 39