Default constructor.

execution_state() = default;
  » more...

Copy constructor.

execution_state(
    const execution_state& other) = default;
  » more...

Move constructor.

execution_state(
    execution_state&& other) = default;
  » more...