rename isBeliefBelieved to isStillBelieved

Author: xieyuheng

TODO.md

@@ -1,4 +1,3 @@
-rename `isBeliefBelieved` to `isStillBelieved`
 extract `beliefMergeMany`
 
 # 4.4 Dependencies Improve Search

src/belief-system/beliefMergeManyStillBelieved.ts

@@ -1,7 +1,7 @@
 import type { Belief } from "../belief/Belief.js"
 import { merge } from "../merge/merge.js"
 import { type Nothing, nothing } from "../nothing/Nothing.js"
-import { isBeliefBelieved } from "./isBeliefBelieved.js"
+import { isStillBelieved } from "./isStillBelieved.js"
 
 // The procedure `strongest` finds the most informative consequence
 // of the current worldview. It does this by using merge to combine
@@ -12,7 +12,7 @@ import { isBeliefBelieved } from "./isBeliefBelieved.js"
 export function beliefMergeManyStillBelieved<A>(
   beliefs: Array<Belief<A>>,
 ): Belief<A> | Nothing {
-  const stillBelievedBeliefs = beliefs.filter(isBeliefBelieved)
+  const stillBelievedBeliefs = beliefs.filter(isStillBelieved)
   return stillBelievedBeliefs.reduce(
     (result, belief) => merge(result, belief),
     nothing,

src/belief-system/index.ts

@@ -2,4 +2,4 @@ export * from "./BeliefSystem.js"
 export * from "./beliefSystemEqual.js"
 export * from "./beliefSystemMerge.js"
 export * from "./beliefSystemQuery.js"
-export * from "./isBeliefBelieved.js"
+export * from "./isStillBelieved.js"

src/belief-system/isBeliefBelieved.ts renamed to src/belief-system/isStillBelieved.ts

@@ -2,7 +2,7 @@ import { Belief } from "../belief/index.js"
 import { type Reason, type Reasons } from "../reason/index.js"
 import { scheduleAllEverScheduledPropagators } from "../scheduler/index.js"
 
-export function isBeliefBelieved<A>(belief: Belief<A>): boolean {
+export function isStillBelieved<A>(belief: Belief<A>): boolean {
   return Array.from(belief.reasons).every(isReasonBelieved)
 }