A function adapter for the Determinate class. More...
#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. | |
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.
| 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 }
| void Parma_Polyhedra_Library::Determinate< PSET >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >::operator() | ( | Determinate & | x, | |
| const Determinate & | y | |||
| ) | const [inline] |
Function-application operator.
Definition at line 283 of file Determinate.inlines.hh.
References Parma_Polyhedra_Library::Determinate< PSET >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >::op_assign_, and Parma_Polyhedra_Library::Determinate< PSET >::pointset().
00283 { 00284 op_assign_(x.pointset(), y.pointset()); 00285 }
Binary_Operator_Assign Parma_Polyhedra_Library::Determinate< PSET >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >::op_assign_ [private] |
The function object to be lifted.
Definition at line 225 of file Determinate.defs.hh.
Referenced by Parma_Polyhedra_Library::Determinate< PSET >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >::operator()().
1.6.3