Parma_Polyhedra_Library::Determinate< PSET >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign > Class Template Reference
[C++ Language Interface]

A function adapter for the Determinate class. More...

#include <Determinate.defs.hh>

List of all members.

Public Member Functions

 Binary_Operator_Assign_Lifter (Binary_Operator_Assign op_assign)
 Explicit unary constructor.
void operator() (Determinate &x, const Determinate &y) const
 Function-application operator.

Private Attributes

Binary_Operator_Assign op_assign_
 The function object to be lifted.

Detailed Description

template<typename PSET>
template<typename Binary_Operator_Assign>
class Parma_Polyhedra_Library::Determinate< PSET >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >

A function adapter for the Determinate class.

It lifts a Binary_Operator_Assign function object, taking arguments of type PSET, producing the corresponding function object taking arguments of type Determinate<PSET>.

The template parameter Binary_Operator_Assign is supposed to implement an apply and assign function, i.e., a function having signature void foo(PSET& x, const PSET& y) that applies an operator to x and y and assigns the result to x. For instance, such a function object is obtained by std::mem_fun_ref(&C_Polyhedron::intersection_assign).

Definition at line 214 of file Determinate.defs.hh.


Constructor & Destructor Documentation

template<typename PSET >
template<typename Binary_Operator_Assign >
Parma_Polyhedra_Library::Determinate< PSET >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >::Binary_Operator_Assign_Lifter ( Binary_Operator_Assign  op_assign  )  [inline, explicit]

Explicit unary constructor.

Definition at line 275 of file Determinate.inlines.hh.

00276   : op_assign_(op_assign) {
00277 }


Member Function Documentation

template<typename PSET >
template<typename Binary_Operator_Assign >
void Parma_Polyhedra_Library::Determinate< PSET >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >::operator() ( Determinate x,
const Determinate y 
) const [inline]

Member Data Documentation

template<typename PSET>
template<typename Binary_Operator_Assign>
Binary_Operator_Assign Parma_Polyhedra_Library::Determinate< PSET >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >::op_assign_ [private]

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