motus/js/next.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

(** Load the next proposition from the word list *)

open StdLabels

type t = unit

let process : t -> State.state -> State.state =
 fun () state ->
  (* Get the news rules (and match the words only against the new ones )*)
  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

  let rules =
    Motus_lib.Criteria.merge_lists ~init:state.rules rules
    |> List.sort_uniq ~cmp:Stdlib.compare
  in

  let propositions = state.current_prop :: state.propositions
  and current_prop = [] in

  let new_state = { state with propositions; current_prop; rules; analysis } in

  (* Get the new proposition if any *)
  let current_prop = Initialize.get_proposition state.length analysis rules in
  match current_prop with
  | None -> new_state
  | Some prop ->
      FieldList.set_with_props prop state.fields new_state.rules;
      State.{ new_state with rules; current_prop = prop }