var a08533 =
[
    [ "balanced_quicksort_tag", "a08533.html#ad5cfc40096147c340f07738ac3aa408f", null ],
    [ "balanced_quicksort_tag", "a08533.html#abfb26b69b125df38338563e298992ee8", null ],
    [ "__get_num_threads", "a08533.html#a18b32829b31b902699690b750e190e59", null ],
    [ "set_num_threads", "a08533.html#ac4b2be3fbb957a3754b13167428ab6eb", null ]
];