365366367368369370371372373374375
GraphBuilder builder = subview.getBuilder(); for (GraphEdge edge : getEdges()) { if (subviewNodes.contains(edge.getHead()) && subviewNodes.contains(edge.getTail())) { builder.addEdge(edge); } } } public Collection<GraphNode> and(GraphModel that) {
271272273274275276277278279280281
GraphBuilder builder = result.getBuilder(); for (GraphNode node : nodes) { builder.newNode(node); } for (GraphEdge edge : edges) { builder.addEdge(edge); } return result; } /**