Parma_Polyhedra_Library::No_Reduction< D1, D2 > Class Template Reference
[C++ Language Interface]

This class provides the reduction method for the Direct_Product domain. More...

#include <Partially_Reduced_Product.defs.hh>

List of all members.

Public Member Functions

 No_Reduction ()
 Default constructor.
void product_reduce (D1 &d1, D2 &d2)
 The null reduction operator.
 ~No_Reduction ()
 Destructor.

Detailed Description

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

This class provides the reduction method for the Direct_Product domain.

The reduction classes are used to instantiate the Partially_Reduced_Product domain template parameter R. This class does no reduction at all.

Definition at line 283 of file Partially_Reduced_Product.defs.hh.


Constructor & Destructor Documentation

template<typename D1 , typename D2 >
Parma_Polyhedra_Library::No_Reduction< D1, D2 >::No_Reduction (  )  [inline]

Default constructor.

Definition at line 747 of file Partially_Reduced_Product.inlines.hh.

00747                                    {
00748 }

template<typename D1 , typename D2 >
Parma_Polyhedra_Library::No_Reduction< D1, D2 >::~No_Reduction (  )  [inline]

Destructor.

Definition at line 756 of file Partially_Reduced_Product.inlines.hh.

00756                                     {
00757 }


Member Function Documentation

template<typename D1 , typename D2 >
void Parma_Polyhedra_Library::No_Reduction< D1, D2 >::product_reduce ( D1 &  d1,
D2 &  d2 
) [inline]

The null reduction operator.

The parameters d1 and d2 are ignored.

Definition at line 751 of file Partially_Reduced_Product.inlines.hh.

00751                                                   {
00752 }


The documentation for this class was generated from the following files:
Generated on Sun Feb 27 16:20:29 2011 for PPL by  doxygen 1.6.3