Lines Matching full:invariant
923 // Maintain the invariant num_holes = the number of holes in the original