Parma_Polyhedra_Library::Determinate< PH >::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>

Collaboration diagram for Parma_Polyhedra_Library::Determinate< PH >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >:

Collaboration graph
[legend]

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 PH>
template<typename Binary_Operator_Assign>
class Parma_Polyhedra_Library::Determinate< PH >::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 PH, producing the corresponding function object taking arguments of type Determinate<PH>.

The template parameter Binary_Operator_Assign is supposed to implement an apply and assign function, i.e., a function having signature void foo(PH& x, const PH& 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 194 of file Determinate.defs.hh.


Constructor & Destructor Documentation

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

Explicit unary constructor.

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

00257   : op_assign_(op_assign) {
00258 }


Member Function Documentation

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


Member Data Documentation

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


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

Generated on Wed Jul 16 22:55:51 2008 for PPL by  doxygen 1.5.6