comment added back in

workcraft · May 15, 2024 · c78bfe2 · c78bfe2
1 parent 7586cf7
commit c78bfe2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/ecc/MaxMinHeuristic.java b/workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/ecc/MaxMinHeuristic.java
@@ -92,6 +92,7 @@ public static ArrayList<ArrayList<String>> getEdgeCliqueCover(Graph graph, Array
                         finalCliquesAsEdges.get(cliqueNumber).add(u + j);
                         finalCliquesAsEdges.get(cliqueNumber).add(j + u);
 
+                        // Updating the number of cliques the edge is contained in
                         int oldVal = edgeNameToNoOfCliquesItsContainedIn.get(u + j);
                         edgeNameToNoOfCliquesItsContainedIn.replace(u + j, oldVal + 1);
                         edgeNameToNoOfCliquesItsContainedIn.replace(j + u, oldVal + 1);