var a08517 =
[
    [ "multiway_mergesort_tag", "a08517.html#a80a05ea15326f5520cdbbb6229171830", null ],
    [ "multiway_mergesort_tag", "a08517.html#aa552fa5609232551f9954e0f936b8ad2", null ],
    [ "__get_num_threads", "a08517.html#a18b32829b31b902699690b750e190e59", null ],
    [ "set_num_threads", "a08517.html#ac4b2be3fbb957a3754b13167428ab6eb", null ]
];