395396397398399400401402403404405
tempPval = spft; tempP = arcId; } } it.dispose(); double old = GNodes.spft.quickSet(nid, tempPval); GNodes.nextSP.quickSet(nid, tempP); if (nid != sourceIndex && old != tempPval) { it = GNodes.inArcs[nid].getIterator();
415416417418419420421422423424425
if (!isInStack(arcId) && tempPval + spfs + acost > propagator.getVar(starts.length).getUB()) { setInStack(arcId); toRemove.push(arcId); } } it.dispose(); } } public void updateLPFT(int nid, TIntStack toRemove, Propagator<IntVar> propagator) {
438439440441442443444445446447448
tempPval = lpft; tempP = arcId; } } it.dispose(); double old = GNodes.lpft.quickSet(nid, tempPval); GNodes.nextLP.quickSet(nid, tempP); if (nid != sourceIndex && old != tempPval) { it = GNodes.inArcs[nid].getIterator();
458459460461462463464465466467468
if (!isInStack(arcId) && tempPval + lpfs + acost < propagator.getVar(starts.length).getLB()) { setInStack(arcId); toRemove.push(arcId); } } it.dispose(); } } public void updateLeft(int nid, TIntStack toRemove, Propagator<IntVar> propagator) {
489490491492493494495496497498499
tempP2 = arcId; } } it.dispose(); double old = GNodes.spfs.quickSet(nid, tempPval); GNodes.prevSP.quickSet(nid, tempP); double old2 = GNodes.lpfs.quickSet(nid, tempPval2); GNodes.prevLP.quickSet(nid, tempP2);
514515516517518519520521522523524
|| tempPval2 + lpft + acost < propagator.getVar(starts.length).getLB())) { setInStack(arcId); toRemove.push(arcId); } } it.dispose(); } }
538539540541542543544545546547548
tempPval = spfs; tempP = arcId; } } it.dispose(); double old = GNodes.spfs.quickSet(nid, tempPval); GNodes.prevSP.quickSet(nid, tempP); if (nid != tinkIndex && old != tempPval) { it = GNodes.outArcs[nid].getIterator();
558559560561562563564565566567568
if (!isInStack(arcId) && tempPval + spft + acost > propagator.getVar(starts.length).getUB()) { setInStack(arcId); toRemove.push(arcId); } } it.dispose(); } } public void updateLPFS(int nid, TIntStack toRemove, Propagator<IntVar> propagator) {
581582583584585586587588589590591
tempPval = lpfs; tempP = arcId; } } it.dispose(); double old = GNodes.lpfs.quickSet(nid, tempPval); GNodes.prevLP.quickSet(nid, tempP); if (nid != tinkIndex && old != tempPval) {
602603604605606607608609610611612
if (!isInStack(arcId) && tempPval + lpft + acost < propagator.getVar(starts.length).getLB()) { setInStack(arcId); toRemove.push(arcId); } } it.dispose(); } }