this
362363364365366367368369370371372
cZwisch[j], fmg.fmg8.endlAutomat.Konstanten.UND); } } c = c.simplify(); // BO // System.out.println(); // System.out.println( // aut.holeKnoten(quellKnotNam).getInfo().getBedingungen());
18761877187818791880188118821883188418851886
getBedingungen().get(i).getCond().formatted()); zwisch.negiere(); cond = new InnerNode(cond, zwisch, endlicherAutomat.Konstanten.UND); } cond = cond.simplify(); if (!cond.equals(new ConstLeaf(false))) { this.einfuegKante(kn1, kn2, cond, 1); } }