diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2026-06-21 09:29:20 +0200 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2026-06-21 09:29:20 +0200 |
| commit | e455d580ab4d837122a4186627ec109c4000d7c5 (patch) | |
| tree | 37e6292ae1d6a31f57e6b7cdbedf8e11e257aa5c /motus/js/next.ml | |
| parent | 5709ce369f815ca26d555a05e84cfd0b8dc311cf (diff) | |
Diffstat (limited to 'motus/js/next.ml')
| -rw-r--r-- | motus/js/next.ml | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/motus/js/next.ml b/motus/js/next.ml index f26aa86..721c850 100644 --- a/motus/js/next.ml +++ b/motus/js/next.ml @@ -10,10 +10,9 @@ let process : t -> State.state -> State.state = let rules = State.get_current_rules state.current_prop in (* Update the word list with the new rules *) - let analysis = Motus_lib.Wordlist.filter rules state.analysis in - Printf.printf - "Number of elements after filter : %d\n" - (Motus_lib.Wordlist.list_size analysis); + let candidates = Motus_lib.Wordlist.filter rules state.candidates in + Printf.printf "Number of elements after filter : %d\n" + (Motus_lib.Wordlist.list_size candidates); let rules = Motus_lib.Criteria.merge_lists ~init:state.rules rules @@ -23,14 +22,13 @@ let process : t -> State.state -> State.state = let propositions = state.current_prop :: state.propositions and current_prop = [] in - let new_state = { state with propositions; current_prop; rules; analysis } in + let new_state = + { state with propositions; current_prop; rules; candidates } + in (* Get the new proposition if any *) let current_prop = - Initialize.get_proposition - ~catalog:state.catalog - state.length - analysis + Initialize.get_proposition ~catalog:state.catalog state.length candidates rules in match current_prop with |
