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 @@ -
- - - - - - - - - - - - -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