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