(Record record)
| 71 | } |
| 72 | |
| 73 | private static Set<Node> nodes(Record record) { |
| 74 | if (record.nodes == null) { |
| 75 | record.nodes = new HashSet<Node>(2); |
| 76 | } |
| 77 | return record.nodes; |
| 78 | } |
| 79 | |
| 80 | private static void query(Map<Integer, Node> nodes, Record[] query, |
| 81 | List<Instance> stack, int index) |