var namespaceojph_1_1thds =
[
    [ "worker_thread_base", "classojph_1_1thds_1_1worker__thread__base.html", "classojph_1_1thds_1_1worker__thread__base" ],
    [ "thread_pool", "classojph_1_1thds_1_1thread__pool.html", "classojph_1_1thds_1_1thread__pool" ]
];