dhns.getGraphStructure().setEdgeId((AbstractEdge) edge, id);
}
public ImmutableTreeNode wrapToTreeNode() {
TreeNodeWrapper wrapper = new TreeNodeWrapper(structure);
ImmutableTreeNode treeNode;
readLock();
treeNode = wrapper.wrap(new TreeIterator(structure, false, Tautology.instance));
readUnlock();
return treeNode;
}