X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/fc2ec49c325b99370170789886b4be4f43e16d68..b8e89a384896a4f8ce3e1990a10c88e7164af55c:/documentation/code_VALValue.v_memory.html diff --git a/documentation/code_VALValue.v_memory.html b/documentation/code_VALValue.v_memory.html deleted file mode 100644 index feff183..0000000 --- a/documentation/code_VALValue.v_memory.html +++ /dev/null @@ -1,38 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_memory - - -let v_memory v = match v with
-  | Vec (size, vec) ->
-      let memory_array = Array.create size W in
-      let index_array = Array.create size false in
-      let new_vec = fun i -> 
-        if i >= 0 && i < size then 
-          (
-            if index_array.(i) then 
-              memory_array.(i)
-            else 
-              let result = vec i in
-              let () = memory_array.(i) <- result in
-              let () = index_array.(i) <- true in
-              result                
-          )
-        else raise (Invalid_argument "vector overflow.")
-      in
-      return_Vec (size, new_vec)
-  | _ -> v \ No newline at end of file