00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
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 }
00037
00038 #endif // !defined(PPL_Partially_Reduced_Product_types_hh)