var a09671 =
[
    [ "exact_tag", "a09671.html#a6dd099a3f9a6ded5abdf9a6c9682aea7", null ],
    [ "exact_tag", "a09671.html#a7e13d514ec6e2c8861317c22057fe7d7", null ],
    [ "__get_num_threads", "a09671.html#a18b32829b31b902699690b750e190e59", null ],
    [ "set_num_threads", "a09671.html#ac4b2be3fbb957a3754b13167428ab6eb", null ]
];