X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/adf24ec25c76cc5eaa5aa319eaa2df1405312f9e..02c1ef905d2101df872ccccccb2e4c7c0a508571:/interpreter/types.ml diff --git a/interpreter/types.ml b/interpreter/types.ml index 7024eeb..aa82868 100644 --- a/interpreter/types.ml +++ b/interpreter/types.ml @@ -24,6 +24,7 @@ class type value_type = method to_float_array : float array method of_float_array : float array -> value_type method to_string : string + method to_neststring : string method normalize : unit method add : value_type -> value_type method neg : value_type @@ -216,6 +217,8 @@ type matrix = float array array;; type data = float array array array;; +type raw_data = value_type array array;; + class type beam_type = object method get : signal_type array @@ -226,6 +229,7 @@ class type beam_type = method matching : int -> beam_type method at : time -> value_type array method output : int -> data + method output_values : int -> raw_data method frequency : rate_type array end;; @@ -253,7 +257,14 @@ class type process_type = class type io_type = object - method set : string -> string -> unit + method set : string -> string -> string -> unit method read : string array -> beam_type - method write : rate_type array -> data -> string array + method write : rate_type array -> data -> string * string -> string array end;; + + +type nest = + Scalar of float + | Vector of nestpar +and nestpar = Unary of nest + | Binary of nest * nestpar;; \ No newline at end of file