Added a motus solver

1 files changed, 31 insertions, 0 deletions

diff --git a/motus/js/reload.ml b/motus/js/reload.ml
new file mode 100644
index 0000000..3a461ee
--- /dev/null
+++ b/motus/js/reload.ml
@@ -0,0 +1,31 @@
+open StdLabels
+
+type t = unit
+
+let process : t -> State.state -> State.state =
+ fun () state ->
+  (* Get the word corresponding to the proposition *)
+  let word =
+    state.State.current_prop
+    |> List.to_seq
+    |> Seq.map (fun opt ->
+           match opt with
+           | None -> ' '
+           | Some (letter, _) -> String.get (Jstr.to_string letter) 0 )
+    |> String.of_seq
+  in
+
+  let element =
+    List.filter
+      ~f:(fun w -> not (String.equal w word))
+      state.State.analysis.element
+  in
+  let analysis = { state.analysis with element } in
+  let new_state = { state with analysis } in
+  (* Get the new proposition if any *)
+  let current_prop = Initialize.get_proposition analysis state.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 current_prop = prop }