14861487148814891490149114921493149414951496
this.mut.mutiere((RobEA) this); if (this.isSelektiert()) { this.vAut[this.aktAut].setzeChanged(); this.vAut[this.aktAut].notifyObservers( new AutomatenNummer( this.vAut[this.aktAut].erzeugeStringSeq(), this.aktAut)); } }
163216331634163516361637163816391640
if (this.selektiert != sel) { this.selektiert = sel; this.vAut[this.aktAut].setzeChanged(); this.vAut[this.aktAut].notifyObservers( new AutomatenNummer(this.vAut[this.aktAut].erzeugeStringSeq(), this.aktAut)); } }
1645164616471648164916501651165216531654
public void simBeendet() { if (this.umg.isVisualized()) { for (int i = 0; i < this.vAut.length; i++) { this.vAut[i].setzeChanged(); this.vAut[i].notifyObservers( new AutomatenNummer(this.vAut[i].erzeugeStringSeq(), i)); } } }
1756175717581759176017611762176317641765
if (this.isSelektiert()) { for (int i = 0; i < this.vAut.length; i++) { this.vAut[i].setzeChanged(); this.vAut[i].notifyObservers( new AutomatenNummer(this.vAut[i].erzeugeStringSeq(), i)); } } }
179717981799180018011802180318041805
} if (this.isSelektiert()) { this.vAut[autNum].setzeChanged(); this.vAut[autNum].notifyObservers( new AutomatenNummer(this.vAut[autNum].erzeugeStringSeq(), autNum)); } }
183218331834183518361837183818391840
680681682683684685686687688689690
} if (this.isSelektiert()) { this.getAktVAut().setzeChanged(); this.getAktVAut().notifyObservers( new AutomatenNummer( this.getAktVAut().erzeugeStringSeq(), this.getAktAutNum())); } }
140914101411141214131414141514161417
142114221423142414251426142714281429
*/ public void simBeendet() { for (int i = 0; i < this.vAut.length; i++) { this.vAut[i].setzeChanged(); this.vAut[i].notifyObservers( new AutomatenNummer(this.vAut[i].erzeugeStringSeq(), i)); } }
1523152415251526152715281529153015311532