Searched defs:partition_index (Results 1 – 2 of 2) sorted by relevance
521 root_var_remove_partition (root_var_p rv, int root_index, int partition_index) in root_var_remove_partition()636 type_var_remove_partition (type_var_p tv, int type_index, int partition_index) in type_var_remove_partition()
895 tpa_remove_partition (tpa_p tpa, int tree_index, int partition_index) in tpa_remove_partition()