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

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


Constructor & Destructor Documentation

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

Explicit unary constructor.

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

00271   : op_assign_(op_assign) {
00272 }


Member Function Documentation

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


Member Data Documentation

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


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

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