*
* @param kn1 Quellknoten.
* @param kn2 Zielknoten.
*/
public void ergaenze(final Integer kn1, final Integer kn2) {
Condition cond = new ConstLeaf(true);
Condition zwisch;
if (this.holeKnoten(kn1).getInfo().getBedingungen().size() > 0) {
cond = SonstMeth.ausFormatBed(
this.holeKnoten(kn1).getInfo().
getBedingungen().get(0).getCond().formatted());
cond.negiere();
}
for (int i = 1;
i < this.holeKnoten(kn1).getInfo().getBedingungen().size();
i++) {
zwisch = SonstMeth.ausFormatBed(
this.holeKnoten(kn1).getInfo().
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);
}
}