Clarification

runtimeverification · Mar 25, 2024 · 6bde65a · 6bde65a
1 parent d4f0490
commit 6bde65a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/kore/src/main/java/org/kframework/POSet.java b/kore/src/main/java/org/kframework/POSet.java
@@ -239,7 +239,8 @@ private Map<T, Integer> computeConnectedComponents() {
    * not recompute the mapping and therefore take constant time.
    *
    * @return A lazily initialized map from elements to an integer in the range [0, N) indicating
-   *     which connected component that element belongs to.
+   *     which connected component that element belongs to, where N is the number of connected
+   *     components.
    */
   public Map<T, Integer> connectedComponents() {
     return connectedComponentsLazy.get();