equal
deleted
inserted
replaced
442 g.firstInc(e, b, u); |
442 g.firstInc(e, b, u); |
443 } else { |
443 } else { |
444 b = g.source(e) == u; |
444 b = g.source(e) == u; |
445 g.nextInc(e, b); |
445 g.nextInc(e, b); |
446 } |
446 } |
447 while (e != INVALID && g.target(e) != v) { |
447 while (e != INVALID && (b ? g.target(e) : g.source(e)) != v) { |
448 g.nextInc(e, b); |
448 g.nextInc(e, b); |
449 } |
449 } |
450 } else { |
450 } else { |
451 if (e == INVALID) { |
451 if (e == INVALID) { |
452 g.firstInc(e, b, u); |
452 g.firstInc(e, b, u); |