var a09688 =
[
    [ "quicksort_tag", "a09688.html#a9b863e902b09711001c8e010bfafe26b", null ],
    [ "quicksort_tag", "a09688.html#a42f5c261c233427e48bc89265b133228", null ],
    [ "__get_num_threads", "a09688.html#a18b32829b31b902699690b750e190e59", null ],
    [ "set_num_threads", "a09688.html#ac4b2be3fbb957a3754b13167428ab6eb", null ]
];