deleteConnections(children.get(i));
}
}
sourceConnections.addAll(a.getIncomingTransitions());
for (int i = 0; i < sourceConnections.size(); i++) {
Transition t = sourceConnections.get(i);
t.source.removeOutgoing(t);
a.removeIncoming(t);
}
targetConnections.addAll(a.getOutgoingTransitions());
for (int i = 0; i < targetConnections.size(); i++) {
Transition t = targetConnections.get(i);
t.target.removeIncoming(t);
a.removeOutgoing(t);
}
}