private fun update_iterators
do
while not targets_iterator.is_ok and sources_iterator.is_ok
do
sources_iterator.next
if sources_iterator.is_ok then
targets_iterator = graph.successors(sources_iterator.item).iterator
end
end
end
lib/graph/digraph.nit:700,2--709,4