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 |
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 1656 of file Partially_Reduced_Product.defs.hh.
| typedef Partially_Reduced_Product<D1, D2, Congruences_Reduction<D1, D2> > Parma_Polyhedra_Library::Domain_Product< D1, D2 >::Congruences_Product |
Definition at line 1668 of file Partially_Reduced_Product.defs.hh.
| typedef Partially_Reduced_Product<D1, D2, Constraints_Reduction<D1, D2> > Parma_Polyhedra_Library::Domain_Product< D1, D2 >::Constraints_Product |
Definition at line 1665 of file Partially_Reduced_Product.defs.hh.
| typedef Partially_Reduced_Product<D1, D2, No_Reduction<D1, D2> > Parma_Polyhedra_Library::Domain_Product< D1, D2 >::Direct_Product |
Definition at line 1659 of file Partially_Reduced_Product.defs.hh.
| typedef Partially_Reduced_Product<D1, D2, Shape_Preserving_Reduction<D1, D2> > Parma_Polyhedra_Library::Domain_Product< D1, D2 >::Shape_Preserving_Product |
Definition at line 1671 of file Partially_Reduced_Product.defs.hh.
| typedef Partially_Reduced_Product<D1, D2, Smash_Reduction<D1, D2> > Parma_Polyhedra_Library::Domain_Product< D1, D2 >::Smash_Product |
Definition at line 1662 of file Partially_Reduced_Product.defs.hh.
1.6.3