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