PPL  0.12.1
Partially_Reduced_Product.types.hh
Go to the documentation of this file.
00001 /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
00002    Copyright (C) 2010-2012 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_Partially_Reduced_Product_types_hh
00014 #define PPL_Partially_Reduced_Product_types_hh 1
00015 
00016 namespace Parma_Polyhedra_Library {
00017 
00018 template <typename D1, typename D2>
00019 class Smash_Reduction;
00020 
00021 template <typename D1, typename D2>
00022 class Constraints_Reduction;
00023 
00024 template <typename D1, typename D2>
00025 class Congruences_Reduction;
00026 
00027 template <typename D1, typename D2>
00028 class Shape_Preserving_Reduction;
00029 
00030 template <typename D1, typename D2>
00031 class No_Reduction;
00032 
00033 template <typename D1, typename D2, typename R>
00034 class Partially_Reduced_Product;
00035 
00036 } // namespace Parma_Polyhedra_Library
00037 
00038 #endif // !defined(PPL_Partially_Reduced_Product_types_hh)