183184185186187188189190191192193194
// Don't include nodes that are already placed. if (allreadyDone.contains(node)) { continue; } SuccessorEdges successors = treeData.getSuccessors(node); if (successors.hasSuccessors()) { inners.add(node); } else { leafs.add(node); }