lattice/ -- 整理文件

Author: xieyuheng

src/lattice/generateAttributeConceptSet.ts

@@ -0,0 +1,20 @@
+import {
+  conceptFromEntities,
+  createConceptSet,
+  type Concept,
+} from "../concept/index.js"
+import type { Context } from "../context/index.js"
+import type { QuotientSet } from "../utils/QuotientSet.js"
+
+export function generateAttributeConceptSet(
+  context: Context,
+): QuotientSet<Concept> {
+  const conceptSet = createConceptSet()
+
+  for (const attribute of context.attributes) {
+    const attributeConcept = conceptFromEntities(context, [attribute])
+    conceptSet.add(attributeConcept)
+  }
+
+  return conceptSet
+}

src/lattice/generateConceptSet.ts

@@ -0,0 +1,27 @@
+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 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
+}

src/lattice/generateConcepts.ts

@@ -1,59 +1,6 @@
-import {
-  conceptFromEntities,
-  conceptJoin,
-  createConceptSet,
-  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"
-
-export function generateEntityConceptSet(
-  context: Context,
-): QuotientSet<Concept> {
-  const conceptSet = createConceptSet()
-
-  for (const entity of context.entities) {
-    const entityConcept = conceptFromEntities(context, [entity])
-    conceptSet.add(entityConcept)
-  }
-
-  return conceptSet
-}
-
-export function generateAttributeConceptSet(
-  context: Context,
-): QuotientSet<Concept> {
-  const conceptSet = createConceptSet()
-
-  for (const attribute of context.attributes) {
-    const attributeConcept = conceptFromEntities(context, [attribute])
-    conceptSet.add(attributeConcept)
-  }
-
-  return conceptSet
-}
-
-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
-}
+import { generateConceptSet } from "./generateConceptSet.js"
 
 export function generateConcepts(context: Context): Array<Concept> {
   return generateConceptSet(context).representatives

src/lattice/generateEntityConceptSet.ts

@@ -0,0 +1,20 @@
+import {
+  conceptFromEntities,
+  createConceptSet,
+  type Concept,
+} from "../concept/index.js"
+import type { Context } from "../context/index.js"
+import type { QuotientSet } from "../utils/QuotientSet.js"
+
+export function generateEntityConceptSet(
+  context: Context,
+): QuotientSet<Concept> {
+  const conceptSet = createConceptSet()
+
+  for (const entity of context.entities) {
+    const entityConcept = conceptFromEntities(context, [entity])
+    conceptSet.add(entityConcept)
+  }
+
+  return conceptSet
+}

src/lattice/index.ts

@@ -1,3 +1,4 @@
 export * from "./conceptAbove.js"
 export * from "./conceptBelow.js"
 export * from "./generateConcepts.js"
+export * from "./generateConceptSet.js"