Source: emel/graph/allocator/liveness_pass/sm.hpp
stateDiagram-v2
direction TB
[*] --> deciding
deciding --> allocate_failed : completion_allocate_graph_plan_ [phase_prefailed_] / mark_failed_prefailed_
deciding --> allocated : completion_allocate_graph_plan_ [phase_done_] / mark_done_
deciding --> allocate_failed : completion_allocate_graph_plan_ [phase_invalid_request_] / mark_failed_invalid_request_
deciding --> allocate_failed : completion_allocate_graph_plan_ [phase_capacity_exceeded_] / mark_failed_capacity_
deciding --> allocate_failed : completion_allocate_graph_plan_ [always] / mark_failed_internal_
allocated --> terminate : [always] / none
allocate_failed --> terminate : [always] / none
deciding --> unexpected_event : _ [always] / on_unexpected_
allocated --> unexpected_event : _ [always] / on_unexpected_
allocate_failed --> unexpected_event : _ [always] / on_unexpected_
unexpected_event --> unexpected_event : _ [always] / on_unexpected_