exception Beam_matching of string;;
open Types;;
+open Basic;;
+open Value;;
open Signal;;
class beam : signal_type array -> beam_type =
fun len ->
new beam (Array.sub self#get start len)
+ method cut : int -> beam_type * beam_type =
+ fun (cut_width : int)->
+ ((self#sub 0 cut_width),(self#sub cut_width (self#width - cut_width)))
+
method append : beam_type -> beam_type =
fun (b : beam_type) ->
new beam (Array.append self#get b#get)
else raise (Beam_matching "matching size error")
- method time : time -> value_type array =
+ method at : time -> value_type array =
fun t ->
let signal_at = fun (t : time) -> fun (s : signal_type) -> s#at t in
Array.map (signal_at t) self#get
- method output : int -> (int array) * (float array array) =
+ method output : int -> value_type array array =
fun (length_max : int) ->
-
+ let transpose : 'a array array -> 'a array array =
+ fun matrix ->
+ let get_element = fun i -> fun array -> array.(i) in
+ let get_column = fun m -> fun i -> Array.map (get_element i) m in
+ Array.init self#width (get_column matrix) in
+ let value_init = new value Error in
+ let container = Array.make length_max
+ (Array.make self#width value_init) in
+ let index = ref 0 in
+
+ try
+ while !index < length_max do
+ container.(!index) <- self#at !index;
+ incr index;
+ done;
+ transpose container
+ with x ->
+
+ let error_message =
+ match x with
+ | Convert_Error s -> "Convert_Error: " ^ s
+ | Basic_operation s -> "Basic_operation: " ^ s
+ | Signal_operation s -> "Signal_operation: " ^ s
+ | Beam_matching s -> "Beam_Matching_Error: " ^ s
+ | _ -> "Compute finished."
+ in
+ let () = print_string error_message in
+ transpose (Array.sub container 0 !index)
end