From 0647f37eebbefb8446fc8abfc533a23952fbb8be Mon Sep 17 00:00:00 2001 From: pacien Date: Sun, 29 Apr 2018 20:24:38 +0200 Subject: Move sources to dedicated directory --- reg.ml | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 reg.ml (limited to 'reg.ml') diff --git a/reg.ml b/reg.ml deleted file mode 100644 index 56c4ae6..0000000 --- a/reg.ml +++ /dev/null @@ -1,16 +0,0 @@ -(* - * UPEM / L3 / Functional programming / Project: URM - * Pacien TRAN-GIRARD, Adam NAILI - *) - -open Common - -let reg_idx (Reg(idx, _)) = idx -let reg_val (Reg(_, value)) = value -let reg_compar l r = (reg_val l) - (reg_val r) -let reg_string (Reg (index, value)) = "(" ^ (string_of_int index) ^ "," ^ (string_of_int value) ^ ")" - -let regs_get reglist index = List.find (fun (Reg(idx, _)) -> idx = index) reglist |> reg_val -let regs_set reglist index value = Reg(index, value) :: List.filter (fun (Reg(idx, _)) -> idx != index) reglist -let regs_sort = List.sort (fun (Reg(l, _)) (Reg(r, _)) -> compare l r) -let regs_string reglist = regs_sort reglist |> List.map (reg_string) |> String.concat "," -- cgit v1.2.3