aboutsummaryrefslogtreecommitdiff
path: root/reg.ml
diff options
context:
space:
mode:
Diffstat (limited to 'reg.ml')
-rw-r--r--reg.ml16
1 files changed, 0 insertions, 16 deletions
diff --git a/reg.ml b/reg.ml
deleted file mode 100644
index 56c4ae6..0000000
--- a/reg.ml
+++ /dev/null
@@ -1,16 +0,0 @@
1(*
2 * UPEM / L3 / Functional programming / Project: URM
3 * Pacien TRAN-GIRARD, Adam NAILI
4 *)
5
6open Common
7
8let reg_idx (Reg(idx, _)) = idx
9let reg_val (Reg(_, value)) = value
10let reg_compar l r = (reg_val l) - (reg_val r)
11let reg_string (Reg (index, value)) = "(" ^ (string_of_int index) ^ "," ^ (string_of_int value) ^ ")"
12
13let regs_get reglist index = List.find (fun (Reg(idx, _)) -> idx = index) reglist |> reg_val
14let regs_set reglist index value = Reg(index, value) :: List.filter (fun (Reg(idx, _)) -> idx != index) reglist
15let regs_sort = List.sort (fun (Reg(l, _)) (Reg(r, _)) -> compare l r)
16let regs_string reglist = regs_sort reglist |> List.map (reg_string) |> String.concat ","