this.insertNode(zielKnotNam, aut);
knot2 = aut.holeKnoten(zielKnotNam);
}
if (knot1.getInfo() == null || knot1.getInfo().getBeds().size() == 0) {
c = new ConstLeaf(true);
} else {
int i = 0;
vorhTrans = knot1.getInfo().getBeds();
vorhConds = new ArrayList<Condition>(vorhTrans.size());
for (Transition t : vorhTrans) {
vorhConds.add(t.getCond());
}
cZwisch = new Condition[vorhConds.size()];
for (Condition condition : vorhConds) {
cZwisch[i] = StaticMethods.ausFormatBed(condition.formatted());
cZwisch[i].negiere();
i++;
}
c = cZwisch[0];
for (int j = 1; j < cZwisch.length; j++) {
c = new InnerNode(
c,
cZwisch[j],
eas.simulation.spatial.sim2D.marbSimulation.Konstanten.UND);
}
}
c = c.simplify();
// BO
// System.out.println();
// System.out.println(
// aut.holeKnoten(quellKnotNam).getInfo().getBedingungen());
// System.out.println(c);
// c = c;
// EO
if (!c.equals(new ConstLeaf(false))) {
/*
* Achtung: Die folgende Instruktion macht alle vorherigen
* Berechnungen für die Bedingung c nutzlos und überschreibt sie
* mit "true". Das hat denselben Effekt wie wenn eine
* komplementierende Bedingung eingefügt wird, ist aber sehr viel
* Speicherplatz-schonender. Wegen der unterschiedlichen Effekte
* auf zukünftige Mutationen sollte das dennoch im Auge behalten
* werden.
*
* Zuletzt sollte entweder die folgende Zuweisung entfernt oder die
* obigen Anweisungen zur Konstruktion der Komplement-Bedingung
* weggelassen werden.
*/
c = new ConstLeaf(true);
aut.einfuegKante(
quellKnotNam,
zielKnotNam,
c,