Lines Matching defs:MinimalWeight
38 std::map<Edge,double> MinimalWeight;
192 if (MinimalWeight.find(*ei) != MinimalWeight.end()) {
193 incoming -= MinimalWeight[*ei];
194 DEBUG(dbgs() << "Reserving " << format("%.20g",MinimalWeight[*ei]) << " at " << (*ei) << "\n");
230 if (MinimalWeight.find(*ei) != MinimalWeight.end()) {
231 EdgeInformation[BB->getParent()][*ei] += MinimalWeight[*ei];
232 DEBUG(dbgs() << "Additionally " << format("%.20g",MinimalWeight[*ei]) << " at " << (*ei) << "\n");
243 if (MinimalWeight.find(e) == MinimalWeight.end()) {
244 MinimalWeight[e] = 0;
246 MinimalWeight[e] += w;
247 DEBUG(dbgs() << "Minimal Weight for " << e << ": " << format("%.20g",MinimalWeight[e]) << "\n");
281 if (MinimalWeight.find(edge) != MinimalWeight.end()) {
282 BBWeight -= MinimalWeight[edge];
283 DEBUG(dbgs() << "Reserving " << format("%.20g",MinimalWeight[edge]) << " at " << edge << "\n");
301 if (MinimalWeight.find(*ei) != MinimalWeight.end()) {
302 EdgeInformation[BB->getParent()][*ei] += MinimalWeight[*ei];
303 DEBUG(dbgs() << "Additionally " << format("%.20g",MinimalWeight[*ei]) << " at " << (*ei) << "\n");
333 MinimalWeight.clear();