tmpX = matching.getY(tmpY).iterator().next();
augmentatingTree.addBranches(tmpY, eqSubGraph.getX(tmpX));
}
}
augmentatingTree.higher();
yNeighbors = augmentatingTree.getNeighbors();
}
// ... and swap the matching along the this path
// => extended matching (one more edge).