var classtf_1_1Worker =
[
    [ "id", "classtf_1_1Worker.html#a0180ea51cc46551157eaae451b50c7d8", null ],
    [ "queue_capacity", "classtf_1_1Worker.html#a0c0505b0ce5b464d4458b5278265429a", null ],
    [ "queue_size", "classtf_1_1Worker.html#a5e1ec48fd2295d260e8f335ff22b95ae", null ],
    [ "thread", "classtf_1_1Worker.html#a6158f91db3b980e3072cc0329cbe3c14", null ]
];