public String getTransitionsOfBundleAsString(Bundle b) { String result = ""; for (BundledTransition t : b.getTransitions()) { if (result != "") { result += ", "; } result += getName(t); } return result; }
private void splitBundlesByLocalities(ArrayList<Node> nodes) { HashMap<Bundle, HashSet<BundledTransition>> subBundles = new HashMap<>(); for (Node node : nodes) { if (node instanceof BundledTransition) { BundledTransition t = (BundledTransition) node; for (Bundle b : getBundlesOfTransition(t)) { HashSet<BundledTransition> transitions = subBundles.get(b); if (transitions == null) { transitions = new HashSet<BundledTransition>(); subBundles.put(b, transitions); } transitions.add(t); } } } for (Bundle b : subBundles.keySet()) { HashSet<BundledTransition> transitions = subBundles.get(b); if (b.getTransitions().size() > transitions.size()) { bundleTransitions(transitions); b.removeAll(subBundles.get(b)); } } }