1095     if (Block.Weight > 0) {  in initializeNetwork()
1096       Network.addEdge(Bout, Bin, Block.Weight, AuxCostDec);  in initializeNetwork()
1097       Network.addEdge(S1, Bout, Block.Weight, 0);  in initializeNetwork()
1098       Network.addEdge(Bin, T1, Block.Weight, 0);  in initializeNetwork()
1115     if (Jump.Weight > 0) {  in initializeNetwork()
1116       Network.addEdge(Jout, Jin, Jump.Weight, AuxCostDec);  in initializeNetwork()
1117       Network.addEdge(S1, Jout, Jump.Weight, 0);  in initializeNetwork()
1118       Network.addEdge(Jin, T1, Jump.Weight, 0);  in initializeNetwork()
1143     if (Block.Weight == 0)  in assignBlockCosts()
1178     assert(Jump.Weight > 0 && "found zero-weight jump with a positive weight");  in assignJumpCosts()
1198       Flow = int64_t(Jump.Weight) + AuxFlow;  in extractWeights()
1200       Flow = int64_t(Jump.Weight) + (AuxFlow > 0 ? AuxFlow : 0);  in extractWeights()
1247     assert((!Block.HasUnknownWeight || Block.Weight == 0 || Block.isEntry()) &&  in verifyInput()
1252     assert((!Jump.HasUnknownWeight || Jump.Weight == 0) &&  in verifyInput()
1327     if (Block.Weight > 0)  in applyFlowInference()
1329     Block.Flow = Block.Weight;  in applyFlowInference()
1332     if (Jump.Weight > 0)  in applyFlowInference()
1334     Jump.Flow = Jump.Weight;  in applyFlowInference()