Searched refs:num_covered (Results 1 – 1 of 1) sorted by relevance
96 int num_covered = 0; in ComputeRecursiveIndependentSetOrdering() local98 while (num_covered < parameter_blocks.size()) { in ComputeRecursiveIndependentSetOrdering()107 num_covered += independent_set_size; in ComputeRecursiveIndependentSetOrdering()