#include <Determinate.defs.hh>
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. |
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.
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 }
void Parma_Polyhedra_Library::Determinate< PS >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >::operator() | ( | Determinate & | x, | |
const Determinate & | y | |||
) | const [inline] |
Function-application operator.
Definition at line 278 of file Determinate.inlines.hh.
References Parma_Polyhedra_Library::Determinate< PS >::element(), and Parma_Polyhedra_Library::Determinate< PS >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >::op_assign_.
00278 { 00279 op_assign_(x.element(), y.element()); 00280 }
Binary_Operator_Assign Parma_Polyhedra_Library::Determinate< PS >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >::op_assign_ [private] |
The function object to be lifted.
Definition at line 214 of file Determinate.defs.hh.
Referenced by Parma_Polyhedra_Library::Determinate< PS >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >::operator()().