PPT-Folie

public synchronized void run()

{ while (found.notYet())

{ if (tree.getNode().equals(what))

found.setFound() ;

else

{ if (tree.getLeft() != null)

new SearchThread(found, tree.getLeft(), what).start() ;

if (tree.getRight() != null)

tree = tree.getRight() ;

else break ;

}

}

}

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen