Searched refs:EdgeCuts (Results 1 – 1 of 1) sorted by relevance
629 auto EdgeCuts = std::make_unique<int[]>(Graph->edges_size()); in hardenLoadsWithPlugin() local640 EdgeCuts.get(), Graph->edges_size()); in hardenLoadsWithPlugin()642 if (EdgeCuts[I]) in hardenLoadsWithPlugin()