434435436437438439440441442443444
visibleOrder.addNode(node1); for(Object node2 : orderings.getSuccsOf(node1)) { if(!visibleOrder.containsNode(node2)) visibleOrder.addNode(node2); visibleOrder.addEdge(node1, node2); } } } }