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