barometer-belief-system -- 不需要 isBeliefSystem

cicada-lang · Oct 5, 2024 · 0499d17 · 0499d17
1 parent d6220f9
commit 0499d17
Show file tree

Hide file tree

Showing 4 changed files with 189 additions and 213 deletions.
diff --git a/TODO.md b/TODO.md
@@ -2,10 +2,12 @@
 
 > https://github.com/cicada-lang/propagator/issues/4
 
-global map about about nogood
-
 恢复之前实现时忽略的 check-consistent! 和 process-nogood!
 
+- belief-system/checkConsistent.ts
+
+global map about about nogood
+
 propagators/binaryAmb
 propagators/oneOf
 examples/multipleDwelling

diff --git a/src/belief-system/checkConsistent.ts b/src/belief-system/checkConsistent.ts
@@ -0,0 +1,3 @@
+export function checkConsistent() {
+  //
+}
diff --git a/src/belief-system/index.ts b/src/belief-system/index.ts
@@ -2,4 +2,5 @@ export * from "./BeliefSystem.js"
 export * from "./beliefSystemEqual.js"
 export * from "./beliefSystemMerge.js"
 export * from "./beliefSystemQuery.js"
+export * from "./checkConsistent.js"
 export * from "./isStillBelieved.js"