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