Home | History | Annotate | Download | only in Analysis

Lines Matching refs:outWeight

42       double      outWeight;
113     double outWeight = 0;
124         outWeight += EdgeWeight;
133            << "outWeight=" << format("%20.20g",outWeight) << ","
151            << "outWeight=" << format("%20.20g",DI->outWeight) << ","
243     DI.inWeight = DI.outWeight = 0;
268       DI.outWeight += w;
273         DI.outWeight += ReadOrAssert(PI->getEdge(BB,*bbi));
287     if (DI.outWeight > DI.inWeight) {
300     if (DI.inWeight > DI.outWeight) {
326         CheckValue(!Equals(DI.BBWeight,DI.outWeight), 
327                    "BBWeight and outWeight do not match", &DI);
330       if (DI.inWeight > DI.outWeight && !isExitReachable)
331         CheckValue(!Equals(DI.inWeight,DI.outWeight), 
332                    "inWeight and outWeight do not match", &DI);
333       if (DI.inWeight < DI.outWeight && !isSetJmpTarget)
334         CheckValue(!Equals(DI.inWeight,DI.outWeight), 
335                    "inWeight and outWeight do not match", &DI);