X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/fc2ec49c325b99370170789886b4be4f43e16d68..b8e89a384896a4f8ce3e1990a10c88e7164af55c:/documentation/code_VALSignal.signal_get.html diff --git a/documentation/code_VALSignal.signal_get.html b/documentation/code_VALSignal.signal_get.html deleted file mode 100644 index 9e8ae92..0000000 --- a/documentation/code_VALSignal.signal_get.html +++ /dev/null @@ -1,40 +0,0 @@ - - - - - - - - - - - - - -Signal.signal_get - - -let signal_get s1 s2 = 
-        let f1 = frequency s1 in
-        let f2 = frequency s2 in
-        let new_signal = fun t -> 
-                let temp1 = (signal_fun s1) t in
-                let temp2 = (signal_fun s2) t in
-                match temp1 with
-                |Vec (size1, vec1) ->
-                (
-                        match temp2 with
-                        |N i -> vec1 i
-                        |R f -> 
-                            raise (Signal_operation "Get: second input signal should be int.")
-                        |Vec (size2, vec2) -> 
-                            raise (Signal_operation "Get: second input signal should be int.")
-                        |Zero -> vec1 0
-                        |W -> 
-                            raise (Signal_operation "Get: second input signal should be int.")
-                )
-                |-> raise (Signal_operation "Get: first input signal should be vector.")
-        in
-        if f1 = f2 || f2 = 0 then (f1, new_signal)
-        else if f1 = 0 then (f2, new_signal)
-        else raise (Signal_operation "frequency not matched in signal_get.")
\ No newline at end of file