equal
deleted
inserted
replaced
936 |
936 |
937 ModuleLayer layer = stack.pop(); |
937 ModuleLayer layer = stack.pop(); |
938 List<ModuleLayer> parents = layer.parents(); |
938 List<ModuleLayer> parents = layer.parents(); |
939 for (int i = parents.size() - 1; i >= 0; i--) { |
939 for (int i = parents.size() - 1; i >= 0; i--) { |
940 ModuleLayer parent = parents.get(i); |
940 ModuleLayer parent = parents.get(i); |
941 if (!visited.contains(parent)) { |
941 if (visited.add(parent)) { |
942 visited.add(parent); |
|
943 stack.push(parent); |
942 stack.push(parent); |
944 } |
943 } |
945 } |
944 } |
946 iterator = providers(layer); |
945 iterator = providers(layer); |
947 } |
946 } |