hpx::supervision::is_valid_transition

Defined in header hpx/supervision.hpp.

See Public API for a list of names and headers that are part of the public HPX API.

See also:

• hpx::supervision::publish_event

• hpx::supervision::query_state

• hpx::supervision::register_observer

• hpx::supervision::unregister_observer

• hpx::supervision::remove_target

• hpx::supervision::register_activity_observer

• hpx::supervision::unregister_activity_observer

• hpx::supervision::check_admission

• hpx::supervision::await_terminal

bool hpx::supervision::is_valid_transition(event from, event to) noexcept

Determine whether transitioning from lifecycle event from to lifecycle event to is permitted by the supervision lifecycle state machine.

event::completed and event::failed are terminal states and have no outgoing transitions. event::losing_locality is only reachable from event::started, event::running, or event::suspending, and may only transition to failed. A missing prior event is represented as event::unknown, from which the only valid transition is to event::started.