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