|
using | pointer = T[] |
|
using | pointer |
|
|
| executor_deleter (std::shared_ptr< const Executor > exec) |
|
void | operator() (pointer ptr) const |
|
| executor_deleter (std::shared_ptr< const Executor > exec) |
| Creates a new deleter.
|
|
void | operator() (pointer ptr) const |
| Deletes the object.
|
|
◆ executor_deleter()
Creates a new deleter.
- Parameters
-
exec | the executor used to free the data |
◆ operator()()
Deletes the object.
- Parameters
-
ptr | pointer to the object being deleted |
The documentation for this class was generated from the following file: