10521053105410551056105710581059106010611062
Vis aktVis; while (i < this.graphen.size()) { aktVis = this.graphen.get(i); if (aktVis.getRob().id() == rob.getId()) { aktVis.erzeugeTransAusStdSeqs(rob.getTransStdCodes()); this.selGraph(aktVis); } i++; } }