Searched refs:effect_edges (Results 1 – 1 of 1) sorted by relevance
292 ZoneVector<Edge> effect_edges(tmp_zone); in Peel() local303 effect_edges.push_back(edge); in Peel()320 if (!effect_edges.empty()) { in Peel()323 for (Edge edge : effect_edges) edge.UpdateTo(effect_phi); in Peel()324 effect_edges.clear(); in Peel()