var structecs__delete__empty__tables__desc__t =
[
    [ "clear_generation", "structecs__delete__empty__tables__desc__t.html#a2f56d7dccf161135b9a4ea299d2d1077", null ],
    [ "delete_generation", "structecs__delete__empty__tables__desc__t.html#a0c20f0b04c2a6a2477cacd723e4e3003", null ],
    [ "time_budget_seconds", "structecs__delete__empty__tables__desc__t.html#a13d5a6587fba620bd6aecf869fb466de", null ]
];