kickOut and bringIn a reason

TODO.md

@@ -2,8 +2,6 @@
 
 > - https://github.com/cicada-lang/propagator/issues/3
 
-barometer-belief-system.test.ts -- test `beliefSystemQuery`
-
 barometer-belief-system.test.ts -- 理解我们的测试中与书中有差异的地方
 
 - 书中第一个测试只有：

src/belief-system/isBeliefBelieved.ts

@@ -1,12 +1,20 @@
 import { Belief } from "../belief/index.js"
-import type { Reasons } from "../reason/index.js"
+import { type Reason, type Reasons } from "../reason/index.js"
 
 export function isBeliefBelieved<A>(belief: Belief<A>): boolean {
   return Array.from(belief.reasons).every(isReasonBelieved)
 }
 
 export const globelReasonBlackList: Reasons = new Set()
 
-function isReasonBelieved(entry: string): boolean {
-  return !globelReasonBlackList.has(entry)
+function isReasonBelieved(reason: Reason): boolean {
+  return !globelReasonBlackList.has(reason)
+}
+
+export function kickOut(reason: Reason): void {
+  globelReasonBlackList.add(reason)
+}
+
+export function bringIn(reason: Reason): void {
+  globelReasonBlackList.delete(reason)
 }