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

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

#include <Partially_Reduced_Product_defs.hh>

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

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 289 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 757 of file Partially_Reduced_Product_inlines.hh.

                                   {
}

template<typename D1 , typename D2 >

Parma_Polyhedra_Library::No_Reduction< D1, D2 >::~No_Reduction ( )

inline

Destructor.

Definition at line 766 of file Partially_Reduced_Product_inlines.hh.

                                    {
}

Member Function Documentation

template<typename D1 , typename D2 >

void Parma_Polyhedra_Library::No_Reduction< D1, D2 >::product_reduce	(	D1 &	d1,
		D2 &	d2
	)

The null reduction operator.

The parameters d1 and d2 are ignored.

Definition at line 761 of file Partially_Reduced_Product_inlines.hh.

                                                  {
}

---

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

• Partially_Reduced_Product_defs.hh
• Partially_Reduced_Product_inlines.hh