From 742afb88b7b8efbb69c8cc3858163ce57d51b569 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Tue, 23 Jun 2020 13:59:37 +0200
Subject: [PATCH] chore: refactor dijkstra implementation
---
test/dijkstra-ring/p.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/test/dijkstra-ring/p.ml b/test/dijkstra-ring/p.ml
index 9fd4c769..302de275 100644
--- a/test/dijkstra-ring/p.ml
+++ b/test/dijkstra-ring/p.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 05/03/2020 (at 21:31) by Erwan Jahier> *)
+(* Time-stamp: <modified the 23/06/2020 (at 13:57) by Erwan Jahier> *)
open Algo
@@ -12,12 +12,12 @@ let (init_state: int -> string -> 's) =
let (enable_f: 's -> 's neighbor list -> action list) =
fun e nl ->
- let pred = List.hd nl in
+ let pred = match nl with [n] -> n | _ -> assert false in
if e <> state pred then ["T"] else []
let (step_f : 's -> 's neighbor list -> action -> 's) =
fun e nl a ->
- let pred = List.hd nl in
+ let pred = match nl with [n] -> n | _ -> assert false in
match a with
| _ -> state pred
--
GitLab