00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012 #ifndef PPL_Partially_Reduced_Product_types_hh
00013 #define PPL_Partially_Reduced_Product_types_hh 1
00014
00015 namespace Parma_Polyhedra_Library {
00016
00017 template <typename D1, typename D2>
00018 class Smash_Reduction;
00019
00020 template <typename D1, typename D2>
00021 class Constraints_Reduction;
00022
00023 template <typename D1, typename D2>
00024 class No_Reduction;
00025
00026 template <typename D1, typename D2, typename R>
00027 class Partially_Reduced_Product;
00028
00029 }
00030
00031 #endif // !defined(PPL_Partially_Reduced_Product_types_hh)