#include <ExecutorResourceMgrCommon.h>
Definition at line 51 of file ExecutorResourceMgrCommon.h.
ExecutorResourceMgr_Namespace::QueryNeedsTooMuchBufferPoolMem::QueryNeedsTooMuchBufferPoolMem |
( |
const size_t |
max_buffer_pool_mem, |
|
|
const size_t |
requested_buffer_pool_mem, |
|
|
const ExecutorDeviceType |
device_type |
|
) |
| |
|
inline |
Definition at line 53 of file ExecutorResourceMgrCommon.h.
60 ") in executor resource pool") {}
std::string get_device_type_string(const ExecutorDeviceType device_type)
std::string ExecutorResourceMgr_Namespace::QueryNeedsTooMuchBufferPoolMem::get_device_type_string |
( |
const ExecutorDeviceType |
device_type | ) |
|
|
inlineprivate |
The documentation for this class was generated from the following file: