flip source and target graph depending on the isolated vertices

andimarek · andimarek · commit 16c0aba17793 · 2023-04-19T19:17:00.000+10:00
diff --git a/src/main/java/graphql/schema/diffing/DiffImpl.java b/src/main/java/graphql/schema/diffing/DiffImpl.java
@@ -113,7 +113,6 @@ public DiffImpl(SchemaGraph completeSourceGraph, SchemaGraph completeTargetGraph
     OptimalEdit diffImpl(Mapping startMapping, List<Vertex> allSources, List<Vertex> allTargets) throws Exception {
         int graphSize = allSources.size();
 
-        long t1 = System.currentTimeMillis();
         int fixedEditorialCost = baseEditorialCostForMapping(startMapping, completeSourceGraph, completeTargetGraph);
         int level = startMapping.size();
 
@@ -146,7 +145,7 @@ OptimalEdit diffImpl(Mapping startMapping, List<Vertex> allSources, List<Vertex>
             MappingEntry mappingEntry = queue.poll();
             count++;
             if (count % 1000 == 0) {
-                System.out.println(mappingEntry.lowerBoundCost + " vs ged " + optimalEdit.ged + " count " + count + " time: " + (System.currentTimeMillis() - t) + " queue size " + queue.size() + " drop count " + dropCount);
+//                System.out.println(mappingEntry.lowerBoundCost + " vs ged " + optimalEdit.ged + " count " + count + " time: " + (System.currentTimeMillis() - t) + " queue size " + queue.size() + " drop count " + dropCount);
             }
             if (mappingEntry.lowerBoundCost >= optimalEdit.ged) {
                 dropCount++;
