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

#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 >

brief 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 167 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 716 of file Partially_Reduced_Product.inlines.hh.

00716                                    {
00717 }

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

Destructor.

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

00725                                     {
00726 }


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 720 of file Partially_Reduced_Product.inlines.hh.

00720                                                   {
00721 }


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

Generated on Sat Oct 11 10:41:14 2008 for PPL by  doxygen 1.5.6