var class_machinations_1_1_status_1_1_state_connection_status =
[
    [ "StateConnectionStatus", "class_machinations_1_1_status_1_1_state_connection_status.html#a62cd419692d9762660677a67d3ebf181", null ],
    [ "Restore", "class_machinations_1_1_status_1_1_state_connection_status.html#aa42a3e007c26b3e3fe77d958b9c8cb8e", null ]
];