定义 generateConceptSetByJoin 然后 generateConceptSet 调用它

Author: xieyuheng

TODO.md

@@ -1,4 +1,3 @@
-定义 `generateConceptSetByJoin` 然后 `generateConceptSet` 调用它
 定义 `generateConceptSetByMeet` 然后测试两种计算方式相等
 
 # learn

src/lattice/generateConceptSet.ts

@@ -1,27 +1,8 @@
-import { conceptJoin, type Concept } from "../concept/index.js"
+import { type Concept } from "../concept/index.js"
 import type { Context } from "../context/index.js"
 import type { QuotientSet } from "../utils/QuotientSet.js"
-import { generateAttributeConceptSet } from "./generateAttributeConceptSet.js"
-import { generateEntityConceptSet } from "./generateEntityConceptSet.js"
+import { generateConceptSetByJoin } from "./generateConceptSetByJoin.js"
 
 export function generateConceptSet(context: Context): QuotientSet<Concept> {
-  const targets = generateEntityConceptSet(context)
-  const results = generateAttributeConceptSet(context).union(targets)
-
-  while (true) {
-    const first = targets.representatives.shift()
-    if (first === undefined) {
-      break
-    }
-
-    for (const target of targets.representatives) {
-      const concept = conceptJoin(first, target)
-      if (!results.has(concept)) {
-        targets.add(concept)
-        results.add(concept)
-      }
-    }
-  }
-
-  return results
+  return generateConceptSetByJoin(context)
 }

src/lattice/generateConceptSetByJoin.ts

@@ -0,0 +1,29 @@
+import { conceptJoin, type Concept } from "../concept/index.js"
+import type { Context } from "../context/index.js"
+import type { QuotientSet } from "../utils/QuotientSet.js"
+import { generateAttributeConceptSet } from "./generateAttributeConceptSet.js"
+import { generateEntityConceptSet } from "./generateEntityConceptSet.js"
+
+export function generateConceptSetByJoin(
+  context: Context,
+): QuotientSet<Concept> {
+  const targets = generateEntityConceptSet(context)
+  const results = generateAttributeConceptSet(context).union(targets)
+
+  while (true) {
+    const first = targets.representatives.shift()
+    if (first === undefined) {
+      break
+    }
+
+    for (const target of targets.representatives) {
+      const concept = conceptJoin(first, target)
+      if (!results.has(concept)) {
+        targets.add(concept)
+        results.add(concept)
+      }
+    }
+  }
+
+  return results
+}