Parma_Polyhedra_Library::Domain_Product< D1, D2 > Class Template Reference

This class is temporary and will be removed when template typedefs will be supported in C++. More...

#include <Partially_Reduced_Product_defs.hh>

Public Types
typedef Partially_Reduced_Product< D1, D2, No_Reduction< D1, D2 > >	Direct_Product
typedef Partially_Reduced_Product< D1, D2, Smash_Reduction< D1, D2 > >	Smash_Product
typedef Partially_Reduced_Product< D1, D2, Constraints_Reduction< D1, D2 > >	Constraints_Product
typedef Partially_Reduced_Product< D1, D2, Congruences_Reduction< D1, D2 > >	Congruences_Product
typedef Partially_Reduced_Product< D1, D2, Shape_Preserving_Reduction< D1, D2 > >	Shape_Preserving_Product

Detailed Description

template<typename D1, typename D2>
class Parma_Polyhedra_Library::Domain_Product< D1, D2 >

This class is temporary and will be removed when template typedefs will be supported in C++.

When template typedefs will be supported in C++, what now is verbosely denoted by Domain_Product<Domain1, Domain2>::Direct_Product will simply be denoted by Direct_Product<Domain1, Domain2>.

Definition at line 1666 of file Partially_Reduced_Product_defs.hh.

Member Typedef Documentation

template<typename D1 , typename D2 >

typedef Partially_Reduced_Product<D1, D2, Congruences_Reduction<D1, D2> > Parma_Polyhedra_Library::Domain_Product< D1, D2 >::Congruences_Product

Definition at line 1678 of file Partially_Reduced_Product_defs.hh.

template<typename D1 , typename D2 >

typedef Partially_Reduced_Product<D1, D2, Constraints_Reduction<D1, D2> > Parma_Polyhedra_Library::Domain_Product< D1, D2 >::Constraints_Product

Definition at line 1675 of file Partially_Reduced_Product_defs.hh.

template<typename D1 , typename D2 >

typedef Partially_Reduced_Product<D1, D2, No_Reduction<D1, D2> > Parma_Polyhedra_Library::Domain_Product< D1, D2 >::Direct_Product

Definition at line 1669 of file Partially_Reduced_Product_defs.hh.

template<typename D1 , typename D2 >

typedef Partially_Reduced_Product<D1, D2, Shape_Preserving_Reduction<D1, D2> > Parma_Polyhedra_Library::Domain_Product< D1, D2 >::Shape_Preserving_Product

Definition at line 1681 of file Partially_Reduced_Product_defs.hh.

template<typename D1 , typename D2 >

typedef Partially_Reduced_Product<D1, D2, Smash_Reduction<D1, D2> > Parma_Polyhedra_Library::Domain_Product< D1, D2 >::Smash_Product

Definition at line 1672 of file Partially_Reduced_Product_defs.hh.

---

The documentation for this class was generated from the following file:

• Partially_Reduced_Product_defs.hh