Copy constructor.
basic_executor_type( const basic_executor_type & other); » more...
Move constructor.
basic_executor_type( basic_executor_type && other); » more...