var class_machinations_1_1_status_1_1_pool_status =
[
    [ "PoolStatus", "class_machinations_1_1_status_1_1_pool_status.html#a43a3e136c365685a32638d053ef6814e", null ],
    [ "NeedNewStatus", "class_machinations_1_1_status_1_1_pool_status.html#afb473632544b1443dd5770d31e9e64c3", null ],
    [ "Restore", "class_machinations_1_1_status_1_1_pool_status.html#adb71584a26aef7f6d44a70d26f37d4b1", null ],
    [ "Step", "class_machinations_1_1_status_1_1_pool_status.html#add2adc24f552a5894e49df7e7f12ce71", null ]
];