X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/fc2ec49c325b99370170789886b4be4f43e16d68..b8e89a384896a4f8ce3e1990a10c88e7164af55c:/documentation/code_VALInterpreter.realise_value_list.html
diff --git a/documentation/code_VALInterpreter.realise_value_list.html b/documentation/code_VALInterpreter.realise_value_list.html
deleted file mode 100644
index 2616f8a..0000000
--- a/documentation/code_VALInterpreter.realise_value_list.html
+++ /dev/null
@@ -1,36 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-Interpreter.realise_value_list
-
-
-let realise_value_list vl =
- let realise_value = fun v ->match v with
- |Vec (size, vec) ->
- let memory_hashtbl = Hashtbl.create size in
- let new_vec = fun i ->
- if i >= 0 && i < size then
- (
- ifHashtbl.mem memory_hashtbl i then
- Hashtbl.find memory_hashtbl i
- else
- let result = vec i in
- let () = Hashtbl.add memory_hashtbl i result in
- result
- )
- else raise (Invalid_argument"vector overflow.")
- in
- return_Vec (size, new_vec)
- | _ -> v
- in
- List.map realise_value vl
\ No newline at end of file