var a01547 = [ [ "tree_order_statistics_node_update", "a00379.html", "a00379" ], [ "PB_DS_BRANCH_POLICY_BASE", "a01547.html#a23a2e52811f3ad031c787101c347719e", null ], [ "PB_DS_CLASS_C_DEC", "a01547.html#a304b8b73a11afe64bfca54576b91263b", null ], [ "PB_DS_CLASS_T_DEC", "a01547.html#a6fa497162e8fb54f6d8e2259d4ebd8ff", null ] ];