/* */ protected static Set<Vertex<String>> getChildren(Vertex<String> vertex)
/* */ {
/* 112 */ Set children = new HashSet();
/* 113 */ for (int i = 0; i < vertex.getOutgoingEdgeCount(); i++)
/* */ {
/* 115 */ Edge edge = vertex.getOutgoingEdge(i);
/* 116 */ children.add(edge.getTo());
/* */ }
/* 118 */ return children;
/* */ }