From: Karim Barkati Date: Tue, 27 Aug 2013 17:10:10 +0000 (+0200) Subject: Install, Readme and Changes files updated. Documentation removed. X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/commitdiff_plain/b8e89a384896a4f8ce3e1990a10c88e7164af55c Install, Readme and Changes files updated. Documentation removed. --- diff --git a/Changes.txt b/Changes.txt new file mode 100644 index 0000000..abf42e7 --- /dev/null +++ b/Changes.txt @@ -0,0 +1,4 @@ +Faustine 0.01: +-------------- + +* First internal release. diff --git a/INSTALL b/INSTALL.txt similarity index 82% rename from INSTALL rename to INSTALL.txt index 15636c0..692d4fb 100644 --- a/INSTALL +++ b/INSTALL.txt @@ -5,7 +5,6 @@ Installing Faustine on a Unix machine PREREQUISITES ------------- -* Faust is needed (tested version: 0.9.44). * OCaml is needed (tested version: 4.00.1). * The external "libsndfile-ocaml" OCaml module is needed. * The GNU C compiler gcc is recommended. @@ -24,15 +23,16 @@ INSTALLATION INSTRUCTIONS This generates the configuration file "Makefile". You will be asked for include paths: -* OCaml path -* libsndfile-ocaml path +* your OCaml path +* your libsndfile-ocaml path 2- From the top directory, do: make -This builds Faustine interpreter and Faust compiler for the first time. +This builds Faustine interpreter (and an adhoc Faust multirate preprocessor) +for the first time. This phase is fairly verbose; consider redirecting the output to a file: make > makelog.txt @@ -46,4 +46,4 @@ the newly created interpreter. From the top directory, do: --- Karim Barkati and Haisheng Wang, 2013 \ No newline at end of file +-- Karim Barkati and Haisheng Wang, 2013 diff --git a/README b/README.txt similarity index 69% rename from README rename to README.txt index 42a0b56..b0ff5d1 100644 --- a/README +++ b/README.txt @@ -24,22 +24,16 @@ Yann Orlarey, 2009: CONTENTS -------- - Changes what's new with each release + Changes.txt what's new with each release INSTALL instructions for installation LICENSE license and copyright notice - Makefile main Makefile + Makefile main Makefile generated by configure + Makefile.in main Makefile body README this file - config/ autoconfiguration stuff - emacs/ OCaml editing mode and debugger interface for GNU Emacs - lex/ lexer generator - otherlibs/ several external libraries - parsing/ syntax analysis - stdlib/ standard library - tools/ various utilities - toplevel/ interactive system - typing/ typechecking - utils/ utility libraries - yacc/ parser generator + configure configuration script + examples/ vector examples (fft, image processing...) + interpretor/ Faustine's interpretor source code + libs/ external libraries INSTALLATION @@ -74,4 +68,4 @@ Emacs Info files. It is available on the World Wide Web, at --- Karim Barkati and Haisheng Wang, 2013 \ No newline at end of file +-- Karim Barkati and Haisheng Wang, 2013 diff --git a/documentation/Faustexp.html b/documentation/Faustexp.html deleted file mode 100644 index f5cada9..0000000 --- a/documentation/Faustexp.html +++ /dev/null @@ -1,97 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -Faustexp - - - -

Module Faustexp

-
-

module Faustexp: sig .. end

Module: Faustexp - Description: dimension estimation and delay estimation of faust expressions.
-Author(s): WANG Haisheng - Created: 03/06/2013 Modified: 04/06/2013
-

exception Beam_Matching_Error of string

-Exception raised in beam matching of faust expressions.
-

exception NotYetDone

-Exception raised in case that the branch under call hasn't yet been programed.
-

val delay : Types.faust_exp -> int

-val delay : faust_exp -> int, returns the number of delays estimated staticly. -Attention: delays of "@" is estimated as 10 constant, -delays of "vectorize" and "serialize" haven't been implemented, -delays of "rdtable" hasn't been implemented.
-

val exp_of_string : string -> Types.faust_exp

-val exp_of_string : string -> faust_exp, faust expression parser.
-

val get_root : Types.dimension -> int * int

-val get_root : dimension -> int * int, returns the root of dimension tree.
-

val subtree : Types.dimension -> int -> Types.dimension

-val subtree : dimention -> int -> dimension, returns a subtree of dimension tree.
-

val subtree_left : Types.dimension -> Types.dimension

-val subtree_left : dimension -> dimension, returns the left subtree of dimension tree.
-

val subtree_right : Types.dimension -> Types.dimension

-val subtree_right : dimension -> dimension, returns the right subtree of dimension tree.
-

val d_par : int * int -> int * int -> int * int

-val d_par : int * int -> int * int -> int * int, process dimension for constructor "par(,)", -which is the addition of two dimensions.
-

val d_seq : 'a * 'b -> 'b * 'c -> 'a * 'c

-val d_seq : int * int -> int * int -> int * int, process dimension for constructor "seq(:)", -which is (size of input beam of first exp, size of output beam of second exp) -along with beam matching.
-

val d_split : 'a * int -> int * 'b -> 'a * 'b

-val d_split : int * int -> int * int -> int * int, process dimension for constructor "split(<:)", -which is (size of input beam of first exp, size of output beam of second exp) -along with beam matching.
-

val d_merge : 'a * int -> int * 'b -> 'a * 'b

-val d_merge : int * int -> int * int -> int * int, process dimension for constructor "merge(:>)", -which is (size of input beam of first exp, size of output beam of second exp) -along with beam matching.
-

val d_rec : int * 'a -> 'a * int -> int * 'a

-val d_rec : int * int -> int * int -> int * int, process dimension for constructor "rec(~)", -which is (size of input beam of first exp - size of output beam of second exp, -size of output beam of first exp) -along with beam matching.
-

val dim : Types.faust_exp -> Types.dimension

-val dim : faust_exp -> int * int, returns dimension for faust expression, -along with beam matching.
-

val print_exp : Types.faust_exp -> unit

-val print_exp : faust_exp -> unit, print to console the input faust expression.
-

- \ No newline at end of file diff --git a/documentation/Interpreter.html b/documentation/Interpreter.html deleted file mode 100644 index 973e7ae..0000000 --- a/documentation/Interpreter.html +++ /dev/null @@ -1,121 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -Interpreter - - - -

Module Interpreter

-
-

module Interpreter: sig .. end

Module: Interpreter - Description: input beam -> process -> output beam
-Author(s): WANG Haisheng - Created: 15/05/2013 Modified: 04/06/2013
-

exception Evaluation_Error of string

-Exception raised during interpretation of faust process.
-

-
type interpreter_macro = - - - - - - - - - -

-`\|`	-`Number_samples_int`
-`\|`	-`Max_Eval_Time_int`

- -

-Macro constants of this file.
-

- -

val interpreter_macro_to_value : interpreter_macro -> int

-val interpreter_macro_to_value : returns the value associated with the macro.
-

val fun_array_to_fun : ('a -> 'b) array -> 'a -> 'b array

-val func_of_func_array : (int -> value) array -> (int -> value array), -applies the same int parameter to each element of function array, -produces a value array.
-

val computing : (int -> Types.value array) -> int -> int -> float array array array

-val computing : (int -> value array) -> int -> int -> float array array array, -applies time sequence "0,1,2,3,...,max" to signal beam, -returns primitive output data.
-

val matrix_transpose : 'a array array -> int -> 'a array array

-val matrix_transpose : 'a array array -> 'a array array, -transposes the input matrix.
-

val channels : 'a array array array -> int -> int array

-val channels : 'a array array array -> int -> int array, -returns an array of number of channels.
-

val arrange : 'a array array array -> int -> 'a array list

-val arrange : 'a array array array -> int -> 'a array list, -arranges the output data in "array list" form.
-

val compute : (int -> Types.value) list -> int list * float array list

-val compute : (int -> value) list -> (int list) * (float array list). -input: a list of signal functions -output: channel number list, data list.
-

val sublist : 'a list -> int -> int -> 'a list

-val sublist : 'a list -> int -> int -> 'a list, -sublist l start length, returns the sublist of list 'l', -from index 'start', with length 'length'.
-

val make_beam : 'a list * float array list -> ('a * (int -> Types.value)) list

-val make_beam : (int list) * (float array list) -> (int * (int -> value)) list, -input: (sample rate list, data list) -output: beam = (sample rate, function) list
-

val interpret_const : 'a -> 'b list -> (int * ('c -> 'a)) list

-val interpret_const : value -> beam -> beam, generates constant signal with frequency 0.
-

val interpret_ident : Types.symbol ->
       (int * (int -> Types.value)) list -> (int * (int -> Types.value)) list

-val interpret_ident : string -> beam -> beam, -generates signals according to identified symbols.
-

val eval : Types.faust_exp ->
       Types.dimension ->
       (int * (int -> Types.value)) list -> (int * (int -> Types.value)) list

-val rec eval : faust_exp -> beam -> beam, -main interpretation work is done here.
-

val extract_rate : (int * 'a) list -> int list

-val extract_rate : (int * (int -> value)) list -> int list, -gets the sample rate list from beam.
-

val interpreter : Types.faust_exp ->
       int list * float array list -> int list * int list * float array list

-val interpreter : faust_exp -> (int list) * (float array list) -> -(int list) * (int list) * (float array list) -input: faust expression, sample rate list * input data list -output: channel list * sample rate list * output data list.
-

- \ No newline at end of file diff --git a/documentation/Lexer.html b/documentation/Lexer.html deleted file mode 100644 index 0f4dafe..0000000 --- a/documentation/Lexer.html +++ /dev/null @@ -1,32 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -Lexer - - - -

Module Lexer

-
-

module Lexer: sig .. end

val __ocaml_lex_tables : Lexing.lex_tables

val token : Lexing.lexbuf -> Parser.token

val __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Parser.token

\ No newline at end of file diff --git a/documentation/Main.html b/documentation/Main.html deleted file mode 100644 index 2dcc24f..0000000 --- a/documentation/Main.html +++ /dev/null @@ -1,85 +0,0 @@ - - - - - - - - - - - - - - - - - - - - -Main - - - -

Module Main

-
-

module Main: sig .. end

Module: Interpreter - Description: Input wave -> interpretation -> output wave
-Author(s): WANG Haisheng - Created: 15/05/2013 Modified: 04/06/2013
-

exception Missing_Expression

-Exception raised when no string expression of faust process is typed in console.
-

-
type io_macro = - - - - - - - - - - - - - - -

-`\|`	-`Input_Route_string`
-`\|`	-`Output_Route_string`
-`\|`	-`Dsp_Route_string`

- -

-Macro constants of input/output route.
-

- -

val io_macro_to_string : io_macro -> string

-val io_macro_to_string : io_macro -> string.
-

val set_GC : unit -> unit

-val set_GC : unit -> unit
-

val read_input_wave : string array -> int list * float array list

-val read_input_wave : string array -> int list * float array list - read_input_wave argv gets information from command line, - returns sample rate list and data (in form of float array) list.
-

val write_output_wave : int list -> int list -> float array list -> unit

-val write_output_wave : int list -> int list -> float_array_list -> unit. - write_output_wave channel_numbers sample_rates data
-

val write_output_txt : int list -> float array list -> unit

-val main : unit -> unit -main function reads console input strings (Sys.argv) with -input: string of faust process, input waves in default directory 'input_sounds/' -output: output waves in default directory 'output_sounds/'.
-

val main : unit -> unit

\ No newline at end of file diff --git a/documentation/Parser.html b/documentation/Parser.html deleted file mode 100644 index ee0d667..0000000 --- a/documentation/Parser.html +++ /dev/null @@ -1,112 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -Parser - - - -

Module Parser

-
-

module Parser: sig .. end

-
type token = - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

-`\|`	-`CONST of string`
-`\|`	-`IDENT of string`
-`\|`	-`LPAR`
-`\|`	-`RPAR`
-`\|`	-`SEQ`
-`\|`	-`SPLIT`
-`\|`	-`MERGE`
-`\|`	-`PAR`
-`\|`	-`REC`
-`\|`	-`EOF`
-`\|`	-`POINT`

- - -

val yytransl_const : int array

val yytransl_block : int array

val yylhs : string

val yylen : string

val yydefred : string

val yydgoto : string

val yysindex : string

val yyrindex : string

val yygindex : string

val yytablesize : int

val yytable : string

val yycheck : string

val yynames_const : string

val yynames_block : string

val yyact : (Parsing.parser_env -> Obj.t) array

val yytables : Parsing.parse_tables

val main : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Types.faust_exp

\ No newline at end of file diff --git a/documentation/Preprocess.html b/documentation/Preprocess.html deleted file mode 100644 index 62c0cb1..0000000 --- a/documentation/Preprocess.html +++ /dev/null @@ -1,32 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -Preprocess - - - -

Module Preprocess

-
-

module Preprocess: sig .. end

val preprocess : string -> string

\ No newline at end of file diff --git a/documentation/Signal.html b/documentation/Signal.html deleted file mode 100644 index 164afa5..0000000 --- a/documentation/Signal.html +++ /dev/null @@ -1,175 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -Signal - - - -

Module Signal

-
-

module Signal: sig .. end

Module: Signal - Description: type signal = rate * (int -> value), operations of signals.
-Author(s): WANG Haisheng - Created: 03/06/2013 Modified: 03/06/2013
-

exception Signal_operation of string

-Exception raised in operations of signals.
-

-
type signal_macro = - - - - -

-`\|`	-`Delay_Memory_Length_int`

- -

-Macro constants of the file.
-

- -

val signal_macro_to_int : signal_macro -> int

-val signal_macro_to_int : signal_macro -> int.
-

val frequency : 'a * 'b -> 'a

-val frequency : signal -> int, returns the frequency of a signal.
-

val signal_fun : 'a * 'b -> 'b

-val signal_fun : signal -> (int -> value), returns the functional part of a signal.
-

val check_frequency : int -> int -> int

-val check_frequency : int -> int -> int, returns the correction of frequency.
-

val signal_check_frequency : int * 'a -> int * 'b -> int

-val signal_check_frequency : signal -> signal -> int, -checks the frequencies of two input signals, and returns common frequency or raise an exception.
-

val signal_check_frequency3 : int * 'a -> int * 'b -> int * 'c -> int

-val signal_check_frequency3 : signal -> signal -> signal -> int, -checks the frequencies of three input signal, and returns common frequency or raise an exception.
-

val signal_check_frequency4 : int * 'a -> int * 'b -> int * 'c -> int * 'd -> int

-val signal_check_frequency4 : signal -> signal -> signal -> signal -> int, -checks the frequencies of three input signal, and returns common frequency or raise an exception.
-

val signal_add_one_memory : 'a * (int -> 'b) -> 'a * (int -> 'b)

-val signal_add_one_memory : signal -> signal, -returns the signal with memory of one latest sample.
-

val beam_add_one_memory : ('a * (int -> 'b)) list -> ('a * (int -> 'b)) list

-val beam_add_one_memory : signal list -> signal list, -adds memory of one latest sample for each element in signal list.
-

val signal_add : int * ('a -> Types.value) ->
       int * ('a -> Types.value) -> int * ('a -> Types.value)

-val signal_add : signal -> signal -> signal, output(t) = input1(t) + input2(t), - frequency consistent.
-

val signal_neg : 'a * ('b -> Types.value) -> 'a * ('b -> Types.value)

-val signal_neg : signal -> signal, output(t) = -input(t), frequency consistent.
-

val signal_sub : int * ('a -> Types.value) ->
       int * ('a -> Types.value) -> int * ('a -> Types.value)

-val signal_sub : signal -> signal -> signal, output(t) = input1(t) - input2(t), - frequency consistent.
-

val signal_mul : int * ('a -> Types.value) ->
       int * ('a -> Types.value) -> int * ('a -> Types.value)

-val signal_mul : signal -> signal -> signal, output(t) = input1(t) * input2(t), - frequency consistent.
-

val signal_div : int * ('a -> Types.value) ->
       int * ('a -> Types.value) -> int * ('a -> Types.value)

-val signal_div : signal -> signal -> signal, output(t) = input1(t) / input2(t), - frequency consistent.
-

val signal_delay : 'a * (int -> Types.value) ->
       'b * (int -> Types.value) -> 'a * (int -> Types.value)

-val signal_delay : signal -> signal -> signal, output(t) = input1(t - input2(t)), - Attention: delay dynamic, frequency of output signal equals to that of first input signal.
-

val signal_mem : 'a * (int -> Types.value) -> 'a * (int -> Types.value)

-val signal_mem : signal -> signal, equivalent to signal_delay with constant delay 1.
-

val signal_vectorize : int * (int -> Types.value) ->
       'a * (int -> Types.value) -> int * (int -> Types.value)

-val signal_vectorize : signal -> signal -> signal, output(t)(i) = input1(input2(0) * t + i), -Attention: vector size n static, frequency of output signal is (1/n * frequency of input1)
-

val signal_serialize : int * (int -> Types.value) -> int * (int -> Types.value)

-val signal_serialize : signal -> signal, output(t) = input(floor(t/n))(t%n), - with n = size of input(0). - Attention: input size unknown in the cas of "rec".
-

val signal_append : int * ('a -> Types.value) ->
       int * ('a -> Types.value) -> int * ('a -> Types.value)

-val signal_append : signal -> signal -> signal, symbol "#", - appends vectors of the two input signals at each time, frequency consistent.
-

val signal_nth : int * ('a -> Types.value) ->
       int * ('a -> Types.value) -> int * ('a -> Types.value)

-val signal_nth : signal -> signal -> signal, symbol "[]", output(t) = input1(t)(input2(t)), - frequency consistent. Attention: selection index dynamic.
-

val signal_floor : 'a * ('b -> Types.value) -> 'a * ('b -> Types.value)

-val signal_floor : signal -> signal, output(t) = v_floor(input(t)), frequency consistent.
-

val signal_int : 'a * ('b -> Types.value) -> 'a * ('b -> Types.value)

-val signal_int : signal -> signal, output(t) = v_int(input(t)), frequency consistent.
-

val signal_sin : 'a * ('b -> Types.value) -> 'a * ('b -> Types.value)

-val signal_sin : signal -> signal, output(t) = v_sin(input(t)), frequency consistent.
-

val signal_cos : 'a * ('b -> Types.value) -> 'a * ('b -> Types.value)

-val signal_cos : signal -> signal, output(t) = v_cos(input(t)), frequency consistent.
-

val signal_atan : 'a * ('b -> Types.value) -> 'a * ('b -> Types.value)

-val signal_atan : signal -> signal, output(t) = v_atan(input(t)), frequency consistent.
-

val signal_atantwo : 'a * ('b -> Types.value) ->
       'c * ('b -> Types.value) -> 'a * ('b -> Types.value)

val signal_sqrt : 'a * ('b -> Types.value) -> 'a * ('b -> Types.value)

-val signal_sqrt : signal -> signal, output(t) = v_sqrt(input(t)), frequency consistent.
-

val signal_rdtable : 'a * (int -> Types.value) ->
       'b * (int -> 'c) -> 'd * ('e -> Types.value) -> 'd * ('e -> 'c)

-val signal_rdtable : signal -> signal -> signal, - output(t) = input1(input2(t)), frequency equals to that of input2. - Attention: no memory implemented, very expensive when input1 comes from rec or delays.
-

val signal_mod : int * ('a -> Types.value) ->
       int * ('a -> Types.value) -> int * ('a -> Types.value)

-val signal_mod : signal -> signal -> signal, - output(t) = input1(t) % input2(t), frequency consistent.
-

val signal_sup : int * ('a -> Types.value) ->
       int * ('a -> Types.value) -> int * ('a -> Types.value)

-val signal_sup : signal -> signal -> signal, - output(t) = input1(t) > input2(t), frequency consistent.
-

val signal_inf : int * ('a -> Types.value) ->
       int * ('a -> Types.value) -> int * ('a -> Types.value)

-val signal_inf : signal -> signal -> signal, - output(t) = input1(t) < input2(t), frequency consistent.
-

val signal_select2 : int * ('a -> Types.value) ->
       int * ('a -> 'b) -> int * ('a -> 'b) -> int * ('a -> 'b)

-val signal_select2 : signal -> signal -> signal -> signal, -signal_select2 si s0 s1 selects s0 or s1 by index si, frequency consistent.
-

val signal_select3 : int * ('a -> Types.value) ->
       int * ('a -> 'b) -> int * ('a -> 'b) -> int * ('a -> 'b) -> int * ('a -> 'b)

-val signal_select3 : signal -> signal -> signal -> signal -> signal, -signal_select3 si s0 s1 s2 selects s0 or s1 or s2 by index si, frequency consistent.
-

val signal_prefix : 'a * (int -> 'b) -> 'c * (int -> 'b) -> 'c * (int -> 'b)

-val signal_prefix : signal -> signal -> signal, -signal_prefix s0 s1 returns s0(0) if t = 0, s1(t-1) if t > 0, frequency same to s1.
-

- \ No newline at end of file diff --git a/documentation/Types.html b/documentation/Types.html deleted file mode 100644 index 1b2bf4b..0000000 --- a/documentation/Types.html +++ /dev/null @@ -1,329 +0,0 @@ - - - - - - - - - - - - - - - - - - - - -Types - - - -

Module Types

-
-

module Types: sig .. end

type symbol, defines valid identifiers in faust expressions.
-

-
type value = - - - - - - - - - - - - - - - - - - - - - - - - -

-`\|`	-`N of int`
-`\|`	-`R of float`
-`\|`	-`Vec of int * (int -> value)`
-`\|`	-`Zero`
-`\|`	-`W`

- - -
type symbol = - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

-`\|`	-`Add`
-`\|`	-`Sup`
-`\|`	-`Mul`
-`\|`	-`Div`
-`\|`	-`Pass`
-`\|`	-`Stop`
-`\|`	-`Mem`
-`\|`	-`Delay`
-`\|`	-`Floor`
-`\|`	-`Int`
-`\|`	-`Sin`
-`\|`	-`Cos`
-`\|`	-`Atan`
-`\|`	-`Atantwo`
-`\|`	-`Sqrt`
-`\|`	-`Rdtable`
-`\|`	-`Mod`
-`\|`	-`Vectorize`
-`\|`	-`Concat`
-`\|`	-`Nth`
-`\|`	-`Serialize`
-`\|`	-`Larger`
-`\|`	-`Smaller`
-`\|`	-`Prefix`
-`\|`	-`Selecttwo`
-`\|`	-`Selectthree`

- -

-type symbol, defines valid identifiers in faust expressions.
-

- -

exception Symbol_not_defined

val symbol_of_string : string -> symbol

type signal = int * (int -> value)

- -
type faust_exp = - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

-`\|`	-`Const of value`
-`\|`	-`Ident of symbol`
-`\|`	-`Par of faust_exp * faust_exp`
-`\|`	-`Seq of faust_exp * faust_exp`
-`\|`	-`Rec of faust_exp * faust_exp`
-`\|`	-`Split of faust_exp * faust_exp`
-`\|`	-`Merge of faust_exp * faust_exp`

- - -
type dimension = - - - - - - - - - -

-`\|`	-`End of (int * int)`
-`\|`	-`Tree of (int * int) * (dimension * dimension)`

- - - \ No newline at end of file diff --git a/documentation/Value.html b/documentation/Value.html deleted file mode 100644 index d434f5d..0000000 --- a/documentation/Value.html +++ /dev/null @@ -1,193 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -Value - - - -

Module Value

-
-

module Value: sig .. end

Module: Value - Description: basic data type in the vectorial faust interpreter.
-Author(s): WANG Haisheng - Created: 31/05/2013 Modified: 03/06/2013
-

exception Convert_Error of string

-Exception raised in convertions between float/int and type 'Value'.
-

exception Value_operation of string

-Exception raised in type 'Value' operations.
-

-
type value_macro = - - - - - - - - - - - - - - -

-`\|`	-`Faust_Max_int`
-`\|`	-`Faust_Min_int`
-`\|`	-`Faust_Bits_int`

- -

-Macro constants of the file.
-

- -

val value_macro_to_int : value_macro -> int

-val value_macro_to_value : value_macro -> int.
-

val return_N : int -> Types.value

-val return_N : int -> value, convert from int to value N.
-

val return_R : float -> Types.value

-val return_R : float -> value, convert from float to value R.
-

val return_Vec : int * (int -> Types.value) -> Types.value

-val return_Vec : int * (int -> value) -> value, convert (size, vec) to value Vec.
-

val fail : Types.value

-val fail, return value W.
-

val take_off_N : Types.value -> int

-val take_off_N : value -> int, convert from value N to int. -Attention: Zero and W are converted to 0.
-

val take_off_R : Types.value -> float

-val take_off_R : value -> float, convert from value R to float. -Attention: Zero and W are converted to 0.0, int converted to float.
-

val convert_back_R : Types.value -> float array

-val convert_back_r : value -> float array, -return a float array of size 1 if v is N|R|Zero|W, a float array of size n if v is Vec.
-

val string_of_value : Types.value -> string

-val string_of_value : value -> string, converts value to following -strings "N i" | "R f" | "Vec" | "Zero" | "W".
-

val print_value_list : Types.value list -> unit

-val print_value_list: value list -> unit, prints to console the value list.
-

val factory_add_memory : (int -> 'a) -> int -> int -> 'a

-val factory_add_memory : (int -> 'b) -> int -> (int -> 'b), -factory_add_memory f n adds a memory of size n to fun f.
-

val v_memory : Types.value -> Types.value

-val v_memory : value -> value, returns value Vec with memory.
-

val v_list_memory : Types.value list -> Types.value list

-val v_list_memory : value list -> value list, returns value list with memory.
-

val make_vector : int -> (int -> Types.value) -> Types.value

-val make_vector : int -> (int -> value) -> value, -make_vector size vec, return a value Vec of (size, vec).
-

val normalize : Types.value -> Types.value

-val normalize: value -> value, normalize value to bounded -2147483648,2147483647.
-

val v_add : Types.value -> Types.value -> Types.value

-val v_add : value -> value -> value, value addition, recursive for value.Vec.
-

val (+~) : Types.value -> Types.value -> Types.value

-val (+~) : value -> value -> value, operator of v_add.
-

val v_neg : Types.value -> Types.value

-val v_neg : value -> value, v_neg v = -v.
-

val v_sub : Types.value -> Types.value -> Types.value

-val v_sub : value -> value -> value, returns (v1 - v2).
-

val (-~) : Types.value -> Types.value -> Types.value

-val (-~) : value -> value -> value, operator of v_sub.
-

val v_mul : Types.value -> Types.value -> Types.value

-val v_mul : value -> value -> value, returns (v1 * v2), recursive for value.Vec.
-

val ( *~ ) : Types.value -> Types.value -> Types.value

-val ( *~ ) : value -> value -> value, operator of v_mul.
-

val v_recip : Types.value -> Types.value

-val v_recip : value -> value, v_recip v = 1./.v.
-

val v_div : Types.value -> Types.value -> Types.value

-val v_div : value -> value -> value, value division, returns (v1/.v2).
-

val (/~) : Types.value -> Types.value -> Types.value

-val (/~) : value -> value -> value, operator of v_div.
-

val v_zero : Types.value -> Types.value

-val v_zero : value -> value, Attention: N i -> N 0 | R f -> R 0. | Zero -> Zero | W -> R 0., -and recursive for value.Vec.
-

val v_floor : Types.value -> Types.value

-val v_floor : value -> value, returns floor of float, converts int to float, Zero to 0., - error to error, recursive for value.Vec.
-

val v_int : Types.value -> Types.value

-val v_int : value -> value, converts value to value.N, error to error, recursive for value.Vec.
-

val v_sin : Types.value -> Types.value

-val v_sin : value -> value, returns sin(v), recursive for value.Vec.
-

val v_cos : Types.value -> Types.value

-val v_cos : value -> value, returns cos(v), recursive for value.Vec.
-

val v_atan : Types.value -> Types.value

-val v_atan : value -> value, returns atan(v), recursive for value.Vec.
-

val v_atantwo : Types.value -> Types.value -> Types.value

-val v_atantwo : value -> value, returns atantwo(v), recursive for value.Vec.
-

val v_sqrt : Types.value -> Types.value

-val v_sqrt : value -> value, returns sqrt(v), recursive for value.Vec.
-

val v_mod : Types.value -> Types.value -> Types.value

-val v_mod : value -> value -> value, returns (v1 % v2), recursive for value.Vec.
-

val v_larger_than_zero : Types.value -> Types.value

-val v_larger_than_zero : value -> value, primitive comparison between value and zero, -returns value.N 1 if true, value.N 0 if false.
-

val v_sup : Types.value -> Types.value -> Types.value

-val v_sup : value -> value -> value, comparison of two values, returns value.N 1 if (v1 > v2), -value.N 0 else.
-

val v_inf : Types.value -> Types.value -> Types.value

-val v_inf : value -> value -> value, comparison of two values, returns value.N 1 if (v1 < v2), -value.N 0 else.
-

- \ No newline at end of file diff --git a/documentation/code_VALFaustexp.d_merge.html b/documentation/code_VALFaustexp.d_merge.html deleted file mode 100644 index 0543476..0000000 --- a/documentation/code_VALFaustexp.d_merge.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Faustexp.d_merge - - -

let d_merge a b = 

-  if ((snd a) mod (fst b)) = 0 then 

-    (fst a, snd b) 

-  else raise (Beam_Matching_Error "merge")

\ No newline at end of file diff --git a/documentation/code_VALFaustexp.d_par.html b/documentation/code_VALFaustexp.d_par.html deleted file mode 100644 index a1b85e4..0000000 --- a/documentation/code_VALFaustexp.d_par.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Faustexp.d_par - - -let d_par a b = (((fst a) + (fst b)), ((snd a) + (snd b))) \ No newline at end of file diff --git a/documentation/code_VALFaustexp.d_rec.html b/documentation/code_VALFaustexp.d_rec.html deleted file mode 100644 index fab4195..0000000 --- a/documentation/code_VALFaustexp.d_rec.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Faustexp.d_rec - - -

let d_rec a b = 

-  if (fst a) >= (snd b) && (snd a) >= (fst b) then 

-    ((fst a) - (snd b), snd a) 

-  else raise (Beam_Matching_Error "rec")

\ No newline at end of file diff --git a/documentation/code_VALFaustexp.d_seq.html b/documentation/code_VALFaustexp.d_seq.html deleted file mode 100644 index 92ca8a2..0000000 --- a/documentation/code_VALFaustexp.d_seq.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Faustexp.d_seq - - -let d_seq a b = if (snd a) = (fst b) then (fst a, snd b) else raise (Beam_Matching_Error "seq") \ No newline at end of file diff --git a/documentation/code_VALFaustexp.d_split.html b/documentation/code_VALFaustexp.d_split.html deleted file mode 100644 index a55b9b6..0000000 --- a/documentation/code_VALFaustexp.d_split.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Faustexp.d_split - - -

let d_split a b = 

-  if ((fst b) mod (snd a)) = 0 then 

-    (fst a, snd b) 

-  else raise (Beam_Matching_Error "split")

\ No newline at end of file diff --git a/documentation/code_VALFaustexp.delay.html b/documentation/code_VALFaustexp.delay.html deleted file mode 100644 index cf55901..0000000 --- a/documentation/code_VALFaustexp.delay.html +++ /dev/null @@ -1,56 +0,0 @@ - - - - - - - - - - - - - - - - -Faustexp.delay - - -

let rec delay exp_faust = match exp_faust with

-        |Const v        ->        0

-        |Ident s        ->

-                (

-                        match s with

-                        |Add                        ->        0

-                        |Sup                        ->        0                

-                        |Mul                        ->        0

-                        |Div                        ->        0

-                        |Pass                        ->        0

-                        |Stop                        ->        0

-                        |Mem                        ->        1

-                        |Delay                        ->        100000 (* danger! *)

-                        |Floor                        ->        0

-                        |Int                        ->        0

-                        |Sin                        ->        0

-                        |Cos                        ->        0

-                        |Atan                        ->        0

-                        |Atantwo                ->      0

-                        |Sqrt                        ->        0

-                        |Rdtable                ->        100000 (* danger! *)

-                        |Mod                        ->        0

-                        |Larger                        ->        0

-                        |Smaller                ->        0

-                        |Vectorize                ->        100 (* danger! *)

-                        |Concat                        ->        0

-                        |Nth                        ->        0

-                        |Serialize                ->        0

-                        |Prefix                         ->        1

-                        |Selecttwo                ->        0

-                        |Selectthree                ->        0

-                )

-        |Par (e1, e2)        ->        max (delay e1) (delay e2)

-        |Seq (e1, e2)        ->        (delay e1) + (delay e2)

-        |Split (e1, e2)        ->        (delay e1) + (delay e2)

-        |Merge (e1, e2)        ->        (delay e1) + (delay e2)

-        |Rec (e1, e2)        ->        delay e1

\ No newline at end of file diff --git a/documentation/code_VALFaustexp.dim.html b/documentation/code_VALFaustexp.dim.html deleted file mode 100644 index ea2db74..0000000 --- a/documentation/code_VALFaustexp.dim.html +++ /dev/null @@ -1,68 +0,0 @@ - - - - - - - - - - - - - - - - -Faustexp.dim - - -

let rec dim exp_faust = 

-

-

(** val dimension_constructor : ((int * int) -> (int * int) -> (int * int)) -> faust_exp --> faust_exp -> dimension, -returns the dimension tree of constructor(e1, e2).*)



-        let dimension_constructor = fun constructor -> fun e1 -> fun e2 ->

-            let subtree1 = dim e1 in

-            let subtree2 = dim e2 in

-            let root = constructor (get_root subtree1) (get_root subtree2) in

-            Tree (root, (subtree1, subtree2)) in

-

-        match exp_faust with

-        |Const v -> End (0, 1)

-        |Ident s -> 

-                (

-                        match s with

-                        |Add                        ->        End (2, 1)

-                        |Sup                        ->        End (2, 1)                

-                        |Mul                        ->        End (2, 1)

-                        |Div                        ->        End (2, 1)

-                        |Pass                        ->        End (1, 1)

-                        |Stop                        ->        End (1, 0)

-                        |Mem                        ->        End (1, 1)

-                        |Delay                        ->        End (2, 1)

-                        |Floor                            ->      End (1, 1)

-                        |Int                        ->        End (1, 1)

-                        |Sin                        ->        End (1, 1)

-                        |Cos                        ->        End (1, 1)

-                        |Atan                        ->        End (1, 1)

-                        |Atantwo                ->      End (2, 1)

-                        |Sqrt                        ->        End (1, 1)

-                        |Rdtable                ->        End (3, 1)

-                        |Mod                          ->        End (2, 1)

-                        |Vectorize                ->        End (2, 1)

-                        |Concat                        ->        End (2, 1)

-                        |Nth                        ->        End (2, 1)

-                        |Serialize                ->        End (1, 1)

-                        |Larger                        ->        End (2, 1)

-                        |Smaller                ->        End (2, 1)

-                        |Prefix                        ->        End (2, 1)

-                        |Selecttwo                ->        End (3, 1)

-                        |Selectthree                ->        End (4, 1)

-                )

-

-        |Par (e1, e2)           ->      dimension_constructor d_par e1 e2

-        |Seq (e1, e2)                ->        dimension_constructor d_seq e1 e2

-        |Split (e1, e2)                ->        dimension_constructor d_split e1 e2

-        |Merge (e1, e2)                ->        dimension_constructor d_merge e1 e2

-        |Rec (e1, e2)                ->        dimension_constructor d_rec e1 e2

\ No newline at end of file diff --git a/documentation/code_VALFaustexp.exp_of_string.html b/documentation/code_VALFaustexp.exp_of_string.html deleted file mode 100644 index 549f173..0000000 --- a/documentation/code_VALFaustexp.exp_of_string.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Faustexp.exp_of_string - - -let exp_of_string s = (Parser.main Lexer.token (Lexing.from_string s)) \ No newline at end of file diff --git a/documentation/code_VALFaustexp.get_root.html b/documentation/code_VALFaustexp.get_root.html deleted file mode 100644 index d3f7938..0000000 --- a/documentation/code_VALFaustexp.get_root.html +++ /dev/null @@ -1,22 +0,0 @@ - - - - - - - - - - - - - - - - -Faustexp.get_root - - -

let get_root = fun d_tree -> match d_tree with

-                        | End d -> d

-                        | Tree (d, branches) -> d

\ No newline at end of file diff --git a/documentation/code_VALFaustexp.print_exp.html b/documentation/code_VALFaustexp.print_exp.html deleted file mode 100644 index 3f2765e..0000000 --- a/documentation/code_VALFaustexp.print_exp.html +++ /dev/null @@ -1,30 +0,0 @@ - - - - - - - - - - - - - - - - -Faustexp.print_exp - - -

let print_exp exp = 

-  let rec string_of_exp exp = match exp with

-    |Const v                ->        "Const" ^ " (" ^ (string_of_value v) ^ ")"

-    |Ident s                ->        "Ident" ^ " \"" ^ "s" ^ "\""

-    |Par (e1, e2)        ->        "Par" ^ " (" ^ (string_of_exp e1) ^ ", " ^ (string_of_exp e2) ^ ")"

-    |Seq (e1, e2)        ->        "Seq" ^ " (" ^ (string_of_exp e1) ^ ", " ^ (string_of_exp e2) ^ ")"

-    |Split (e1, e2)        ->        "Split" ^ " (" ^ (string_of_exp e1) ^ ", " ^ (string_of_exp e2) ^ ")"

-    |Merge (e1, e2)        ->        "Merge" ^ " (" ^ (string_of_exp e1) ^ ", " ^ (string_of_exp e2) ^ ")"

-    |Rec (e1, e2)        ->        "Rec" ^ " (" ^ (string_of_exp e1) ^ ", " ^ (string_of_exp e2) ^ ")"

-  in

-    print_string("Parer : Types.faust_exp = "^ (string_of_exp exp))

\ No newline at end of file diff --git a/documentation/code_VALFaustexp.subtree.html b/documentation/code_VALFaustexp.subtree.html deleted file mode 100644 index 8a83436..0000000 --- a/documentation/code_VALFaustexp.subtree.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - -Faustexp.subtree - - -

let subtree = fun d_tree -> fun i ->

-  match d_tree with

-  | End d -> raise (Beam_Matching_Error "Subtree left absent.")

-  | Tree (d, branches) -> (

-      match branches with 

-        (left, right) -> if i = 0 then left else right)

\ No newline at end of file diff --git a/documentation/code_VALFaustexp.subtree_left.html b/documentation/code_VALFaustexp.subtree_left.html deleted file mode 100644 index 2184440..0000000 --- a/documentation/code_VALFaustexp.subtree_left.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Faustexp.subtree_left - - -let subtree_left = fun d_tree -> subtree d_tree 0 \ No newline at end of file diff --git a/documentation/code_VALFaustexp.subtree_right.html b/documentation/code_VALFaustexp.subtree_right.html deleted file mode 100644 index 33f3a70..0000000 --- a/documentation/code_VALFaustexp.subtree_right.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Faustexp.subtree_right - - -let subtree_right = fun d_tree -> subtree d_tree 1 \ No newline at end of file diff --git a/documentation/code_VALInterpreter.arrange.html b/documentation/code_VALInterpreter.arrange.html deleted file mode 100644 index 3c105b1..0000000 --- a/documentation/code_VALInterpreter.arrange.html +++ /dev/null @@ -1,27 +0,0 @@ - - - - - - - - - - - - - - - - -Interpreter.arrange - - -

let arrange = fun float_array_array_array -> fun width ->

-        let concat faaa = fun i -> 

-                let faa = faaa.(i) in

-                Array.concat (Array.to_list faa)

-        in

-        let float_array_array = Array.init width (concat float_array_array_array) in

-        let float_array_list = Array.to_list float_array_array in

-        float_array_list

\ No newline at end of file diff --git a/documentation/code_VALInterpreter.channels.html b/documentation/code_VALInterpreter.channels.html deleted file mode 100644 index 1668932..0000000 --- a/documentation/code_VALInterpreter.channels.html +++ /dev/null @@ -1,28 +0,0 @@ - - - - - - - - - - - - - - - - -Interpreter.channels - - -

let channels = fun f_array_array_array -> fun width ->

-          let channel = fun faaa -> fun i -> 

-                let faa = faaa.(i) in

-                let length = Array.length faa in

-                let fa = faa.(length - 1) in

-                Array.length fa

-        in

-        let channel_array = Array.init width (channel f_array_array_array) in

-        channel_array

\ No newline at end of file diff --git a/documentation/code_VALInterpreter.compute.html b/documentation/code_VALInterpreter.compute.html deleted file mode 100644 index d4f5dd8..0000000 --- a/documentation/code_VALInterpreter.compute.html +++ /dev/null @@ -1,36 +0,0 @@ - - - - - - - - - - - - - - - - -Interpreter.compute - - -

let compute fun_list = 

-        let () = print_endline("Computing output signals...") in

-        

-        (* arrange input information *)

-        let length = interpreter_macro_to_value Number_samples_int in

-        let width = List.length fun_list in

-        let beam_fun = fun_array_to_fun (Array.of_list fun_list) in

-

-        (* calculate output wave *)

-        let tmp_float_array_array_array = computing beam_fun width length in

-

-        (* arrange output data *)

-        let output_float_array_array_array = matrix_transpose tmp_float_array_array_array width in

-        let channel_array = channels output_float_array_array_array width in

-        let channel_list = Array.to_list channel_array in

-        let output_float_array_list = arrange output_float_array_array_array width in

-        (channel_list, output_float_array_list)

\ No newline at end of file diff --git a/documentation/code_VALInterpreter.computing.html b/documentation/code_VALInterpreter.computing.html deleted file mode 100644 index dc3a81f..0000000 --- a/documentation/code_VALInterpreter.computing.html +++ /dev/null @@ -1,45 +0,0 @@ - - - - - - - - - - - - - - - - -Interpreter.computing - - -

let computing = fun f -> fun width -> fun length ->

-        let container_float_array_array_array = 

-                ref (Array.make length (Array.make width [||])) in

-        let index = ref 0 in

-

-        try

-                while !index < length do

-                        (!container_float_array_array_array).(!index) 

-                                      <- (Array.map convert_back_R (f (!index)));

-                        incr index;

-                done;

-                !container_float_array_array_array

-

-        with x ->

-                let error_message = 

-                        match x with

-                        |Convert_Error s -> "Convert_Error: " ^ s

-                        |Value_operation s -> "Value_operation: " ^ s

-                        |Signal_operation s -> "Signal_operation: " ^ s

-                        |Beam_Matching_Error s -> "Beam_Matching_Error: " ^ s

-                        |Evaluation_Error s -> "Evaluation_Error: " ^ s

-                        |NotYetDone -> "NotYetDone"

-                        |_ -> "Compute finished."

-                in

-                let () = print_endline error_message in

-                Array.sub (!container_float_array_array_array) 0 !index

\ No newline at end of file diff --git a/documentation/code_VALInterpreter.eval.html b/documentation/code_VALInterpreter.eval.html deleted file mode 100644 index c3795e1..0000000 --- a/documentation/code_VALInterpreter.eval.html +++ /dev/null @@ -1,235 +0,0 @@ - - - - - - - - - - - - - - - - -Interpreter.eval - - -

let rec eval exp_faust dimension_tree input_beam = 

-

-

-

(** val interpret_par : faust_exp -> faust_exp -> beam -> beam, -interprets par(e1, e2) with input beam, produces output beam.*)



-let interpret_par = fun e1 -> fun e2 -> fun dimension_tree -> fun input_beam ->

-

-        (* dimension information *)

-        let n = List.length input_beam in

-        let subtree1 = subtree_left dimension_tree in

-        let subtree2 = subtree_right dimension_tree in

-        let d1 = get_root subtree1 in

-        let d2 = get_root subtree2 in

-

-        if n = (fst d1) + (fst d2) then 

-        (                

-                (* segmentation of input beam *)

-                let input_beam1 = sublist input_beam 0 (fst d1) in

-                let input_beam2 = sublist input_beam (fst d1) (fst d2) in

-

-                (* evaluate two expressions respectively *)

-                let output_beam1 = eval e1 subtree1 input_beam1 in

-                let output_beam2 = eval e2 subtree2 input_beam2 in

-

-                (* concat two output beams *)

-                if List.length output_beam1 = snd d1 && List.length output_beam2 = snd d2 

-                then (output_beam1 @ output_beam2) 

-                else raise (Evaluation_Error "Par")

-        )

-        else raise (Evaluation_Error "Par") in

-

-

-

(** val interpret_seq : faust_exp -> faust_exp -> beam -> beam, -interprets seq(e1, e2) with input beam, produces output beam.*)



-let interpret_seq = fun e1 -> fun e2 -> fun dimension_tree -> fun input_beam ->

-

-        (* dimension information *)

-        let n = List.length input_beam in

-        let subtree1 = subtree_left dimension_tree in

-        let subtree2 = subtree_right dimension_tree in

-        let d1 = get_root subtree1 in

-        let d2 = get_root subtree2 in

-

-

-        if n = fst d1 then

-        (

-                (* evaluate the first expression *)

-                let output_beam1 = eval e1 subtree1 input_beam in

-

-                (* evaluate the second expression *)

-                if List.length output_beam1 = fst d2 

-                then eval e2 subtree2 output_beam1

-                else raise (Evaluation_Error "Seq")

-        )

-        else raise (Evaluation_Error "Seq") in

-

-

-

(** val interpret_split : faust_exp -> faust_exp -> beam -> beam, -interprets split(e1, e2) with input beam, produces output beam.*)



-let interpret_split = fun e1 -> fun e2 -> fun dimension_tree -> fun input_beam ->

-

-        (* dimension information *)

-        let n = List.length input_beam in

-        let subtree1 = subtree_left dimension_tree in

-        let subtree2 = subtree_right dimension_tree in

-        let d1 = get_root subtree1 in

-        let d2 = get_root subtree2 in

-

-

-        if n = fst d1 then

-        (

-                (* evaluate the first expression *)

-                let output_beam1 = eval e1 subtree1 input_beam in

-

-                (* beam matching *)

-                let ref_output_beam1 = ref (beam_add_one_memory output_beam1) in

-                let input_beam2 = List.concat 

-                    (Array.to_list (Array.make ((fst d2)/(List.length output_beam1)) !ref_output_beam1)) 

-                in

-

-                (* evaluate the second expression *)

-                if List.length input_beam2 = fst d2

-                then eval e2 subtree2 input_beam2

-                else raise (Evaluation_Error "Split")

-        )

-        else raise (Evaluation_Error "Split") in

-

-

-

(** val interpret_merge : faust_exp -> faust_exp -> beam -> beam, -interprets merge(e1, e2) with input beam, produces output beam.*)



-let interpret_merge = fun e1 -> fun e2 -> fun dimension_tree -> fun input_beam ->

-

-        (* dimension information *)

-        let n = List.length input_beam in

-        let subtree1 = subtree_left dimension_tree in

-        let subtree2 = subtree_right dimension_tree in

-        let d1 = get_root subtree1 in

-        let d2 = get_root subtree2 in

-

-

-        if n = fst d1 then

-        (

-                (* evaluate the first expression *)

-                let output_beam1 = eval e1 subtree1 input_beam in

-

-                (* beam matching *)

-                let input_beam2 = 

-                (

-                        let fois = (snd d1)/(fst d2) in

-                        let ref_beam = ref (sublist output_beam1 0 (fst d2)) in

-                        for i = 1 to fois - 1 do

-                                let temp_beam = sublist output_beam1 (i*(fst d2)) (fst d2) in

-                                ref_beam := List.map2 signal_add (!ref_beam) temp_beam;

-                        done;

-                        !ref_beam

-                )

-                in

-

-                (* evaluate the second expression *)

-                if List.length input_beam2 = fst d2

-                then eval e2 subtree2 input_beam2

-                else raise (Evaluation_Error "Merge")

-        )

-        else raise (Evaluation_Error "Merge") in

-

-

-

(** val interpret_rec : faust_exp -> faust_exp -> beam -> beam, -interprets rec(e1, e2) with input beam, produces output beam.*)



-let interpret_rec = fun e1 -> fun e2 -> fun dimension_tree -> fun input_beam ->

-

-        (* dimension information *)

-        let subtree1 = subtree_left dimension_tree in

-        let subtree2 = subtree_right dimension_tree in

-        let d1 = get_root subtree1 in

-        let d2 = get_root subtree2 in

-

-        (* estimate stockage size for delay *)

-        let delay_int = 1 + delay e2 + delay e1 in

-

-        (* prepare stockage *)

-        let memory_hashtbl = Hashtbl.create delay_int in

-        let rate_list = ref (Array.to_list (Array.make (snd d1) 0)) in

-

-

(** val apply_to : 'a -> ('a -> 'b) -> 'b *)



-        let apply_to = fun t -> fun f -> f t in

-

-

(** val get_value_fun_list : (int -> (int list) * (value list)) -> (int -> value) list *)

                

-        let get_value_fun_list = fun beam_fun -> 

-                let tmp = fun beam_fun -> fun i -> fun t -> 

-                        List.nth (snd (beam_fun t)) i in

-                List.map (tmp beam_fun) (Array.to_list (Array.init (snd d1) (fun n -> n))) in

-

-

(** val make_signal : int -> (int -> value) -> signal, combines rate and function. *)



-        let make_signal = fun rate -> fun f -> (rate, f) in

-

-

(** val output_beam_fun : int -> (int list) * (value list), with - input : time - output: rate list * value list *)



-        let rec output_beam_fun = fun t ->

-

-                (* initial value in constrctor "rec '~'" *)

-                if t < 0 then

-                        let init_rate_list = Array.to_list (Array.make (snd d1) 0) in

-                        let value_list = Array.to_list (Array.make (snd d1) Zero) in

-                        (init_rate_list, value_list)

-

-                (* check stockage at time t *)

-                else if Hashtbl.mem memory_hashtbl t then 

-                        (!rate_list, Hashtbl.find memory_hashtbl t)

-

-                (* blocks : "a ~ b", calculate rate list and value list at time t *)

-                else         

-                        (* mid_output_fun_list : (int -> value) list *)

-                        let mid_output_fun_list = get_value_fun_list output_beam_fun in

-

-                        (* b_input_fun_list : (int -> value) list *)

-                        let b_input_fun_list = List.map 

-                            (fun s -> fun t -> s (t - 1)) 

-                            (sublist mid_output_fun_list 0 (fst d2)) in

-

-                        (* b_input_beam : signal list *)

-                        let b_input_beam = List.map2 make_signal 

-                            (sublist !rate_list 0 (fst d2))

-                            b_input_fun_list in

-

-                        (* evaluation of block "b" *)

-                        let b_output_beam = (eval e2 subtree2 b_input_beam) in

-

-                        (* evaluation of block "a" *)

-                        let a_input_beam = b_output_beam @ input_beam in

-                        let mid_output_beam = eval e1 subtree1 a_input_beam in

-

-                        (* calculate rate list and value list at time t *)

-                        let mid_output_rate_list = List.map fst mid_output_beam in

-                        let mid_output_value_list = List.map (apply_to t) (List.map snd mid_output_beam) in

-

-                        (* update stockage *)

-                        let () = (rate_list := mid_output_rate_list) in

-                        let () = Hashtbl.add memory_hashtbl t mid_output_value_list in

-                        let () = Hashtbl.remove memory_hashtbl (t - delay_int) in

-                        (mid_output_rate_list, mid_output_value_list) in

-

-        (* output_beam : signal list *)

-        let output_beam = List.map2 make_signal !rate_list (get_value_fun_list output_beam_fun) in

-        output_beam in

-

-

-

(** Call for previous functions *)



-        match exp_faust with

-        |Const v -> interpret_const v input_beam

-        |Ident s -> interpret_ident s input_beam

-        |Par (e1, e2) -> interpret_par e1 e2 dimension_tree input_beam

-        |Seq (e1, e2) -> interpret_seq e1 e2 dimension_tree input_beam

-        |Split (e1, e2) -> interpret_split e1 e2 dimension_tree input_beam

-        |Merge (e1, e2) -> interpret_merge e1 e2 dimension_tree input_beam

-        |Rec (e1, e2) -> interpret_rec e1 e2 dimension_tree input_beam

\ No newline at end of file diff --git a/documentation/code_VALInterpreter.extract_rate.html b/documentation/code_VALInterpreter.extract_rate.html deleted file mode 100644 index 5020310..0000000 --- a/documentation/code_VALInterpreter.extract_rate.html +++ /dev/null @@ -1,28 +0,0 @@ - - - - - - - - - - - - - - - - -Interpreter.extract_rate - - -

let extract_rate = fun beam ->

-          let rate_naive_list = List.map fst beam in

-        let correct_rate r = 

-                if r = 0 then 44100 

-                else if r > 0 then r

-                else raise (Evaluation_Error "Rec2")

-        in

-        let rate_list = List.map correct_rate rate_naive_list in

-        rate_list

\ No newline at end of file diff --git a/documentation/code_VALInterpreter.fun_array_to_fun.html b/documentation/code_VALInterpreter.fun_array_to_fun.html deleted file mode 100644 index d472813..0000000 --- a/documentation/code_VALInterpreter.fun_array_to_fun.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Interpreter.fun_array_to_fun - - -

let fun_array_to_fun = fun fun_array -> 

-        let reverse = fun t -> fun f -> f t in

-        let new_fun = fun t-> Array.map (reverse t) fun_array in

-        new_fun

\ No newline at end of file diff --git a/documentation/code_VALInterpreter.interpret_const.html b/documentation/code_VALInterpreter.interpret_const.html deleted file mode 100644 index 89c80cc..0000000 --- a/documentation/code_VALInterpreter.interpret_const.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Interpreter.interpret_const - - -

let interpret_const = fun v -> fun input_beam ->

-        let n = List.length input_beam in

-        if n = 0 then [(0,(fun t -> v))] 

-        else raise (Evaluation_Error "Const")

\ No newline at end of file diff --git a/documentation/code_VALInterpreter.interpret_ident.html b/documentation/code_VALInterpreter.interpret_ident.html deleted file mode 100644 index c911e20..0000000 --- a/documentation/code_VALInterpreter.interpret_ident.html +++ /dev/null @@ -1,100 +0,0 @@ - - - - - - - - - - - - - - - - -Interpreter.interpret_ident - - -

let interpret_ident = fun s -> fun input_beam ->

-        let n = List.length input_beam in

-        match s with

-        |Pass -> if n = 1 then input_beam else raise (Evaluation_Error "Ident _")

-

-        |Stop -> if n = 1 then [] else raise (Evaluation_Error "Ident !")

-

-        |Add -> if n = 2 then [signal_add (List.nth input_beam 0) (List.nth input_beam 1)] 

-                        else raise (Evaluation_Error "Ident +")

-

-        |Sup -> if n = 2 then [signal_sub (List.nth input_beam 0) (List.nth input_beam 1)] 

-                        else raise (Evaluation_Error "Ident -")

-

-        |Mul -> if n = 2 then [signal_mul (List.nth input_beam 0) (List.nth input_beam 1)] 

-                        else raise (Evaluation_Error "Ident *")

-

-        |Div -> if n = 2 then [signal_div (List.nth input_beam 0) (List.nth input_beam 1)] 

-                        else raise (Evaluation_Error "Ident /")

-

-        |Delay -> if n = 2 then [signal_delay (List.nth input_beam 0) (List.nth input_beam 1)] 

-                        else raise (Evaluation_Error "Ident @")

-

-        |Mem -> if n = 1 then [signal_mem (List.nth input_beam 0)] 

-                        else raise (Evaluation_Error "Ident mem")

-

-        |Vectorize -> if n = 2 then [signal_vectorize (List.nth input_beam 0) (List.nth input_beam 1)]

-                        else raise (Evaluation_Error "Ident vectorize")

-

-        |Serialize -> if n = 1 then [signal_serialize (List.nth input_beam 0)]

-                        else raise (Evaluation_Error "Ident serialize")

-

-        |Concat -> if n = 2 then [signal_append (List.nth input_beam 0) (List.nth input_beam 1)]

-                        else raise (Evaluation_Error "Ident #")

-

-        |Nth -> if n = 2 then [signal_nth (List.nth input_beam 0) (List.nth input_beam 1)]

-                        else raise (Evaluation_Error "Ident []")

-

-        |Floor -> if n = 1 then [signal_floor (List.nth input_beam 0)]

-                        else raise (Evaluation_Error "Ident floor")

-

-        |Int -> if n = 1 then [signal_int (List.nth input_beam 0)]

-                        else raise (Evaluation_Error "Ident int")

-

-        |Sin -> if n = 1 then [signal_sin (List.nth input_beam 0)]

-                        else raise (Evaluation_Error "Ident sin")

-

-        |Cos -> if n = 1 then [signal_cos (List.nth input_beam 0)]

-                        else raise (Evaluation_Error "Ident cos")

-

-        |Atan -> if n = 1 then [signal_atan (List.nth input_beam 0)]

-                        else raise (Evaluation_Error "Ident atan")

-

-        |Atantwo -> if n = 2 then [signal_atantwo (List.nth input_beam 0) (List.nth input_beam 1)]

-                        else raise (Evaluation_Error "Ident atantwo")

-

-        |Sqrt -> if n = 1 then [signal_sqrt (List.nth input_beam 0)]

-                        else raise (Evaluation_Error "Ident sqrt")

-

-        |Rdtable -> if n = 3 then [signal_rdtable (List.nth input_beam 0) 

-                                        (List.nth input_beam 1) (List.nth input_beam 2)] 

-                        else raise (Evaluation_Error "Ident rdtable")

-

-        |Selecttwo -> if n = 3 then [signal_select2 (List.nth input_beam 0) (List.nth input_beam 1) 

-                                        (List.nth input_beam 2)] 

-                        else raise (Evaluation_Error "Ident select2")

-

-        |Selectthree -> if n = 4 then [signal_select3 (List.nth input_beam 0) (List.nth input_beam 1) 

-                                        (List.nth input_beam 2) (List.nth input_beam 3)] 

-                        else raise (Evaluation_Error "Ident select3")

-

-        |Prefix -> if n = 2 then [signal_prefix (List.nth input_beam 0) (List.nth input_beam 1)] 

-                        else raise (Evaluation_Error "Ident prefix")

-

-        |Mod -> if n = 2 then [signal_mod (List.nth input_beam 0) (List.nth input_beam 1)] 

-                        else raise (Evaluation_Error "Ident %")

-

-        |Larger -> if n = 2 then [signal_sup (List.nth input_beam 0) (List.nth input_beam 1)] 

-                        else raise (Evaluation_Error "Ident >")

-

-        |Smaller -> if n = 2 then [signal_inf (List.nth input_beam 0) (List.nth input_beam 1)] 

-                else raise (Evaluation_Error "Ident <")

\ No newline at end of file diff --git a/documentation/code_VALInterpreter.interpreter.html b/documentation/code_VALInterpreter.interpreter.html deleted file mode 100644 index d729ce1..0000000 --- a/documentation/code_VALInterpreter.interpreter.html +++ /dev/null @@ -1,37 +0,0 @@ - - - - - - - - - - - - - - - - -Interpreter.interpreter - - -

let interpreter exp_faust input = 

-        let () = print_endline("Interpretation...") in

-

-        (* make input beam *)

-        let input_beam = make_beam input in

-

-        (* estimate process dimension *)

-        let dimension_tree = dim exp_faust in

-

-        (* interprete output beam *)

-        let output_beam = eval exp_faust dimension_tree input_beam in

-

-        (* get rate list from output beam *)

-        let rate_list = extract_rate output_beam in

-

-        (* get channel list and data list from output beam *)

-        let (channel_list, float_array_list) = compute (List.map snd output_beam) in

-                (channel_list, rate_list, float_array_list)

\ No newline at end of file diff --git a/documentation/code_VALInterpreter.interpreter_macro_to_value.html b/documentation/code_VALInterpreter.interpreter_macro_to_value.html deleted file mode 100644 index 3ca9a53..0000000 --- a/documentation/code_VALInterpreter.interpreter_macro_to_value.html +++ /dev/null @@ -1,22 +0,0 @@ - - - - - - - - - - - - - - - - -Interpreter.interpreter_macro_to_value - - -

let interpreter_macro_to_value m = match m with

-                                | Number_samples_int -> 0xFFFF

-                                | Max_Eval_Time_int -> 0xFFFFFFFF

\ No newline at end of file diff --git a/documentation/code_VALInterpreter.interpreter_rec.html b/documentation/code_VALInterpreter.interpreter_rec.html deleted file mode 100644 index 52a3c4a..0000000 --- a/documentation/code_VALInterpreter.interpreter_rec.html +++ /dev/null @@ -1,169 +0,0 @@ - - - - - - - - - - - - - -Interpreter.interpreter_rec - - -

let rec interpreter_rec exp_faust dimension_tree input_beam = 

-

-

-

(** val interpret_par : faust_exp -> faust_exp -> beam -> beam, -interprets par(e1, e2) with input beam, produces output beam.*)



-let interpret_par = fun e1 -> fun e2 -> fun dimension_tree -> fun input_beam ->

-        let n = List.length input_beam in

-        let subtree1 = subtree_left dimension_tree in

-        let subtree2 = subtree_right dimension_tree in

-        let d1 = get_root subtree1 in

-        let d2 = get_root subtree2 in

-        if n = (fst d1) + (fst d2) then 

-        (

-                let input_beam1 = sublist input_beam 0 (fst d1) in

-                let input_beam2 = sublist input_beam (fst d1) (fst d2) in

-                let output_beam1 = interpreter_rec e1 subtree1 input_beam1 in

-                let output_beam2 = interpreter_rec e2 subtree2 input_beam2 in

-                if List.length output_beam1 = snd d1 && List.length output_beam2 = snd d2 

-                then (output_beam1 @ output_beam2) 

-                else raise (Evaluation_Error "Par")

-        )

-        else raise (Evaluation_Error "Par") in

-

-

-

(** val interpret_seq : faust_exp -> faust_exp -> beam -> beam, -interprets seq(e1, e2) with input beam, produces output beam.*)



-let interpret_seq = fun e1 -> fun e2 -> fun dimension_tree -> fun input_beam ->

-        let n = List.length input_beam in

-        let subtree1 = subtree_left dimension_tree in

-        let subtree2 = subtree_right dimension_tree in

-        let d1 = get_root subtree1 in

-        let d2 = get_root subtree2 in

-        if n = fst d1 then

-        (

-                let output_beam1 = interpreter_rec e1 subtree1 input_beam in

-                if List.length output_beam1 = fst d2 

-                then interpreter_rec e2 subtree2 output_beam1

-                else raise (Evaluation_Error "Seq")

-        )

-        else raise (Evaluation_Error "Seq") in

-

-

-

(** val interpret_split : faust_exp -> faust_exp -> beam -> beam, -interprets split(e1, e2) with input beam, produces output beam.*)



-let interpret_split = fun e1 -> fun e2 -> fun dimension_tree -> fun input_beam ->

-        let n = List.length input_beam in

-        let subtree1 = subtree_left dimension_tree in

-        let subtree2 = subtree_right dimension_tree in

-        let d1 = get_root subtree1 in

-        let d2 = get_root subtree2 in

-        if n = fst d1 then

-        (

-                let output_beam1 = interpreter_rec e1 subtree1 input_beam in

-                let ref_output_beam1 = ref (beam_add_one_memory output_beam1) in

-                let input_beam2 = List.concat 

-                    (Array.to_list (Array.make ((fst d2)/(List.length output_beam1)) !ref_output_beam1)) 

-                in

-                if List.length input_beam2 = fst d2

-                then interpreter_rec e2 subtree2 input_beam2

-                else raise (Evaluation_Error "Split")

-        )

-        else raise (Evaluation_Error "Split") in

-

-

-

(** val interpret_merge : faust_exp -> faust_exp -> beam -> beam, -interprets merge(e1, e2) with input beam, produces output beam.*)



-let interpret_merge = fun e1 -> fun e2 -> fun dimension_tree -> fun input_beam ->

-        let n = List.length input_beam in

-        let subtree1 = subtree_left dimension_tree in

-        let subtree2 = subtree_right dimension_tree in

-        let d1 = get_root subtree1 in

-        let d2 = get_root subtree2 in

-        if n = fst d1 then

-        (

-                let output_beam1 = interpreter_rec e1 subtree1 input_beam in

-                let input_beam2 = 

-                (

-                        let fois = (snd d1)/(fst d2) in

-                        let ref_beam = ref (sublist output_beam1 0 (fst d2)) in

-                        for i = 1 to fois - 1 do

-                                let temp_beam = sublist output_beam1 (i*(fst d2)) (fst d2) in

-                                ref_beam := List.map2 signal_add (!ref_beam) temp_beam;

-                        done;

-                        !ref_beam

-                )

-                in

-                if List.length input_beam2 = fst d2

-                then interpreter_rec e2 subtree2 input_beam2

-                else raise (Evaluation_Error "Merge")

-        )

-        else raise (Evaluation_Error "Merge") in

-

-

-

(** val interpret_rec : faust_exp -> faust_exp -> beam -> beam, -interprets rec(e1, e2) with input beam, produces output beam.*)



-let interpret_rec = fun e1 -> fun e2 -> fun dimension_tree -> fun input_beam ->

-        let n = List.length input_beam in

-        let subtree1 = subtree_left dimension_tree in

-        let subtree2 = subtree_right dimension_tree in

-        let d1 = get_root subtree1 in

-        let d2 = get_root subtree2 in

-        if n = (fst d1) - (snd d2) then

-        (

-                let aux1 = fun t -> fun f -> f t in

-                let aux2 = fun beam_fun -> fun i -> fun t -> List.nth (snd (beam_fun t)) i in

-                let aux3 = fun beam_fun -> List.map 

-                    (aux2 beam_fun) 

-                    (Array.to_list (Array.init (snd d1) (fun n -> n))) 

-                in

-                let make_signal = fun rate -> fun f -> (rate, f) in

-                let delay_int = 1 + delay e2 + delay e1 in

-                let memory_hashtbl = Hashtbl.create delay_int in

-                let rate_list = ref (Array.to_list (Array.make (snd d1) 0)) in

-                let rec output_beam_fun = fun t ->

-                        if t < 0 then

-                                let init_rate_list = Array.to_list (Array.make (snd d1) 0) in

-                                let value_list = Array.to_list (Array.make (snd d1) Zero) in

-                                (init_rate_list, value_list)

-                        else if Hashtbl.mem memory_hashtbl t then 

-                                (!rate_list, Hashtbl.find memory_hashtbl t)

-                        else         

-                                let mid_output_fun_list1 = aux3 output_beam_fun in (* danger! *)

-                                let b_input_fun_list = List.map 

-                                    (fun s -> fun t -> s (t - 1)) 

-                                    (sublist mid_output_fun_list1 0 (fst d2)) 

-                                in

-                                let b_input_beam = List.map2 make_signal !rate_list b_input_fun_list in

-                                let b_output_beam = (interpreter_rec e2 subtree2 b_input_beam) in

-                                let a_input_beam = b_output_beam @ input_beam in

-                                let mid_output_beam2 = interpreter_rec e1 subtree1 a_input_beam in

-                                let mid_output_rate_list = List.map fst mid_output_beam2 in

-                                let mid_output_value_list = List.map (aux1 t) (List.map snd mid_output_beam2) in

-                                let () = (rate_list := mid_output_rate_list) in

-                                let mid_output_value_list_for_stock = v_list_memory mid_output_value_list in

-                                let () = Hashtbl.add memory_hashtbl t mid_output_value_list_for_stock in

-                                let () = Hashtbl.remove memory_hashtbl (t - delay_int) in

-                                (mid_output_rate_list, mid_output_value_list_for_stock)

-                in

-                let output_beam = List.map2 make_signal !rate_list (aux3 output_beam_fun) in

-                output_beam

-        )

-        else raise (Evaluation_Error "Rec1") in

-

-

-

(** Call for previous functions *)



-        match exp_faust with

-        |Const v -> interpret_const v input_beam

-        |Ident s -> interpret_ident s input_beam

-        |Par (e1, e2) -> interpret_par e1 e2 dimension_tree input_beam

-        |Seq (e1, e2) -> interpret_seq e1 e2 dimension_tree input_beam

-        |Split (e1, e2) -> interpret_split e1 e2 dimension_tree input_beam

-        |Merge (e1, e2) -> interpret_merge e1 e2 dimension_tree input_beam

-        |Rec (e1, e2) -> interpret_rec e1 e2 dimension_tree input_beam

\ No newline at end of file diff --git a/documentation/code_VALInterpreter.make_beam.html b/documentation/code_VALInterpreter.make_beam.html deleted file mode 100644 index b0ae9c6..0000000 --- a/documentation/code_VALInterpreter.make_beam.html +++ /dev/null @@ -1,28 +0,0 @@ - - - - - - - - - - - - - - - - -Interpreter.make_beam - - -

let make_beam = fun input ->

-        let rate_list = fst input in

-        let float_array_list = snd input in

-        let value_array_list = 

-                List.map (Array.map return_R) float_array_list in

-        let fun_list = List.map Array.get value_array_list in

-        let make_signal = fun rate -> fun f -> (rate, f) in

-        let beam = List.map2 make_signal rate_list fun_list in

-        beam

\ No newline at end of file diff --git a/documentation/code_VALInterpreter.matrix_transpose.html b/documentation/code_VALInterpreter.matrix_transpose.html deleted file mode 100644 index 2bedad1..0000000 --- a/documentation/code_VALInterpreter.matrix_transpose.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - -Interpreter.matrix_transpose - - -

let matrix_transpose = fun m_array_array -> fun width -> 

-        let get_element = fun i -> fun array -> Array.get array i in

-        let get_line = fun array_array -> fun i -> 

-                Array.map (get_element i) array_array in

-        let transpose array_array = Array.init width (get_line array_array) in

-        transpose m_array_array

\ No newline at end of file diff --git a/documentation/code_VALInterpreter.realise_value_list.html b/documentation/code_VALInterpreter.realise_value_list.html deleted file mode 100644 index 2616f8a..0000000 --- a/documentation/code_VALInterpreter.realise_value_list.html +++ /dev/null @@ -1,36 +0,0 @@ - - - - - - - - - - - - - -Interpreter.realise_value_list - - -

let realise_value_list vl  = 

-  let realise_value = fun v -> match v with

-  | Vec (size, vec) ->

-      let memory_hashtbl = Hashtbl.create size in

-      let new_vec = fun i -> 

-        if i >= 0 && i < size then 

-          (

-            if Hashtbl.mem memory_hashtbl i then 

-              Hashtbl.find memory_hashtbl i

-            else 

-              let result = vec i in

-              let () = Hashtbl.add memory_hashtbl i result in

-              result                

-          )

-        else raise (Invalid_argument "vector overflow.")

-      in

-      return_Vec (size, new_vec)

-  | _ -> v

-  in

-  List.map realise_value vl

\ No newline at end of file diff --git a/documentation/code_VALInterpreter.sublist.html b/documentation/code_VALInterpreter.sublist.html deleted file mode 100644 index bb66b24..0000000 --- a/documentation/code_VALInterpreter.sublist.html +++ /dev/null @@ -1,27 +0,0 @@ - - - - - - - - - - - - - - - - -Interpreter.sublist - - -

let sublist l start length = 

-        try

-                let arr = Array.of_list l in

-                let sub_array = Array.sub arr start length in

-                        Array.to_list sub_array

-

-        with (Invalid_argument "Array.sub") ->

-                raise (Invalid_argument "List.sub")

\ No newline at end of file diff --git a/documentation/code_VALLexer.__ocaml_lex_tables.html b/documentation/code_VALLexer.__ocaml_lex_tables.html deleted file mode 100644 index 62654be..0000000 --- a/documentation/code_VALLexer.__ocaml_lex_tables.html +++ /dev/null @@ -1,43 +0,0 @@ - - - - - - - - - - - - - - - - -Lexer.__ocaml_lex_tables - - -

let __ocaml_lex_tables = {

-  Lexing.lex_base = 

-   "\000\000\242\255\243\255\001\000\247\255\248\255\249\255\250\255\079\000\000\000\253\255\001\000\072\000\255\255\245\255\252\255\244\255";

-  Lexing.lex_backtrk = 

-   "\255\255\255\255\255\255\009\000\255\255\255\255\255\255\255\255\004\000\255\255\255\255\002\000\001\000\255\255\255\255\255\255\255\255";

-  Lexing.lex_default = 

-   "\255\255\000\000\000\000\255\255\000\000\000\000\000\000\000\000\255\255\255\255\000\000\255\255\255\255\000\000\000\000\000\000\000\000";

-  Lexing.lex_trans = 

-   "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\013\000\013\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\013\000\010\000\000\000\010\000\000\000\010\000\000\000\000\000\006\000\005\000\010\000\010\000\004\000\010\000\007\000\010\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\003\000\014\000\011\000\000\000\010\000\016\000\010\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\009\000\000\000\015\000\000\000\010\000\000\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\000\000\000\000\000\000\002\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\000\000\000\000\000\000\000\000\000\000\000\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000";

-  Lexing.lex_check = 

-   "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\000\000\000\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\000\000\000\000\255\255\000\000\255\255\000\000\255\255\255\255\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\000\000\255\255\000\000\003\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\255\255\009\000\255\255\000\000\255\255\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\255\255\255\255\255\255\000\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\255\255\255\255\255\255\255\255\255\255\255\255\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\000\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255";

-  Lexing.lex_base_code = 

-   "";

-  Lexing.lex_backtrk_code = 

-   "";

-  Lexing.lex_default_code = 

-   "";

-  Lexing.lex_trans_code = 

-   "";

-  Lexing.lex_check_code = 

-   "";

-  Lexing.lex_code = 

-   "";

-}

\ No newline at end of file diff --git a/documentation/code_VALLexer.__ocaml_lex_token_rec.html b/documentation/code_VALLexer.__ocaml_lex_token_rec.html deleted file mode 100644 index 9fc315f..0000000 --- a/documentation/code_VALLexer.__ocaml_lex_token_rec.html +++ /dev/null @@ -1,109 +0,0 @@ - - - - - - - - - - - - - - - - -Lexer.__ocaml_lex_token_rec - - -

let rec token lexbuf =

-    __ocaml_lex_token_rec lexbuf 0

-and __ocaml_lex_token_rec lexbuf __ocaml_lex_state =

-  match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with

-      | 0 ->

-# 4 "lexer.mll"

-                                       ( token lexbuf )

-# 127 "lexer.ml"

-

-  | 1 ->

-let

-# 5 "lexer.mll"

-                        x

-# 133 "lexer.ml"

-= Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in

-# 5 "lexer.mll"

-                                        ( IDENT x )

-# 137 "lexer.ml"

-

-  | 2 ->

-let

-# 7 "lexer.mll"

-                       x

-# 143 "lexer.ml"

-= Lexing.sub_lexeme_char lexbuf lexbuf.Lexing.lex_start_pos in

-# 7 "lexer.mll"

-                                               ( IDENT (String.make 1 x) )

-# 147 "lexer.ml"

-

-  | 3 ->

-# 8 "lexer.mll"

-                                            ( IDENT "[]" )

-# 152 "lexer.ml"

-

-  | 4 ->

-let

-# 9 "lexer.mll"

-                a

-# 158 "lexer.ml"

-= Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in

-# 9 "lexer.mll"

-                                      ( CONST a )

-# 162 "lexer.ml"

-

-  | 5 ->

-# 10 "lexer.mll"

-                                            ( POINT )

-# 167 "lexer.ml"

-

-  | 6 ->

-# 11 "lexer.mll"

-                                        ( LPAR )

-# 172 "lexer.ml"

-

-  | 7 ->

-# 12 "lexer.mll"

-                                       ( RPAR )

-# 177 "lexer.ml"

-

-  | 8 ->

-# 13 "lexer.mll"

-                                   ( PAR )

-# 182 "lexer.ml"

-

-  | 9 ->

-# 14 "lexer.mll"

-                                   ( SEQ )

-# 187 "lexer.ml"

-

-  | 10 ->

-# 15 "lexer.mll"

-                                  ( SPLIT )

-# 192 "lexer.ml"

-

-  | 11 ->

-# 16 "lexer.mll"

-                                  ( MERGE )

-# 197 "lexer.ml"

-

-  | 12 ->

-# 17 "lexer.mll"

-                                    ( REC )

-# 202 "lexer.ml"

-

-  | 13 ->

-# 18 "lexer.mll"

-                                   ( EOF )

-# 207 "lexer.ml"

-

-  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_token_rec lexbuf __ocaml_lex_state

\ No newline at end of file diff --git a/documentation/code_VALLexer.token.html b/documentation/code_VALLexer.token.html deleted file mode 100644 index 12b55c2..0000000 --- a/documentation/code_VALLexer.token.html +++ /dev/null @@ -1,109 +0,0 @@ - - - - - - - - - - - - - - - - -Lexer.token - - -

let rec token lexbuf =

-    __ocaml_lex_token_rec lexbuf 0

-and __ocaml_lex_token_rec lexbuf __ocaml_lex_state =

-  match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with

-      | 0 ->

-# 4 "lexer.mll"

-                                       ( token lexbuf )

-# 127 "lexer.ml"

-

-  | 1 ->

-let

-# 5 "lexer.mll"

-                        x

-# 133 "lexer.ml"

-= Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in

-# 5 "lexer.mll"

-                                        ( IDENT x )

-# 137 "lexer.ml"

-

-  | 2 ->

-let

-# 7 "lexer.mll"

-                       x

-# 143 "lexer.ml"

-= Lexing.sub_lexeme_char lexbuf lexbuf.Lexing.lex_start_pos in

-# 7 "lexer.mll"

-                                               ( IDENT (String.make 1 x) )

-# 147 "lexer.ml"

-

-  | 3 ->

-# 8 "lexer.mll"

-                                            ( IDENT "[]" )

-# 152 "lexer.ml"

-

-  | 4 ->

-let

-# 9 "lexer.mll"

-                a

-# 158 "lexer.ml"

-= Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in

-# 9 "lexer.mll"

-                                      ( CONST a )

-# 162 "lexer.ml"

-

-  | 5 ->

-# 10 "lexer.mll"

-                                            ( POINT )

-# 167 "lexer.ml"

-

-  | 6 ->

-# 11 "lexer.mll"

-                                        ( LPAR )

-# 172 "lexer.ml"

-

-  | 7 ->

-# 12 "lexer.mll"

-                                       ( RPAR )

-# 177 "lexer.ml"

-

-  | 8 ->

-# 13 "lexer.mll"

-                                   ( PAR )

-# 182 "lexer.ml"

-

-  | 9 ->

-# 14 "lexer.mll"

-                                   ( SEQ )

-# 187 "lexer.ml"

-

-  | 10 ->

-# 15 "lexer.mll"

-                                  ( SPLIT )

-# 192 "lexer.ml"

-

-  | 11 ->

-# 16 "lexer.mll"

-                                  ( MERGE )

-# 197 "lexer.ml"

-

-  | 12 ->

-# 17 "lexer.mll"

-                                    ( REC )

-# 202 "lexer.ml"

-

-  | 13 ->

-# 18 "lexer.mll"

-                                   ( EOF )

-# 207 "lexer.ml"

-

-  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_token_rec lexbuf __ocaml_lex_state

\ No newline at end of file diff --git a/documentation/code_VALMain.io_macro_to_string.html b/documentation/code_VALMain.io_macro_to_string.html deleted file mode 100644 index 25c31b9..0000000 --- a/documentation/code_VALMain.io_macro_to_string.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Main.io_macro_to_string - - -

let io_macro_to_string m = match m with

-  | Input_Route_string -> "input_sounds/"

-  | Output_Route_string -> "output_sounds/"

-  | Dsp_Route_string -> "dsp_files/"

\ No newline at end of file diff --git a/documentation/code_VALMain.main.html b/documentation/code_VALMain.main.html deleted file mode 100644 index e647e0d..0000000 --- a/documentation/code_VALMain.main.html +++ /dev/null @@ -1,54 +0,0 @@ - - - - - - - - - - - - - - - - -Main.main - - -

let main () = 

-

-        (* ignore system alarm clock *)

-        let _ = Sys.signal Sys.sigalrm Sys.Signal_ignore in

-

-        (* set garbage collector *)

-        let _ = set_GC () in

-

-        (* read input wave files *)

-        let (input_rate_list, input_float_array_list) = read_input_wave Sys.argv in

-        

-        (* select output type *)

-        let output_type = Sys.argv.(1) in

-

-        try

-                (* preprocess *)

-                let dsp_file_route_string = (io_macro_to_string Dsp_Route_string) ^ Sys.argv.(2) in

-                let exp_string = Preprocess.preprocess(dsp_file_route_string) in

-

-                (* parsing *)

-                let exp_faust = exp_of_string exp_string in

-

-                (* interpretation *)

-                let (output_channel_list, output_rate_list, output_float_array_list) = 

-                  interpreter exp_faust (input_rate_list, input_float_array_list) in

-

-                (* make output wave files *)

-                if output_type = "-wav" then

-                  write_output_wave output_channel_list output_rate_list output_float_array_list

-                else if output_type = "-txt" then

-                  write_output_txt output_channel_list output_float_array_list

-                else raise (Invalid_argument ("Unkown option: " ^ output_type))

-

-        with NotYetDone ->

-                print_endline("Operation not yet programed..")

\ No newline at end of file diff --git a/documentation/code_VALMain.read_input_wave.html b/documentation/code_VALMain.read_input_wave.html deleted file mode 100644 index ad14e39..0000000 --- a/documentation/code_VALMain.read_input_wave.html +++ /dev/null @@ -1,44 +0,0 @@ - - - - - - - - - - - - - - - - -Main.read_input_wave - - -

let read_input_wave = fun argv ->

-        let n_input = (Array.length argv) - 3 in

-        if n_input < 0 then 

-                raise Missing_Expression

-        else if n_input = 0 then 

-                ([], [])

-        else

-                (* open wave file *)

-                let file_string_array = Array.sub argv 3 n_input in

-                let make_chemin s = io_macro_to_string Input_Route_string ^ s in

-                let file_chemin_string_array = Array.map make_chemin file_string_array in

-                let file_array = Array.map Sndfile.openfile file_chemin_string_array in

-                let file_list = Array.to_list file_array in

-

-                (* prepare data container *)

-                let frames_array = Array.map Int64.to_int (Array.map Sndfile.frames file_array) in

-                let create_data_array num = Array.create num 1. in

-                let data_float_array_array = Array.map create_data_array frames_array in

-                let data_float_array_list = Array.to_list data_float_array_array in

-                

-                (* read sample rates and data *)

-                let rate_list = List.map Sndfile.samplerate file_list in

-                let _ = List.map2 Sndfile.read file_list data_float_array_list in

-                let _ = List.map Sndfile.close file_list in

-                (rate_list, data_float_array_list)

\ No newline at end of file diff --git a/documentation/code_VALMain.set_GC.html b/documentation/code_VALMain.set_GC.html deleted file mode 100644 index 54604b1..0000000 --- a/documentation/code_VALMain.set_GC.html +++ /dev/null @@ -1,27 +0,0 @@ - - - - - - - - - - - - - - - - -Main.set_GC - - -

let set_GC () = 

-        let _ = Gc.set { (Gc.get()) with Gc.minor_heap_size = 0xFFFFFF } in

-        let _ = Gc.set { (Gc.get()) with Gc.major_heap_increment = 0xFFFFFF } in

-        let _ = Gc.set { (Gc.get()) with Gc.space_overhead = 100 } in

-        let _ = Gc.set { (Gc.get()) with Gc.max_overhead = 0xFFFFF } in

-        let _ = Gc.set { (Gc.get()) with Gc.stack_limit = 0xFFFFF } in

-        let _ = Gc.set { (Gc.get()) with Gc.allocation_policy = 0 } in

-        ()

\ No newline at end of file diff --git a/documentation/code_VALMain.write_output_txt.html b/documentation/code_VALMain.write_output_txt.html deleted file mode 100644 index 472107f..0000000 --- a/documentation/code_VALMain.write_output_txt.html +++ /dev/null @@ -1,55 +0,0 @@ - - - - - - - - - - - - - - - - -Main.write_output_txt - - -

let write_output_txt = fun channel_int_list -> fun data_float_array_list ->

-        let () = print_endline("Making output txt files...") in

-

-        (* make output txt file names : output0, output1, ... *)

-        let n_output = List.length data_float_array_list in

-        let n_array = Array.init n_output (fun n -> n) in

-        let make_file_name i = "output" ^ (string_of_int i) ^ ".csv" in

-

-        (* make output wave file routes *)

-        let make_chemin s = io_macro_to_string Output_Route_string ^ s in

-        let file_name_string_array = Array.map make_file_name n_array in

-        let file_chemin_string_array = Array.map make_chemin file_name_string_array in

-        let file_chemin_string_list = Array.to_list file_chemin_string_array in

-

-        (* open output channels *)

-        let file_list = List.map open_out file_chemin_string_list in

-        let array_to_string = fun data_float_array -> fun channel_int ->

-          let data_length = Array.length data_float_array in

-          let rec to_string_rec = 

-            fun data -> fun channel -> fun n -> fun i -> fun column ->

-              if i < n then 

-                (

-                let element = string_of_float (data.(i)) in

-                if column < (channel - 1) then 

-                  element ^ "," ^ (to_string_rec data channel n (i + 1) (column + 1))

-                else if column = (channel - 1) then

-                  element ^ "\n" ^ (to_string_rec data channel n (i + 1) 0)

-                else raise (Invalid_argument "write_output_txt.")

-                    )

-              else "" in

-          to_string_rec data_float_array channel_int data_length 0 0 in

-

-        let data_string_list = List.map2 array_to_string data_float_array_list channel_int_list in

-        let _ = List.map2 output_string file_list data_string_list in

-        let _ = List.map close_out file_list in

-        print_endline("Success")

\ No newline at end of file diff --git a/documentation/code_VALMain.write_output_wave.html b/documentation/code_VALMain.write_output_wave.html deleted file mode 100644 index 0f92cb3..0000000 --- a/documentation/code_VALMain.write_output_wave.html +++ /dev/null @@ -1,47 +0,0 @@ - - - - - - - - - - - - - - - - -Main.write_output_wave - - -

let write_output_wave = fun channel_int_list -> fun rate_int_list -> fun data_float_array_list ->

-          let () = print_endline("Making output wave files...") in

-        

-        (* make output wave file names : output0, output1, ... *)

-        let n_output = List.length data_float_array_list in

-        let n_array = Array.init n_output (fun n -> n) in

-        let make_file_name i = "output" ^ (string_of_int i) ^ ".wav" in

-

-        (* make output wave file routes *)

-        let make_chemin s = io_macro_to_string Output_Route_string ^ s in

-        let file_name_string_array = Array.map make_file_name n_array in

-        let file_chemin_string_array = Array.map make_chemin file_name_string_array in

-        let file_chemin_string_list = Array.to_list file_chemin_string_array in

-

-        (* open files for writing with respects to channel numbers and sample rates *)

-        let file_format = Sndfile.format Sndfile.MAJOR_WAV Sndfile.MINOR_PCM_16 in

-        let openwr = fun file_chemin_string -> fun channel -> fun rate -> 

-          Sndfile.openfile ~info:(Sndfile.RDWR, file_format, channel, rate) file_chemin_string in

-        let openwr_fun_list = fun fl -> fun cl -> fun rl -> fun i -> 

-          openwr (List.nth fl i) (List.nth cl i) (List.nth rl i) in

-        let output_file_list = List.map 

-            (openwr_fun_list file_chemin_string_list channel_int_list rate_int_list) 

-            (Array.to_list (Array.init n_output (fun n -> n))) in

-

-        (* write data into files *)

-        let _ = List.map2 Sndfile.write output_file_list data_float_array_list in

-        let _ = List.map Sndfile.close output_file_list in

-        print_endline("Success.")

\ No newline at end of file diff --git a/documentation/code_VALParser.main.html b/documentation/code_VALParser.main.html deleted file mode 100644 index 2028ea7..0000000 --- a/documentation/code_VALParser.main.html +++ /dev/null @@ -1,21 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.main - - -

let main (lexfun : Lexing.lexbuf -> token) (lexbuf : Lexing.lexbuf) =

-   (Parsing.yyparse yytables 1 lexfun lexbuf : Types.faust_exp)

\ No newline at end of file diff --git a/documentation/code_VALParser.yyact.html b/documentation/code_VALParser.yyact.html deleted file mode 100644 index e222b8a..0000000 --- a/documentation/code_VALParser.yyact.html +++ /dev/null @@ -1,107 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yyact - - -

let yyact = [|

-  (fun _ -> failwith "parser")

-; (fun __caml_parser_env ->

-    let _1 = (Parsing.peek_val __caml_parser_env 1 : 'faust_exp) in

-    Obj.repr(

-# 16 "parser.mly"

-                                      ( _1 )

-# 167 "parser.ml"

-               : Types.faust_exp))

-; (fun __caml_parser_env ->

-    let _1 = (Parsing.peek_val __caml_parser_env 0 : string) in

-    Obj.repr(

-# 17 "parser.mly"

-                                      ( Const(N (int_of_string _1)) )

-# 174 "parser.ml"

-               : 'faust_exp))

-; (fun __caml_parser_env ->

-    let _1 = (Parsing.peek_val __caml_parser_env 1 : string) in

-    Obj.repr(

-# 18 "parser.mly"

-                                      ( Const(R (float_of_string _1)) )

-# 181 "parser.ml"

-               : 'faust_exp))

-; (fun __caml_parser_env ->

-    let _1 = (Parsing.peek_val __caml_parser_env 2 : string) in

-    let _3 = (Parsing.peek_val __caml_parser_env 0 : string) in

-    Obj.repr(

-# 19 "parser.mly"

-                                      ( Const(R (float_of_string (_1 ^ "." ^ _3))) )

-# 189 "parser.ml"

-               : 'faust_exp))

-; (fun __caml_parser_env ->

-    let _1 = (Parsing.peek_val __caml_parser_env 0 : string) in

-    Obj.repr(

-# 20 "parser.mly"

-                                      ( Ident(symbol_of_string _1) )

-# 196 "parser.ml"

-               : 'faust_exp))

-; (fun __caml_parser_env ->

-    let _2 = (Parsing.peek_val __caml_parser_env 1 : 'faust_exp) in

-    Obj.repr(

-# 21 "parser.mly"

-                                      ( _2 )

-# 203 "parser.ml"

-               : 'faust_exp))

-; (fun __caml_parser_env ->

-    let _1 = (Parsing.peek_val __caml_parser_env 2 : 'faust_exp) in

-    let _3 = (Parsing.peek_val __caml_parser_env 0 : 'faust_exp) in

-    Obj.repr(

-# 22 "parser.mly"

-                                      ( Par(_1,_3) )

-# 211 "parser.ml"

-               : 'faust_exp))

-; (fun __caml_parser_env ->

-    let _1 = (Parsing.peek_val __caml_parser_env 2 : 'faust_exp) in

-    let _3 = (Parsing.peek_val __caml_parser_env 0 : 'faust_exp) in

-    Obj.repr(

-# 23 "parser.mly"

-                                      ( Split(_1,_3) )

-# 219 "parser.ml"

-               : 'faust_exp))

-; (fun __caml_parser_env ->

-    let _1 = (Parsing.peek_val __caml_parser_env 2 : 'faust_exp) in

-    let _3 = (Parsing.peek_val __caml_parser_env 0 : 'faust_exp) in

-    Obj.repr(

-# 24 "parser.mly"

-                                      ( Merge(_1,_3) )

-# 227 "parser.ml"

-               : 'faust_exp))

-; (fun __caml_parser_env ->

-    let _1 = (Parsing.peek_val __caml_parser_env 2 : 'faust_exp) in

-    let _3 = (Parsing.peek_val __caml_parser_env 0 : 'faust_exp) in

-    Obj.repr(

-# 25 "parser.mly"

-                                      ( Seq(_1,_3) )

-# 235 "parser.ml"

-               : 'faust_exp))

-; (fun __caml_parser_env ->

-    let _1 = (Parsing.peek_val __caml_parser_env 2 : 'faust_exp) in

-    let _3 = (Parsing.peek_val __caml_parser_env 0 : 'faust_exp) in

-    Obj.repr(

-# 26 "parser.mly"

-                                      ( Rec(_1,_3) )

-# 243 "parser.ml"

-               : 'faust_exp))

-(* Entry main *)

-; (fun __caml_parser_env -> raise (Parsing.YYexit (Parsing.peek_val __caml_parser_env 0)))

-|]

\ No newline at end of file diff --git a/documentation/code_VALParser.yycheck.html b/documentation/code_VALParser.yycheck.html deleted file mode 100644 index ff74536..0000000 --- a/documentation/code_VALParser.yycheck.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yycheck - - -

let yycheck = "\001\000\000\000\005\001\006\001\007\001\008\001\009\001\000\000\005\000\001\001\002\001\003\001\000\000\010\000\011\000\012\000\013\000\014\000\000\000\008\001\009\001\005\001\000\000\000\000\008\001\009\001\000\000\004\001\005\001\006\001\007\001\008\001\009\001\001\001\010\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\004\001\005\001\006\001\007\001\008\001\009\001\004\001\005\001\006\001\007\001\008\001\009\001\005\001\006\001\007\001\008\001\009\001\004\001\005\001\006\001\007\001\004\001\004\001\006\001\007\001\004\001"

\ No newline at end of file diff --git a/documentation/code_VALParser.yydefred.html b/documentation/code_VALParser.yydefred.html deleted file mode 100644 index 0458beb..0000000 --- a/documentation/code_VALParser.yydefred.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yydefred - - -

let yydefred = "\000\000\000\000\000\000\000\000\005\000\000\000\012\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\000\004\000\006\000\000\000\000\000\000\000\000\000\011\000"

\ No newline at end of file diff --git a/documentation/code_VALParser.yydgoto.html b/documentation/code_VALParser.yydgoto.html deleted file mode 100644 index 79565f6..0000000 --- a/documentation/code_VALParser.yydgoto.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yydgoto - - -let yydgoto = "\002\000\006\000\007\000" \ No newline at end of file diff --git a/documentation/code_VALParser.yygindex.html b/documentation/code_VALParser.yygindex.html deleted file mode 100644 index 6a9cc07..0000000 --- a/documentation/code_VALParser.yygindex.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yygindex - - -let yygindex = "\000\000\000\000\003\000" \ No newline at end of file diff --git a/documentation/code_VALParser.yylen.html b/documentation/code_VALParser.yylen.html deleted file mode 100644 index fbfc117..0000000 --- a/documentation/code_VALParser.yylen.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yylen - - -

let yylen = "\002\000\002\000\001\000\002\000\003\000\001\000\003\000\003\000\003\000\003\000\003\000\003\000\002\000"

\ No newline at end of file diff --git a/documentation/code_VALParser.yylhs.html b/documentation/code_VALParser.yylhs.html deleted file mode 100644 index 2165ab7..0000000 --- a/documentation/code_VALParser.yylhs.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yylhs - - -

let yylhs = "\255\255\001\000\002\000\002\000\002\000\002\000\002\000\002\000\002\000\002\000\002\000\002\000\000\000"

\ No newline at end of file diff --git a/documentation/code_VALParser.yynames_block.html b/documentation/code_VALParser.yynames_block.html deleted file mode 100644 index 12e0510..0000000 --- a/documentation/code_VALParser.yynames_block.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yynames_block - - -let yynames_block = "CONST\000IDENT\000" \ No newline at end of file diff --git a/documentation/code_VALParser.yynames_const.html b/documentation/code_VALParser.yynames_const.html deleted file mode 100644 index a4aa4b7..0000000 --- a/documentation/code_VALParser.yynames_const.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yynames_const - - -let yynames_const = "LPAR\000RPAR\000SEQ\000SPLIT\000MERGE\000PAR\000REC\000EOF\000POINT\000" \ No newline at end of file diff --git a/documentation/code_VALParser.yyrindex.html b/documentation/code_VALParser.yyrindex.html deleted file mode 100644 index 6665d73..0000000 --- a/documentation/code_VALParser.yyrindex.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yyrindex - - -

let yyrindex = "\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\000\007\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\022\000\023\000\026\000\018\000\000\000"

\ No newline at end of file diff --git a/documentation/code_VALParser.yysindex.html b/documentation/code_VALParser.yysindex.html deleted file mode 100644 index ec47617..0000000 --- a/documentation/code_VALParser.yysindex.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yysindex - - -

let yysindex = "\255\255\008\255\000\000\024\255\000\000\008\255\000\000\012\000\032\255\023\255\008\255\008\255\008\255\008\255\008\255\000\000\000\000\000\000\016\255\253\254\253\254\011\255\000\000"

\ No newline at end of file diff --git a/documentation/code_VALParser.yytable.html b/documentation/code_VALParser.yytable.html deleted file mode 100644 index 6bea9d1..0000000 --- a/documentation/code_VALParser.yytable.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yytable - - -

let yytable = "\001\000\002\000\010\000\011\000\012\000\013\000\014\000\003\000\009\000\003\000\004\000\005\000\015\000\018\000\019\000\020\000\021\000\022\000\007\000\013\000\014\000\010\000\010\000\008\000\013\000\014\000\009\000\017\000\010\000\011\000\012\000\013\000\014\000\016\000\008\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\002\000\002\000\002\000\002\000\002\000\002\000\003\000\003\000\003\000\003\000\003\000\003\000\010\000\011\000\012\000\013\000\014\000\007\000\007\000\007\000\007\000\010\000\008\000\010\000\010\000\009\000"

\ No newline at end of file diff --git a/documentation/code_VALParser.yytables.html b/documentation/code_VALParser.yytables.html deleted file mode 100644 index 58b5b92..0000000 --- a/documentation/code_VALParser.yytables.html +++ /dev/null @@ -1,36 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yytables - - -

let yytables =

-  { Parsing.actions=yyact;

-    Parsing.transl_const=yytransl_const;

-    Parsing.transl_block=yytransl_block;

-    Parsing.lhs=yylhs;

-    Parsing.len=yylen;

-    Parsing.defred=yydefred;

-    Parsing.dgoto=yydgoto;

-    Parsing.sindex=yysindex;

-    Parsing.rindex=yyrindex;

-    Parsing.gindex=yygindex;

-    Parsing.tablesize=yytablesize;

-    Parsing.table=yytable;

-    Parsing.check=yycheck;

-    Parsing.error_function=parse_error;

-    Parsing.names_const=yynames_const;

-    Parsing.names_block=yynames_block }

\ No newline at end of file diff --git a/documentation/code_VALParser.yytablesize.html b/documentation/code_VALParser.yytablesize.html deleted file mode 100644 index 08a29f3..0000000 --- a/documentation/code_VALParser.yytablesize.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yytablesize - - -let yytablesize = 286 \ No newline at end of file diff --git a/documentation/code_VALParser.yytransl_block.html b/documentation/code_VALParser.yytransl_block.html deleted file mode 100644 index e3c0b9b..0000000 --- a/documentation/code_VALParser.yytransl_block.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yytransl_block - - -

let yytransl_block = [|

-  257 (* CONST *);

-  258 (* IDENT *);

-    0|]

\ No newline at end of file diff --git a/documentation/code_VALParser.yytransl_const.html b/documentation/code_VALParser.yytransl_const.html deleted file mode 100644 index 241c3d4..0000000 --- a/documentation/code_VALParser.yytransl_const.html +++ /dev/null @@ -1,30 +0,0 @@ - - - - - - - - - - - - - - - - -Parser.yytransl_const - - -

let yytransl_const = [|

-  259 (* LPAR *);

-  260 (* RPAR *);

-  261 (* SEQ *);

-  262 (* SPLIT *);

-  263 (* MERGE *);

-  264 (* PAR *);

-  265 (* REC *);

-    0 (* EOF *);

-  266 (* POINT *);

-    0|]

\ No newline at end of file diff --git a/documentation/code_VALPreprocess.preprocess.html b/documentation/code_VALPreprocess.preprocess.html deleted file mode 100644 index 4533eee..0000000 --- a/documentation/code_VALPreprocess.preprocess.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Preprocess.preprocess - - -external preprocess: string -> string = "preProcess_cpp" \ No newline at end of file diff --git a/documentation/code_VALSignal.beam_add_one_memory.html b/documentation/code_VALSignal.beam_add_one_memory.html deleted file mode 100644 index 095e841..0000000 --- a/documentation/code_VALSignal.beam_add_one_memory.html +++ /dev/null @@ -1,21 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.beam_add_one_memory - - -

let beam_add_one_memory = fun beam -> 

-        List.map signal_add_one_memory beam

\ No newline at end of file diff --git a/documentation/code_VALSignal.check_frequency.html b/documentation/code_VALSignal.check_frequency.html deleted file mode 100644 index 88d94ba..0000000 --- a/documentation/code_VALSignal.check_frequency.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.check_frequency - - -

let check_frequency = fun f1 -> fun f2 ->

-        if f1 = f2 || f2 = 0 then f1

-        else if f1 = 0 then f2

-        else raise (Signal_operation "frequency not matched.")

\ No newline at end of file diff --git a/documentation/code_VALSignal.frequency.html b/documentation/code_VALSignal.frequency.html deleted file mode 100644 index c8b106b..0000000 --- a/documentation/code_VALSignal.frequency.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.frequency - - -let frequency s = fst s \ No newline at end of file diff --git a/documentation/code_VALSignal.prefix.html b/documentation/code_VALSignal.prefix.html deleted file mode 100644 index 5093c74..0000000 --- a/documentation/code_VALSignal.prefix.html +++ /dev/null @@ -1,22 +0,0 @@ - - - - - - - - - - - - -Signal.prefix - - -

let prefix = fun s0 -> fun s1 -> 

-        let new_signal = fun t ->

-                if t = 0 then (signal_fun s0) 0

-                else if t > 0 then (signal_fun s1) t

-                else raise (Signal_operation "prefix time cannot be < 0.")

-        in

-        (frequency s1, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_add.html b/documentation/code_VALSignal.signal_add.html deleted file mode 100644 index e395d09..0000000 --- a/documentation/code_VALSignal.signal_add.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_add - - -

let signal_add s1 s2 = 

-        let f = signal_check_frequency s1 s2 in

-        let new_signal = fun t -> ((signal_fun s1) t) +~ ((signal_fun s2) t) in

-        (f, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_add_one_memory.html b/documentation/code_VALSignal.signal_add_one_memory.html deleted file mode 100644 index f4be604..0000000 --- a/documentation/code_VALSignal.signal_add_one_memory.html +++ /dev/null @@ -1,22 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_add_one_memory - - -

let signal_add_one_memory = fun s ->

-        let new_signal = factory_add_memory (signal_fun s) 1 in

-            (frequency s, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_append.html b/documentation/code_VALSignal.signal_append.html deleted file mode 100644 index 619e304..0000000 --- a/documentation/code_VALSignal.signal_append.html +++ /dev/null @@ -1,31 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_append - - -

let signal_append s1 s2 = 

-        let f = signal_check_frequency s1 s2 in

-        let new_signal = fun t -> 

-                let temp1 = (signal_fun s1) t in

-                let temp2 = (signal_fun s2) t in

-                match (temp1, temp2) with

-                |(Vec (size1, vec1), Vec (size2, vec2)) ->

-                        let new_vec = fun i -> if i < size1 then vec1 i else vec2 (i - size1) in

-                        make_vector (size1 + size2) new_vec

-                |_ -> raise (Signal_operation "Append: input signals should be vectors.")

-        in

-        (f, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_atan.html b/documentation/code_VALSignal.signal_atan.html deleted file mode 100644 index 9ac1fa2..0000000 --- a/documentation/code_VALSignal.signal_atan.html +++ /dev/null @@ -1,22 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_atan - - -

let signal_atan s = 

-        let new_signal = fun t -> v_atan ((signal_fun s) t) in

-        (frequency s, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_atantwo.html b/documentation/code_VALSignal.signal_atantwo.html deleted file mode 100644 index 2e062db..0000000 --- a/documentation/code_VALSignal.signal_atantwo.html +++ /dev/null @@ -1,22 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_atantwo - - -

let signal_atantwo s1 s2 = 

-        let new_signal = fun t -> v_atantwo ((signal_fun s1) t) ((signal_fun s2) t) in

-        (frequency s1, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_check_frequency.html b/documentation/code_VALSignal.signal_check_frequency.html deleted file mode 100644 index 288008f..0000000 --- a/documentation/code_VALSignal.signal_check_frequency.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_check_frequency - - -

let signal_check_frequency = fun s1 -> fun s2 ->

-        let f1 = frequency s1 in

-        let f2 = frequency s2 in

-        check_frequency f1 f2

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_check_frequency3.html b/documentation/code_VALSignal.signal_check_frequency3.html deleted file mode 100644 index 00441fe..0000000 --- a/documentation/code_VALSignal.signal_check_frequency3.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_check_frequency3 - - -

let signal_check_frequency3 = fun s1 -> fun s2 -> fun s3 ->

-        let f1 = signal_check_frequency s1 s2 in

-        let f2 = signal_check_frequency s1 s3 in

-        check_frequency f1 f2

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_check_frequency4.html b/documentation/code_VALSignal.signal_check_frequency4.html deleted file mode 100644 index e812d0e..0000000 --- a/documentation/code_VALSignal.signal_check_frequency4.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_check_frequency4 - - -

let signal_check_frequency4 = fun s1 -> fun s2 -> fun s3 -> fun s4 ->

-        let f1 = signal_check_frequency s1 s2 in

-        let f2 = signal_check_frequency s3 s4 in

-        check_frequency f1 f2

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_cos.html b/documentation/code_VALSignal.signal_cos.html deleted file mode 100644 index d60bd06..0000000 --- a/documentation/code_VALSignal.signal_cos.html +++ /dev/null @@ -1,22 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_cos - - -

let signal_cos s = 

-        let new_signal = fun t -> v_cos ((signal_fun s) t) in

-        (frequency s, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_delay.html b/documentation/code_VALSignal.signal_delay.html deleted file mode 100644 index ef46fee..0000000 --- a/documentation/code_VALSignal.signal_delay.html +++ /dev/null @@ -1,37 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_delay - - -

let signal_delay s1 s2 = 

-        let s1_mem = factory_add_memory (signal_fun s1) 

-            (signal_macro_to_int Delay_Memory_Length_int) in

-        let new_signal = fun t -> 

-        let delay = (signal_fun s2) t in

-                match delay with

-                |N i ->        if i < 0 then raise (Signal_operation "Delay time < 0.") 

-                                else if (t - i) >= 0 then s1_mem (t - i) 

-                                else v_zero (s1_mem 0)

-                |R f -> let i = int_of_float f in

-                                if i < 0 then raise (Signal_operation "Delay time < 0.") 

-                                else if (t - i) >= 0 then s1_mem (t - i) 

-                                else v_zero (s1_mem 0)

-                |Vec (size, vec) -> raise (Signal_operation "Delay time can not be a vector.")

-                |Zero -> s1_mem t

-                |W -> raise (Signal_operation "Delay time error.")

-        in

-        (frequency s1, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_div.html b/documentation/code_VALSignal.signal_div.html deleted file mode 100644 index 18d2807..0000000 --- a/documentation/code_VALSignal.signal_div.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_div - - -

let signal_div s1 s2 =         

-        let f = signal_check_frequency s1 s2 in

-        let new_signal = fun t -> ((signal_fun s1) t) /~ ((signal_fun s2) t) in

-        (f, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_floor.html b/documentation/code_VALSignal.signal_floor.html deleted file mode 100644 index 56dfed7..0000000 --- a/documentation/code_VALSignal.signal_floor.html +++ /dev/null @@ -1,22 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_floor - - -

let signal_floor s = 

-        let new_signal = fun t -> v_floor ((signal_fun s) t) in

-        (frequency s, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_fun.html b/documentation/code_VALSignal.signal_fun.html deleted file mode 100644 index 88d3627..0000000 --- a/documentation/code_VALSignal.signal_fun.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_fun - - -let signal_fun s = snd s \ No newline at end of file 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 diff --git a/documentation/code_VALSignal.signal_inf.html b/documentation/code_VALSignal.signal_inf.html deleted file mode 100644 index 1241a3c..0000000 --- a/documentation/code_VALSignal.signal_inf.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_inf - - -

let signal_inf s1 s2 = 

-        let f = signal_check_frequency s1 s2 in

-        let new_signal = fun t -> v_inf ((signal_fun s1) t) ((signal_fun s2) t) in

-        (f, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_int.html b/documentation/code_VALSignal.signal_int.html deleted file mode 100644 index d73d4b7..0000000 --- a/documentation/code_VALSignal.signal_int.html +++ /dev/null @@ -1,22 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_int - - -

let signal_int s = 

-        let new_signal = fun t -> v_int ((signal_fun s) t) in

-        (frequency s, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_macro_to_int.html b/documentation/code_VALSignal.signal_macro_to_int.html deleted file mode 100644 index 59ffc52..0000000 --- a/documentation/code_VALSignal.signal_macro_to_int.html +++ /dev/null @@ -1,21 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_macro_to_int - - -

let signal_macro_to_int m = match m with

-                                 |Delay_Memory_Length_int -> 10000

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_mem.html b/documentation/code_VALSignal.signal_mem.html deleted file mode 100644 index 1bfed37..0000000 --- a/documentation/code_VALSignal.signal_mem.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_mem - - -let signal_mem s = signal_delay s (1, (fun t -> N 1)) \ No newline at end of file diff --git a/documentation/code_VALSignal.signal_mod.html b/documentation/code_VALSignal.signal_mod.html deleted file mode 100644 index 7ebc2e2..0000000 --- a/documentation/code_VALSignal.signal_mod.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_mod - - -

let signal_mod s1 s2 = 

-        let f = signal_check_frequency s1 s2 in

-        let new_signal = fun t -> v_mod ((signal_fun s1) t) ((signal_fun s2) t) in

-        (f, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_mul.html b/documentation/code_VALSignal.signal_mul.html deleted file mode 100644 index 209ab74..0000000 --- a/documentation/code_VALSignal.signal_mul.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_mul - - -

let signal_mul s1 s2 = 

-        let f = signal_check_frequency s1 s2 in

-        let new_signal = fun t -> ((signal_fun s1) t) *~ ((signal_fun s2) t) in

-        (f, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_neg.html b/documentation/code_VALSignal.signal_neg.html deleted file mode 100644 index 300c4c6..0000000 --- a/documentation/code_VALSignal.signal_neg.html +++ /dev/null @@ -1,22 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_neg - - -

let signal_neg s = 

-        let new_signal = fun t -> v_neg ((signal_fun s) t) in

-        (frequency s, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_nth.html b/documentation/code_VALSignal.signal_nth.html deleted file mode 100644 index c83fa15..0000000 --- a/documentation/code_VALSignal.signal_nth.html +++ /dev/null @@ -1,40 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_nth - - -

let signal_nth s1 s2 = 

-        let f = signal_check_frequency s1 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

-        (f, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_prefix.html b/documentation/code_VALSignal.signal_prefix.html deleted file mode 100644 index 6f198b3..0000000 --- a/documentation/code_VALSignal.signal_prefix.html +++ /dev/null @@ -1,26 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_prefix - - -

let signal_prefix = fun s0 -> fun s1 -> 

-        let new_signal = fun t ->

-                if t = 0 then (signal_fun s0) 0

-                else if t > 0 then (signal_fun s1) t

-                else raise (Signal_operation "prefix time cannot be < 0.")

-        in

-        (frequency s1, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_rdtable.html b/documentation/code_VALSignal.signal_rdtable.html deleted file mode 100644 index 2b15c5b..0000000 --- a/documentation/code_VALSignal.signal_rdtable.html +++ /dev/null @@ -1,32 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_rdtable - - -

let signal_rdtable s0 s1 s2 = 

-        let memory_length_int = take_off_N ((signal_fun s0) 0) in

-        let s1_mem = factory_add_memory (signal_fun s1) memory_length_int in

-        let new_signal = fun t ->

-                let index = (signal_fun s2) t in

-                match index with

-                |N i -> s1_mem i

-                |R f -> raise (Signal_operation "Rdtable index cannot be float.")

-                |Vec (size, vec) -> raise (Signal_operation "Rdtable index cannot be vector.")

-                |Zero -> s1_mem 0

-                |W -> raise (Signal_operation "Rdtable index cannot be Error.")

-        in

-        (frequency s2, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_select2.html b/documentation/code_VALSignal.signal_select2.html deleted file mode 100644 index 21f3e97..0000000 --- a/documentation/code_VALSignal.signal_select2.html +++ /dev/null @@ -1,27 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_select2 - - -

let signal_select2 si s0 s1 = 

-        let f = signal_check_frequency3 si s0 s1 in

-        let new_signal = fun t -> 

-                if (signal_fun si) t = N 0 then (signal_fun s0) t

-                else if (signal_fun si) t = N 1 then (signal_fun s1) t

-                else raise (Signal_operation "select2 index should be 0 or 1.")

-        in

-        (f, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_select3.html b/documentation/code_VALSignal.signal_select3.html deleted file mode 100644 index 2a7cd69..0000000 --- a/documentation/code_VALSignal.signal_select3.html +++ /dev/null @@ -1,28 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_select3 - - -

let signal_select3 si s0 s1 s2 = 

-        let f = signal_check_frequency4 si s0 s1 s2 in

-        let new_signal = fun t -> 

-                if (signal_fun si) t = N 0 then (signal_fun s0) t

-                else if (signal_fun si) t = N 1 then (signal_fun s1) t

-                else if (signal_fun si) t = N 2 then (signal_fun s2) t

-                else raise (Signal_operation "select3 index should be 0 or 1 or 2.")

-        in

-        (f, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_serialize.html b/documentation/code_VALSignal.signal_serialize.html deleted file mode 100644 index 6b0378b..0000000 --- a/documentation/code_VALSignal.signal_serialize.html +++ /dev/null @@ -1,38 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_serialize - - -

let signal_serialize s = 

-        let temp0 = (signal_fun s) 0 in

-        match temp0 with

-        |Vec (size0, vec0) ->

-            let new_signal = fun t ->

-                      (

-                              let temp = (signal_fun s) (t/size0) in

-                              match temp with

-                              |Vec (size, vec) ->

-                                      if size = size0 then 

-                                        vec (t mod size)

-                                      else 

-                                        raise (Signal_operation "Serialize: vector length not consistent.")

-                              |_ -> raise (Signal_operation "Serialize: signal type not consistent.")

-                      )

-            in

-            let new_frequency = (frequency s) * size0 in

-            (new_frequency, new_signal)

-        |_ -> raise (Signal_operation "Serialize: input signal should be vector.")

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_sin.html b/documentation/code_VALSignal.signal_sin.html deleted file mode 100644 index 4e34543..0000000 --- a/documentation/code_VALSignal.signal_sin.html +++ /dev/null @@ -1,22 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_sin - - -

let signal_sin s = 

-        let new_signal = fun t -> v_sin ((signal_fun s) t) in

-        (frequency s, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_sqrt.html b/documentation/code_VALSignal.signal_sqrt.html deleted file mode 100644 index 551a005..0000000 --- a/documentation/code_VALSignal.signal_sqrt.html +++ /dev/null @@ -1,22 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_sqrt - - -

let signal_sqrt s = 

-        let new_signal = fun t -> v_sqrt ((signal_fun s) t) in

-        (frequency s, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_sub.html b/documentation/code_VALSignal.signal_sub.html deleted file mode 100644 index d86a608..0000000 --- a/documentation/code_VALSignal.signal_sub.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_sub - - -let signal_sub s1 s2 = signal_add s1 (signal_neg s2) \ No newline at end of file diff --git a/documentation/code_VALSignal.signal_sup.html b/documentation/code_VALSignal.signal_sup.html deleted file mode 100644 index caad1d0..0000000 --- a/documentation/code_VALSignal.signal_sup.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_sup - - -

let signal_sup s1 s2 = 

-        let f = signal_check_frequency s1 s2 in

-        let new_signal = fun t -> v_sup ((signal_fun s1) t) ((signal_fun s2) t) in

-        (f, new_signal)

\ No newline at end of file diff --git a/documentation/code_VALSignal.signal_vectorize.html b/documentation/code_VALSignal.signal_vectorize.html deleted file mode 100644 index f3013ce..0000000 --- a/documentation/code_VALSignal.signal_vectorize.html +++ /dev/null @@ -1,30 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_vectorize - - -

let signal_vectorize s1 s2 = 

-        let size = (signal_fun s2) 0 in

-        match size with

-        |N size_int ->

-                (

-                        let new_signal = fun t -> 

-                          make_vector size_int (fun i -> (signal_fun s1) (size_int * t + i)) in

-                        let new_frequency = (frequency s1) / size_int in

-                        (new_frequency, new_signal)

-                )

-        |_ -> raise (Signal_operation "Vectorize: vector size should be int.")

\ No newline at end of file diff --git a/documentation/code_VALTypes.symbol_of_string.html b/documentation/code_VALTypes.symbol_of_string.html deleted file mode 100644 index a9caff2..0000000 --- a/documentation/code_VALTypes.symbol_of_string.html +++ /dev/null @@ -1,48 +0,0 @@ - - - - - - - - - - - - - - - - -Types.symbol_of_string - - -

let symbol_of_string = fun s ->

-                        match s with

-                            |"+"                        ->        Add

-                        |"-"                        ->        Sup                

-                        |"*"                        ->        Mul

-                        |"/"                        ->        Div

-                        |"_"                        ->        Pass

-                        |"!"                        ->        Stop

-                        |"mem"                        ->        Mem

-                        |"@"                        ->        Delay

-                        |"floor"                ->        Floor

-                        |"int"                        ->        Int

-                        |"sin"                        ->        Sin

-                        |"cos"                  ->      Cos

-                        |"atan"                 ->      Atan

-                        |"atantwo"              ->      Atantwo

-                        |"sqrt"                 ->      Sqrt

-                        |"rdtable"                ->        Rdtable

-                        |"%"                        ->        Mod

-                        |"vectorize"                ->        Vectorize

-                        |"#"                        ->        Concat

-                        |"[]"                        ->        Nth

-                        |"serialize"                ->        Serialize

-                        |">"                        ->        Larger

-                        |"<"                        ->        Smaller

-                        |"prefix"                ->        Prefix

-                        |"selecttwo"                ->        Selecttwo

-                        |"selectthree"                ->        Selectthree

-                        | _                     ->      raise Symbol_not_defined

\ No newline at end of file diff --git a/documentation/code_VALValue.( _star__tilde_ ).html b/documentation/code_VALValue.( _star__tilde_ ).html deleted file mode 100644 index 1924c3d..0000000 --- a/documentation/code_VALValue.( _star__tilde_ ).html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Value.( *~ ) - - -let ( *~ ) v1 v2 = v_mul v1 v2 \ No newline at end of file diff --git a/documentation/code_VALValue.(_minus__tilde_).html b/documentation/code_VALValue.(_minus__tilde_).html deleted file mode 100644 index e0504b1..0000000 --- a/documentation/code_VALValue.(_minus__tilde_).html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Value.(-~) - - -let (-~) v1 v2 = v_sub v1 v2 \ No newline at end of file diff --git a/documentation/code_VALValue.(_plus__tilde_).html b/documentation/code_VALValue.(_plus__tilde_).html deleted file mode 100644 index 49da458..0000000 --- a/documentation/code_VALValue.(_plus__tilde_).html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Value.(+~) - - -let (+~) v1 v2 = v_add v1 v2 \ No newline at end of file diff --git a/documentation/code_VALValue.(_slash__tilde_).html b/documentation/code_VALValue.(_slash__tilde_).html deleted file mode 100644 index 6463600..0000000 --- a/documentation/code_VALValue.(_slash__tilde_).html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Value.(/~) - - -let (/~) v1 v2 = v_div v1 v2 \ No newline at end of file diff --git a/documentation/code_VALValue.convert_back_R.html b/documentation/code_VALValue.convert_back_R.html deleted file mode 100644 index 7cb9923..0000000 --- a/documentation/code_VALValue.convert_back_R.html +++ /dev/null @@ -1,30 +0,0 @@ - - - - - - - - - - - - - - - - -Value.convert_back_R - - -

let convert_back_R v = 

-        match v with

-        |N i -> [| float_of_int i |]

-        |R f -> [| f |]

-

(** realise the function int -> value into float list.*)



-        |Vec (size, vec) ->

-                let result_value_array = Array.init size vec in

-                let result_float_array = Array.map take_off_R result_value_array in

-                result_float_array                

-        |Zero -> [| 0. |]

-        |W -> [| 0. |]

\ No newline at end of file diff --git a/documentation/code_VALValue.factory_add_memory.html b/documentation/code_VALValue.factory_add_memory.html deleted file mode 100644 index aa40f46..0000000 --- a/documentation/code_VALValue.factory_add_memory.html +++ /dev/null @@ -1,34 +0,0 @@ - - - - - - - - - - - - - - - - -Value.factory_add_memory - - -

let factory_add_memory = fun f -> fun n ->

-  if n > 0 then

-    (

-        let memory = Hashtbl.create n in

-        let new_fun = fun i ->

-                try Hashtbl.find memory i

-                with Not_found ->

-                              let result = f i in

-                        let () = Hashtbl.replace memory i result in

-                        let () = Hashtbl.remove memory (i - n) in

-                        result

-        in

-        new_fun

-     )

-  else raise (Value_operation "memory length cannot be < 0." )

\ No newline at end of file diff --git a/documentation/code_VALValue.fail.html b/documentation/code_VALValue.fail.html deleted file mode 100644 index 602543c..0000000 --- a/documentation/code_VALValue.fail.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Value.fail - - -let fail = W \ No newline at end of file diff --git a/documentation/code_VALValue.make_vector.html b/documentation/code_VALValue.make_vector.html deleted file mode 100644 index 96bb0ff..0000000 --- a/documentation/code_VALValue.make_vector.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - -Value.make_vector - - -

let make_vector = fun size -> fun vec ->

-        let new_vec = fun i ->

-                if  i >= 0 && i < size then vec i

-                else raise (Value_operation "vector overflow")

-        in

-        v_memory (return_Vec (size, new_vec))

\ No newline at end of file diff --git a/documentation/code_VALValue.normalize.html b/documentation/code_VALValue.normalize.html deleted file mode 100644 index 5cb5aae..0000000 --- a/documentation/code_VALValue.normalize.html +++ /dev/null @@ -1,37 +0,0 @@ - - - - - - - - - - - - - - - - -Value.normalize - - -

let rec normalize v = 

-        let n = 2. ** float_of_int (value_macro_to_int Faust_Bits_int) in

-        match v with

-        |N i ->        

-            if i > value_macro_to_int Faust_Max_int then 

-              return_N (i - int_of_float (n *. floor (((float_of_int i) +. n/.2.)/.n)))

-            else if i < value_macro_to_int Faust_Min_int then 

-              return_N (i + int_of_float (n *. floor ((n/.2. -. (float_of_int i) -. 1.)/.n)))

-            else return_N i

-        |R f -> 

-            if f > float_of_int (value_macro_to_int Faust_Max_int) then 

-              return_R (f -. (n *. floor ((f +. n/.2.)/.n)))

-            else if f < float_of_int (value_macro_to_int Faust_Min_int) then         

-              return_R (f +. (n *. floor ((n/.2. -. f -. 1.)/.n)))

-            else return_R f

-        |Vec (size, vec) -> make_vector size (fun i -> normalize (vec i))

-        |Zero -> Zero

-        |W -> W

\ No newline at end of file diff --git a/documentation/code_VALValue.print_value_list.html b/documentation/code_VALValue.print_value_list.html deleted file mode 100644 index d0127d2..0000000 --- a/documentation/code_VALValue.print_value_list.html +++ /dev/null @@ -1,28 +0,0 @@ - - - - - - - - - - - - - - - - -Value.print_value_list - - -

let print_value_list value_list = 

-        let s = ref "[" in

-        let n = List.length value_list in

-                for i = 0 to n - 1 do

-                        let current = List.nth value_list i in

-                        s := if i + 1 < n then !s ^ string_of_value current ^ "; " 

-                             else !s ^ string_of_value current ^ "]"

-                done;

-        print_endline !s

\ No newline at end of file diff --git a/documentation/code_VALValue.return_N.html b/documentation/code_VALValue.return_N.html deleted file mode 100644 index 0220827..0000000 --- a/documentation/code_VALValue.return_N.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Value.return_N - - -let return_N i = N i \ No newline at end of file diff --git a/documentation/code_VALValue.return_R.html b/documentation/code_VALValue.return_R.html deleted file mode 100644 index f347df5..0000000 --- a/documentation/code_VALValue.return_R.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Value.return_R - - -let return_R f = R f \ No newline at end of file diff --git a/documentation/code_VALValue.return_Vec.html b/documentation/code_VALValue.return_Vec.html deleted file mode 100644 index 6bbd44b..0000000 --- a/documentation/code_VALValue.return_Vec.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Value.return_Vec - - -let return_Vec (size, vec) = Vec (size, vec) \ No newline at end of file diff --git a/documentation/code_VALValue.string_of_value.html b/documentation/code_VALValue.string_of_value.html deleted file mode 100644 index f276a6c..0000000 --- a/documentation/code_VALValue.string_of_value.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - -Value.string_of_value - - -

let rec string_of_value v = match v with

-        |N i1 -> "N " ^ (string_of_int i1)

-        |R f1 -> "R " ^ (string_of_float f1)

-        |Vec (size, vec) -> "Vec"

-        |Zero -> "Zero"        

-        |W -> "W"

\ No newline at end of file diff --git a/documentation/code_VALValue.take_off_N.html b/documentation/code_VALValue.take_off_N.html deleted file mode 100644 index b92ab1c..0000000 --- a/documentation/code_VALValue.take_off_N.html +++ /dev/null @@ -1,28 +0,0 @@ - - - - - - - - - - - - - - - - -Value.take_off_N - - -

let rec take_off_N v = 

-        match v with

-        |N i -> i

-        |R f -> 

-            raise (Convert_Error "float take_off_N int")

-        |Vec (size, vec) -> 

-            raise (Convert_Error "take_off_N can not convert vector.")

-        |Zero -> 0

-        |W -> 0

\ No newline at end of file diff --git a/documentation/code_VALValue.take_off_R.html b/documentation/code_VALValue.take_off_R.html deleted file mode 100644 index e9a729b..0000000 --- a/documentation/code_VALValue.take_off_R.html +++ /dev/null @@ -1,27 +0,0 @@ - - - - - - - - - - - - - - - - -Value.take_off_R - - -

let take_off_R v = 

-        match v with

-        |N i -> float_of_int i

-        |R f -> f

-        |Vec (size, vec) -> 

-            raise (Convert_Error "take_off_R can not convert vector.")

-        |Zero -> 0.

-        |W -> 0.

\ No newline at end of file diff --git a/documentation/code_VALValue.v_add.html b/documentation/code_VALValue.v_add.html deleted file mode 100644 index b6c85b0..0000000 --- a/documentation/code_VALValue.v_add.html +++ /dev/null @@ -1,58 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_add - - -

let rec v_add v1 v2 = match v1 with

-        |Vec (size1, vec1) -> 

-            (

-                        match v2 with

-                        |Vec (size2, vec2) -> 

-                                if size1 = size2 then 

-                                  make_vector size1 (fun i -> v_add (vec1 i) (vec2 i))

-                                else raise (Value_operation "vector size not matched.")

-                        |Zero -> v1

-                        |_ -> raise (Value_operation "Vector_Scalar vec1 +~ sca2")

-             )

-        |N i1 ->

-            (

-                        match v2 with

-                        |N i2 -> normalize (return_N (i1 + i2))

-                        |R f2 -> normalize (return_R ((float_of_int i1) +. f2))

-                        |Vec (size2, vec2) -> raise (Value_operation "Vector_Scalar i1 +~ vec2")

-                        |Zero -> v1

-                        |W -> fail

-            )

-        |R f1 ->

-            (

-                        match v2 with

-                        |N i2 -> normalize (return_R (f1 +. (float_of_int i2)))

-                        |R f2 -> normalize (return_R (f1 +. f2))

-                        |Vec (size2, vec2) -> raise (Value_operation "Vector_Scalar f1 +~ vec2")

-                        |Zero -> v1

-                        |W -> fail

-            )

-        |Zero -> v2

-        |W ->

-            (

-                        match v2 with

-                        |N i2 -> fail

-                        |R f2 -> fail

-                        |Vec (size2, vec2) -> raise (Value_operation "Vector_Scalar W +~ vec2")

-                        |Zero -> v1

-                        |W -> fail

-            )

\ No newline at end of file diff --git a/documentation/code_VALValue.v_atan.html b/documentation/code_VALValue.v_atan.html deleted file mode 100644 index dccf0fc..0000000 --- a/documentation/code_VALValue.v_atan.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_atan - - -

let rec v_atan v = match v with

-        |N i -> return_R (atan (float_of_int i))

-        |R f -> return_R (atan f)

-        |Vec (size, vec) -> make_vector size (fun i -> v_atan (vec i))

-        |Zero -> return_R (atan 0.)

-        |W -> W

\ No newline at end of file diff --git a/documentation/code_VALValue.v_atantwo.html b/documentation/code_VALValue.v_atantwo.html deleted file mode 100644 index 85e302c..0000000 --- a/documentation/code_VALValue.v_atantwo.html +++ /dev/null @@ -1,44 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_atantwo - - -

let rec v_atantwo v1 v2 = match (v1, v2) with

-        | (N i1, N i2) -> v_atantwo (R (float_of_int i1)) (R (float_of_int i2))

-        | (N i1, R f2) -> v_atantwo (R (float_of_int i1)) v2

-        | (N i1, Zero) -> v_atantwo (R (float_of_int i1)) (R 0.)

-        | (N i1, Vec (size2, vec2)) -> raise (Value_operation "atan2 sca vec.")

-        | (N i1, W) -> W

-

-        | (R f1, N i2) -> v_atantwo v1 (R (float_of_int i2))

-        | (R f1, R f2) -> R (atan2 f1 f2)

-        | (R f1, Zero) -> v_atantwo v1 (R 0.)

-        | (R f1, Vec (size2, vec2)) -> raise (Value_operation "atan2 sca vec.")

-        | (R f1, W) -> W

-

-        | (Vec (size1, vec1), Vec (size2, vec2)) -> make_vector size1 (fun i -> v_atantwo (vec1 i) (vec2 i))

-        | (Vec (size1, vec1), Zero) -> make_vector size1 (fun i -> v_atantwo (vec1 i) Zero)

-        | (Vec (size1, vec1), _) -> raise (Value_operation "atan2 vec sca.")

- 

-        | (Zero, N i2) -> v_atantwo (R 0.) (R (float_of_int i2))

-        | (Zero, R f2) -> v_atantwo (R 0.) v2

-        | (Zero, Vec (size2, vec2)) -> make_vector size2 (fun i -> v_atantwo Zero (vec2 i))

-        | (Zero, Zero) -> v_atantwo (R 0.) (R 0.)

-        | (Zero, W) -> W

-

-        | (W, Vec (size2, vec2)) -> raise (Value_operation "atan2 sca vec.")

-        | (W, _) -> W

\ No newline at end of file diff --git a/documentation/code_VALValue.v_cos.html b/documentation/code_VALValue.v_cos.html deleted file mode 100644 index 1412f77..0000000 --- a/documentation/code_VALValue.v_cos.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_cos - - -

let rec v_cos v = match v with

-        |N i -> return_R (cos (float_of_int i))

-        |R f -> return_R (cos f)

-        |Vec (size, vec) -> make_vector size (fun i -> v_cos (vec i))

-        |Zero -> return_R (cos 0.)

-        |W -> W

\ No newline at end of file diff --git a/documentation/code_VALValue.v_div.html b/documentation/code_VALValue.v_div.html deleted file mode 100644 index 7300046..0000000 --- a/documentation/code_VALValue.v_div.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_div - - -let v_div v1 v2 = v_mul v1 (v_recip v2) \ No newline at end of file diff --git a/documentation/code_VALValue.v_floor.html b/documentation/code_VALValue.v_floor.html deleted file mode 100644 index f90d0bc..0000000 --- a/documentation/code_VALValue.v_floor.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_floor - - -

let rec v_floor v = match v with

-        |N i -> return_R (float_of_int i)

-        |R f -> return_R (floor f)

-        |Vec (size, vec) -> make_vector size (fun i -> v_floor (vec i))

-        |Zero -> return_R 0.

-        |W -> W

\ No newline at end of file diff --git a/documentation/code_VALValue.v_inf.html b/documentation/code_VALValue.v_inf.html deleted file mode 100644 index 87bf8f9..0000000 --- a/documentation/code_VALValue.v_inf.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_inf - - -let v_inf v1 v2 = v_larger_than_zero (v2 -~ v1) \ No newline at end of file diff --git a/documentation/code_VALValue.v_int.html b/documentation/code_VALValue.v_int.html deleted file mode 100644 index 84dc4cd..0000000 --- a/documentation/code_VALValue.v_int.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_int - - -

let rec v_int v = match v with

-        |N i -> v

-        |R f -> return_N (int_of_float f)

-        |Vec (size, vec) -> make_vector size (fun i -> v_int (vec i))

-        |Zero -> return_N 0

-        |W -> W

\ No newline at end of file diff --git a/documentation/code_VALValue.v_larger_than_zero.html b/documentation/code_VALValue.v_larger_than_zero.html deleted file mode 100644 index 3564744..0000000 --- a/documentation/code_VALValue.v_larger_than_zero.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_larger_than_zero - - -

let rec v_larger_than_zero v = match v with

-        |N i -> if i > 0 then return_N 1 else return_N 0

-        |R f -> if f > 0. then return_N 1 else return_N 0

-        |Vec (size, vec) -> make_vector size (fun i -> v_larger_than_zero (vec i))

-        |Zero -> return_N 0

-        |W -> W

\ No newline at end of file diff --git a/documentation/code_VALValue.v_list_memory.html b/documentation/code_VALValue.v_list_memory.html deleted file mode 100644 index db0091e..0000000 --- a/documentation/code_VALValue.v_list_memory.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_list_memory - - -let v_list_memory vl = List.map v_memory vl \ No newline at end of file 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 diff --git a/documentation/code_VALValue.v_mod.html b/documentation/code_VALValue.v_mod.html deleted file mode 100644 index df7beb0..0000000 --- a/documentation/code_VALValue.v_mod.html +++ /dev/null @@ -1,55 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_mod - - -

let rec v_mod v1 v2 = match v1 with

-        |N i1 ->

-                (

-                        match v2 with

-                        |N i2 -> return_N (i1 mod i2)

-                        |R f2 -> return_N (i1 mod (int_of_float f2))

-                        |Vec (size, vec) -> raise (Value_operation "Scalaire_Vector: int mod vec.")

-                        |Zero -> raise (Value_operation "v1 mod v2: v2 cannot be zero.")

-                        |W -> W

-                )

-        |R f1 -> let i = return_N (int_of_float f1) in v_mod i v2

-        |Vec (size1, vec1) ->

-                (

-                        match v2 with

-                        |Vec (size2, vec2) -> 

-                                if size1 = size2 then 

-                                  make_vector size1 (fun i -> v_mod (vec1 i) (vec2 i))

-                                else raise (Value_operation "vector size not matched.")

-                        |Zero -> raise (Value_operation "v1 mod v2: v2 cannot be zero.")

-                        |_ -> raise (Value_operation "Vector_Scalaire: vec mod int.")

-                )

-        |Zero -> 

-                (

-                        match v2 with

-                        |Vec (size2, vec2) -> 

-                                let v = make_vector size2 (fun i -> Zero) in

-                                v_mod v v2

-                        |_ -> v_mod (N 0) v2

-                )

-        |W -> 

-                (

-                        match v2 with

-                        |Vec (size2, vec2) -> raise (Value_operation "Scalaire_Vector: int mod vec.")

-                        |Zero -> raise (Value_operation "v1 mod v2: v2 cannot be zero.")

-                        |_ -> W

-                )

\ No newline at end of file diff --git a/documentation/code_VALValue.v_mul.html b/documentation/code_VALValue.v_mul.html deleted file mode 100644 index 05ad0b5..0000000 --- a/documentation/code_VALValue.v_mul.html +++ /dev/null @@ -1,69 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_mul - - -

let rec v_mul v1 v2 = match v1 with

-        |Vec (size1, vec1) -> 

-                (

-                        match v2 with

-                        |Vec (size2, vec2) -> 

-                                if size1 = size2 then 

-                                  make_vector size1 (fun i -> v_mul (vec1 i) (vec2 i))

-                                else raise (Value_operation "vector size not matched.")

-                        |Zero -> make_vector size1 (fun i -> v_mul (vec1 i) Zero)

-                        |_ -> raise (Value_operation "Vector_Scalar vec1 *~ sca2")

-                )

-        |N i1 ->

-                (

-                        match v2 with

-                        |N i2 -> normalize (return_N (i1 * i2))

-                        |R f2 -> normalize (return_R ((float_of_int i1) *. f2))

-                        |Vec (size2, vec2) -> 

-                            raise (Value_operation "Vector_Scalar i1 *~ vec2")

-                        |Zero -> return_N 0

-                        |W -> if i1 = 0 then N 0 else fail

-                )

-        |R f1 ->

-                (

-                        match v2 with

-                        |N i2 -> normalize (return_R (f1 *. (float_of_int i2)))

-                        |R f2 -> normalize (return_R (f1 *. f2))

-                        |Vec (size2, vec2) -> 

-                            raise (Value_operation "Vector_Scalar f1 *~ vec2")

-                        |Zero -> return_R 0.

-                        |W -> if f1 = 0. then R 0. else fail

-                )

-        |Zero -> 

-                (

-                        match v2 with

-                        |N i2 -> return_N 0

-                        |R f2 -> return_R 0.

-                        |Vec (size2, vec2) -> make_vector size2 (fun i -> v_mul Zero (vec2 i))

-                        |Zero -> Zero

-                        |W -> Zero (* Danger! *)

-                )

-        |W ->

-                (

-                        match v2 with

-                        |N i2 -> if i2 = 0 then N 0 else fail

-                        |R f2 -> if f2 = 0. then R 0. else fail

-                        |Vec (size2, vec2) -> 

-                            raise (Value_operation "Vector_Scalar W +~ vec2")

-                        |Zero -> Zero

-                        |W -> fail

-                )

\ No newline at end of file diff --git a/documentation/code_VALValue.v_neg.html b/documentation/code_VALValue.v_neg.html deleted file mode 100644 index 2768f40..0000000 --- a/documentation/code_VALValue.v_neg.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_neg - - -

let rec v_neg v = match v with

-        |N i -> return_N (-i)

-        |R f -> return_R (-.f)

-        |Vec (size, vec) -> make_vector size (fun i -> v_neg (vec i))

-        |Zero -> Zero

-        |W -> fail

\ No newline at end of file diff --git a/documentation/code_VALValue.v_recip.html b/documentation/code_VALValue.v_recip.html deleted file mode 100644 index 983b2ea..0000000 --- a/documentation/code_VALValue.v_recip.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_recip - - -

let rec v_recip v = match v with

-        |N i -> v_recip (R (float_of_int i))

-        |R f -> if f = 0. then fail else return_R (1./.f)

-        |Vec (size, vec) -> make_vector size (fun i -> v_recip (vec i))

-        |Zero -> fail

-        |W -> return_R 0.

\ No newline at end of file diff --git a/documentation/code_VALValue.v_sin.html b/documentation/code_VALValue.v_sin.html deleted file mode 100644 index 330da64..0000000 --- a/documentation/code_VALValue.v_sin.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_sin - - -

let rec v_sin v = match v with

-        |N i -> return_R (sin (float_of_int i))

-        |R f -> return_R (sin f)

-        |Vec (size, vec) -> make_vector size (fun i -> v_sin (vec i))

-        |Zero -> return_R (sin 0.)

-        |W -> W

\ No newline at end of file diff --git a/documentation/code_VALValue.v_sqrt.html b/documentation/code_VALValue.v_sqrt.html deleted file mode 100644 index c9e86ed..0000000 --- a/documentation/code_VALValue.v_sqrt.html +++ /dev/null @@ -1,29 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_sqrt - - -

let rec v_sqrt v = match v with

-        |N i -> 

-            if i >= 0 then return_R (sqrt (float_of_int i))

-            else raise (Value_operation "sqrt parameter < 0.")

-        |R f -> 

-            if f >= 0. then return_R (sqrt f)

-            else raise (Value_operation "sqrt parameter < 0.")

-        |Vec (size, vec) -> make_vector size (fun i -> v_sqrt (vec i))

-        |Zero -> return_R (sqrt 0.)

-        |W -> W

\ No newline at end of file diff --git a/documentation/code_VALValue.v_sub.html b/documentation/code_VALValue.v_sub.html deleted file mode 100644 index 2bfe2d8..0000000 --- a/documentation/code_VALValue.v_sub.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_sub - - -let v_sub v1 v2 = v_add v1 (v_neg v2) \ No newline at end of file diff --git a/documentation/code_VALValue.v_sup.html b/documentation/code_VALValue.v_sup.html deleted file mode 100644 index 2303a7b..0000000 --- a/documentation/code_VALValue.v_sup.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_sup - - -let v_sup v1 v2 = v_larger_than_zero (v1 -~ v2) \ No newline at end of file diff --git a/documentation/code_VALValue.v_zero.html b/documentation/code_VALValue.v_zero.html deleted file mode 100644 index 2c09660..0000000 --- a/documentation/code_VALValue.v_zero.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - -Value.v_zero - - -

let rec v_zero v = match v with

-        |N i -> N 0

-        |R f -> R 0.

-        |Vec (size, vec) -> make_vector size (fun i -> v_zero (vec i))

-        |Zero -> Zero (* Danger! *)

-        |W -> R 0.

\ No newline at end of file diff --git a/documentation/code_VALValue.value_macro_to_int.html b/documentation/code_VALValue.value_macro_to_int.html deleted file mode 100644 index 2742634..0000000 --- a/documentation/code_VALValue.value_macro_to_int.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - -Value.value_macro_to_int - - -

let value_macro_to_int m = match m with

-                                |Faust_Max_int -> 2147483647

-                                |Faust_Min_int -> -2147483648

-                                |Faust_Bits_int -> 32

\ No newline at end of file diff --git a/documentation/code_VALValue.value_macro_to_value.html b/documentation/code_VALValue.value_macro_to_value.html deleted file mode 100644 index 0b88bbc..0000000 --- a/documentation/code_VALValue.value_macro_to_value.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - -Value.value_macro_to_value - - -

let value_macro_to_value m = match m with

-                                |Faust_Max_int -> 2147483647

-                                |Faust_Min_int -> -2147483648

-                                |Faust_Bits_int -> 32

\ No newline at end of file diff --git a/documentation/index.html b/documentation/index.html deleted file mode 100644 index 37f5da0..0000000 --- a/documentation/index.html +++ /dev/null @@ -1,63 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -

-Index of types
-Index of exceptions
-Index of values
-Index of modules
-

- - - - - - - - - - -

Types	-type symbol, defines valid identifiers in faust expressions. - -
Parser
Lexer
Value	-Module: Value - Description: basic data type in the vectorial faust interpreter. - -
Signal	-Module: Signal - Description: type signal = rate * (int -> value), operations of signals. - -
Faustexp	-Module: Faustexp - Description: dimension estimation and delay estimation of faust expressions. - -
Interpreter	-Module: Interpreter - Description: input beam -> process -> output beam - -
Preprocess
Main	-Module: Interpreter - Description: Input wave -> interpretation -> output wave - -

- - \ No newline at end of file diff --git a/documentation/index_attributes.html b/documentation/index_attributes.html deleted file mode 100644 index d8e44c6..0000000 --- a/documentation/index_attributes.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - - -Index of class attributes - - -

Index of class attributes

- -

- - \ No newline at end of file diff --git a/documentation/index_class_types.html b/documentation/index_class_types.html deleted file mode 100644 index 944d28f..0000000 --- a/documentation/index_class_types.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - - -Index of class types - - -

Index of class types

- -

- - \ No newline at end of file diff --git a/documentation/index_classes.html b/documentation/index_classes.html deleted file mode 100644 index 5c2eb6a..0000000 --- a/documentation/index_classes.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - - -Index of classes - - -

Index of classes

- -

- - \ No newline at end of file diff --git a/documentation/index_exceptions.html b/documentation/index_exceptions.html deleted file mode 100644 index 2eb54e2..0000000 --- a/documentation/index_exceptions.html +++ /dev/null @@ -1,69 +0,0 @@ - - - - - - - - - - - - - - - - - -Index of exceptions - - -

Index of exceptions

- - - - - - - - - - - - - - - - - - - - - - - - -

B
Beam_Matching_Error [Faustexp]	-Exception raised in beam matching of faust expressions. - -
C
Convert_Error [Value]	-Exception raised in convertions between float/int and type 'Value'. - -
E
Evaluation_Error [Interpreter]	-Exception raised during interpretation of faust process. - -
M
Missing_Expression [Main]	-Exception raised when no string expression of faust process is typed in console. - -
N
NotYetDone [Faustexp]	-Exception raised in case that the branch under call hasn't yet been programed. - -
S
Signal_operation [Signal]	-Exception raised in operations of signals. - -
Symbol_not_defined [Types]
V
Value_operation [Value]	-Exception raised in type 'Value' operations. - -

- - \ No newline at end of file diff --git a/documentation/index_methods.html b/documentation/index_methods.html deleted file mode 100644 index eea92e0..0000000 --- a/documentation/index_methods.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - - -Index of class methods - - -

Index of class methods

- -

- - \ No newline at end of file diff --git a/documentation/index_module_types.html b/documentation/index_module_types.html deleted file mode 100644 index fab5bed..0000000 --- a/documentation/index_module_types.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - - -Index of module types - - -

Index of module types

- -

- - \ No newline at end of file diff --git a/documentation/index_modules.html b/documentation/index_modules.html deleted file mode 100644 index 1c39c3c..0000000 --- a/documentation/index_modules.html +++ /dev/null @@ -1,74 +0,0 @@ - - - - - - - - - - - - - - - - - -Index of modules - - -

Index of modules

- - - - - - - - - - - - - - - - - - - - - - - - - - - -

F
Faustexp	-Module: Faustexp - Description: dimension estimation and delay estimation of faust expressions. - -
I
Interpreter	-Module: Interpreter - Description: input beam -> process -> output beam - -
L
Lexer
M
Main	-Module: Interpreter - Description: Input wave -> interpretation -> output wave - -
P
Parser
Preprocess
S
Signal	-Module: Signal - Description: type signal = rate * (int -> value), operations of signals. - -
T
Types	-type symbol, defines valid identifiers in faust expressions. - -
V
Value	-Module: Value - Description: basic data type in the vectorial faust interpreter. - -

- - \ No newline at end of file diff --git a/documentation/index_types.html b/documentation/index_types.html deleted file mode 100644 index 784705b..0000000 --- a/documentation/index_types.html +++ /dev/null @@ -1,66 +0,0 @@ - - - - - - - - - - - - - - - - - -Index of types - - -

Index of types

- - - - - - - - - - - - - - - - - - - - - - - - - - - -

D
dimension [Types]
F
faust_exp [Types]
I
interpreter_macro [Interpreter]	-Macro constants of this file. - -
io_macro [Main]	-Macro constants of input/output route. - -
S
signal [Types]
signal_macro [Signal]	-Macro constants of the file. - -
symbol [Types]	-type symbol, defines valid identifiers in faust expressions. - -
T
token [Parser]
V
value [Types]
value_macro [Value]	-Macro constants of the file. - -

- - \ No newline at end of file diff --git a/documentation/index_values.html b/documentation/index_values.html deleted file mode 100644 index d765212..0000000 --- a/documentation/index_values.html +++ /dev/null @@ -1,657 +0,0 @@ - - - - - - - - - - - - - - - - - -Index of values - - -

Index of values

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -


( *~ ) [Value]	-val ( *~ ) : value -> value -> value, operator of v_mul. - -
(+~) [Value]	-val (+~) : value -> value -> value, operator of v_add. - -
(-~) [Value]	-val (-~) : value -> value -> value, operator of v_sub. - -
(/~) [Value]	-val (/~) : value -> value -> value, operator of v_div. - -
__ocaml_lex_tables [Lexer]
__ocaml_lex_token_rec [Lexer]
A
arrange [Interpreter]	-val arrange : 'a array array array -> int -> 'a array list, -arranges the output data in "array list" form. - -
B
beam_add_one_memory [Signal]	-val beam_add_one_memory : signal list -> signal list, -adds memory of one latest sample for each element in signal list. - -
C
channels [Interpreter]	-val channels : 'a array array array -> int -> int array, -returns an array of number of channels. - -
check_frequency [Signal]	-val check_frequency : int -> int -> int, returns the correction of frequency. - -
compute [Interpreter]	-val compute : (int -> value) list -> (int list) * (float array list). - -
computing [Interpreter]	-val computing : (int -> value array) -> int -> int -> float array array array, -applies time sequence "0,1,2,3,...,max" to signal beam, -returns primitive output data. - -
convert_back_R [Value]	-val convert_back_r : value -> float array, -return a float array of size 1 if v is N\|R\|Zero\|W, a float array of size n if v is Vec. - -
D
d_merge [Faustexp]	-val d_merge : int * int -> int * int -> int * int, process dimension for constructor "merge(:>)", -which is (size of input beam of first exp, size of output beam of second exp) -along with beam matching. - -
d_par [Faustexp]	-val d_par : int * int -> int * int -> int * int, process dimension for constructor "par(,)", -which is the addition of two dimensions. - -
d_rec [Faustexp]	-val d_rec : int * int -> int * int -> int * int, process dimension for constructor "rec(~)", -which is (size of input beam of first exp - size of output beam of second exp, -size of output beam of first exp) -along with beam matching. - -
d_seq [Faustexp]	-val d_seq : int * int -> int * int -> int * int, process dimension for constructor "seq(:)", -which is (size of input beam of first exp, size of output beam of second exp) -along with beam matching. - -
d_split [Faustexp]	-val d_split : int * int -> int * int -> int * int, process dimension for constructor "split(<:)", -which is (size of input beam of first exp, size of output beam of second exp) -along with beam matching. - -
delay [Faustexp]	-val delay : faust_exp -> int, returns the number of delays estimated staticly. - -
dim [Faustexp]	-val dim : faust_exp -> int * int, returns dimension for faust expression, -along with beam matching. - -
E
eval [Interpreter]	-val rec eval : faust_exp -> beam -> beam, -main interpretation work is done here. - -
exp_of_string [Faustexp]	-val exp_of_string : string -> faust_exp, faust expression parser. - -
extract_rate [Interpreter]	-val extract_rate : (int * (int -> value)) list -> int list, -gets the sample rate list from beam. - -
F
factory_add_memory [Value]	-val factory_add_memory : (int -> 'b) -> int -> (int -> 'b), -`factory_add_memory f n` adds a memory of size n to fun f. - -
fail [Value]	-val fail, return value W. - -
frequency [Signal]	-val frequency : signal -> int, returns the frequency of a signal. - -
fun_array_to_fun [Interpreter]	-val func_of_func_array : (int -> value) array -> (int -> value array), -applies the same int parameter to each element of function array, -produces a value array. - -
G
get_root [Faustexp]	-val get_root : dimension -> int * int, returns the root of dimension tree. - -
I
interpret_const [Interpreter]	-val interpret_const : value -> beam -> beam, generates constant signal with frequency 0. - -
interpret_ident [Interpreter]	-val interpret_ident : string -> beam -> beam, -generates signals according to identified symbols. - -
interpreter [Interpreter]	-val interpreter : faust_exp -> (int list) * (float array list) -> -(int list) * (int list) * (float array list) -input: faust expression, sample rate list * input data list -output: channel list * sample rate list * output data list. - -
interpreter_macro_to_value [Interpreter]	-val interpreter_macro_to_value : returns the value associated with the macro. - -
io_macro_to_string [Main]	-val io_macro_to_string : io_macro -> string. - -
M
main [Main]
main [Parser]
make_beam [Interpreter]	-val make_beam : (int list) * (float array list) -> (int * (int -> value)) list, -input: (sample rate list, data list) -output: beam = (sample rate, function) list - -
make_vector [Value]	-val make_vector : int -> (int -> value) -> value, -`make_vector size vec`, return a value Vec of (size, vec). - -
matrix_transpose [Interpreter]	-val matrix_transpose : 'a array array -> 'a array array, -transposes the input matrix. - -
N
normalize [Value]	-val normalize: value -> value, normalize value to bounded `-2147483648,2147483647`. - -
P
preprocess [Preprocess]
print_exp [Faustexp]	-val print_exp : faust_exp -> unit, print to console the input faust expression. - -
print_value_list [Value]	-val print_value_list: value list -> unit, prints to console the value list. - -
R
read_input_wave [Main]	-val read_input_wave : string array -> int list * float array list - `read_input_wave argv` gets information from command line, - returns sample rate list and data (in form of float array) list. - -
return_N [Value]	-val return_N : int -> value, convert from int to value N. - -
return_R [Value]	-val return_R : float -> value, convert from float to value R. - -
return_Vec [Value]	-val return_Vec : int * (int -> value) -> value, convert (size, vec) to value Vec. - -
S
set_GC [Main]	-val set_GC : unit -> unit - -
signal_add [Signal]	-val signal_add : signal -> signal -> signal, output(t) = input1(t) + input2(t), - frequency consistent. - -
signal_add_one_memory [Signal]	-val signal_add_one_memory : signal -> signal, -returns the signal with memory of one latest sample. - -
signal_append [Signal]	-val signal_append : signal -> signal -> signal, symbol "#", - appends vectors of the two input signals at each time, frequency consistent. - -
signal_atan [Signal]	-val signal_atan : signal -> signal, output(t) = v_atan(input(t)), frequency consistent. - -
signal_atantwo [Signal]
signal_check_frequency [Signal]	-val signal_check_frequency : signal -> signal -> int, -checks the frequencies of two input signals, and returns common frequency or raise an exception. - -
signal_check_frequency3 [Signal]	-val signal_check_frequency3 : signal -> signal -> signal -> int, -checks the frequencies of three input signal, and returns common frequency or raise an exception. - -
signal_check_frequency4 [Signal]	-val signal_check_frequency4 : signal -> signal -> signal -> signal -> int, -checks the frequencies of three input signal, and returns common frequency or raise an exception. - -
signal_cos [Signal]	-val signal_cos : signal -> signal, output(t) = v_cos(input(t)), frequency consistent. - -
signal_delay [Signal]	-val signal_delay : signal -> signal -> signal, output(t) = input1(t - input2(t)), - Attention: delay dynamic, frequency of output signal equals to that of first input signal. - -
signal_div [Signal]	-val signal_div : signal -> signal -> signal, output(t) = input1(t) / input2(t), - frequency consistent. - -
signal_floor [Signal]	-val signal_floor : signal -> signal, output(t) = v_floor(input(t)), frequency consistent. - -
signal_fun [Signal]	-val signal_fun : signal -> (int -> value), returns the functional part of a signal. - -
signal_inf [Signal]	-val signal_inf : signal -> signal -> signal, - output(t) = input1(t) < input2(t), frequency consistent. - -
signal_int [Signal]	-val signal_int : signal -> signal, output(t) = v_int(input(t)), frequency consistent. - -
signal_macro_to_int [Signal]	-val signal_macro_to_int : signal_macro -> int. - -
signal_mem [Signal]	-val signal_mem : signal -> signal, equivalent to signal_delay with constant delay 1. - -
signal_mod [Signal]	-val signal_mod : signal -> signal -> signal, - output(t) = input1(t) % input2(t), frequency consistent. - -
signal_mul [Signal]	-val signal_mul : signal -> signal -> signal, output(t) = input1(t) * input2(t), - frequency consistent. - -
signal_neg [Signal]	-val signal_neg : signal -> signal, output(t) = -input(t), frequency consistent. - -
signal_nth [Signal]	-val signal_nth : signal -> signal -> signal, symbol "[]", output(t) = input1(t)(input2(t)), - frequency consistent. - -
signal_prefix [Signal]	-val signal_prefix : signal -> signal -> signal, -`signal_prefix s0 s1` returns s0(0) if t = 0, s1(t-1) if t > 0, frequency same to s1. - -
signal_rdtable [Signal]	-val signal_rdtable : signal -> signal -> signal, - output(t) = input1(input2(t)), frequency equals to that of input2. - -
signal_select2 [Signal]	-val signal_select2 : signal -> signal -> signal -> signal, -`signal_select2 si s0 s1` selects s0 or s1 by index si, frequency consistent. - -
signal_select3 [Signal]	-val signal_select3 : signal -> signal -> signal -> signal -> signal, -`signal_select3 si s0 s1 s2` selects s0 or s1 or s2 by index si, frequency consistent. - -
signal_serialize [Signal]	-val signal_serialize : signal -> signal, output(t) = input(floor(t/n))(t%n), - with n = size of input(0). - -
signal_sin [Signal]	-val signal_sin : signal -> signal, output(t) = v_sin(input(t)), frequency consistent. - -
signal_sqrt [Signal]	-val signal_sqrt : signal -> signal, output(t) = v_sqrt(input(t)), frequency consistent. - -
signal_sub [Signal]	-val signal_sub : signal -> signal -> signal, output(t) = input1(t) - input2(t), - frequency consistent. - -
signal_sup [Signal]	-val signal_sup : signal -> signal -> signal, - output(t) = input1(t) > input2(t), frequency consistent. - -
signal_vectorize [Signal]	-val signal_vectorize : signal -> signal -> signal, output(t)(i) = input1(input2(0) * t + i), -Attention: vector size n static, frequency of output signal is (1/n * frequency of input1) - -
string_of_value [Value]	-val string_of_value : value -> string, converts value to following -strings "N i" \| "R f" \| "Vec" \| "Zero" \| "W". - -
sublist [Interpreter]	-val sublist : 'a list -> int -> int -> 'a list, -`sublist l start length`, returns the sublist of list 'l', -from index 'start', with length 'length'. - -
subtree [Faustexp]	-val subtree : dimention -> int -> dimension, returns a subtree of dimension tree. - -
subtree_left [Faustexp]	-val subtree_left : dimension -> dimension, returns the left subtree of dimension tree. - -
subtree_right [Faustexp]	-val subtree_right : dimension -> dimension, returns the right subtree of dimension tree. - -
symbol_of_string [Types]
T
take_off_N [Value]	-val take_off_N : value -> int, convert from value N to int. - -
take_off_R [Value]	-val take_off_R : value -> float, convert from value R to float. - -
token [Lexer]
V
v_add [Value]	-val v_add : value -> value -> value, value addition, recursive for value.Vec. - -
v_atan [Value]	-val v_atan : value -> value, returns atan(v), recursive for value.Vec. - -
v_atantwo [Value]	-val v_atantwo : value -> value, returns atantwo(v), recursive for value.Vec. - -
v_cos [Value]	-val v_cos : value -> value, returns cos(v), recursive for value.Vec. - -
v_div [Value]	-val v_div : value -> value -> value, value division, returns (v1/.v2). - -
v_floor [Value]	-val v_floor : value -> value, returns floor of float, converts int to float, Zero to 0., - error to error, recursive for value.Vec. - -
v_inf [Value]	-val v_inf : value -> value -> value, comparison of two values, returns value.N 1 if (v1 < v2), -value.N 0 else. - -
v_int [Value]	-val v_int : value -> value, converts value to value.N, error to error, recursive for value.Vec. - -
v_larger_than_zero [Value]	-val v_larger_than_zero : value -> value, primitive comparison between value and zero, -returns value.N 1 if true, value.N 0 if false. - -
v_list_memory [Value]	-val v_list_memory : value list -> value list, returns value list with memory. - -
v_memory [Value]	-val v_memory : value -> value, returns value Vec with memory. - -
v_mod [Value]	-val v_mod : value -> value -> value, returns (v1 % v2), recursive for value.Vec. - -
v_mul [Value]	-val v_mul : value -> value -> value, returns (v1 * v2), recursive for value.Vec. - -
v_neg [Value]	-val v_neg : value -> value, v_neg v = -v. - -
v_recip [Value]	-val v_recip : value -> value, v_recip v = 1./.v. - -
v_sin [Value]	-val v_sin : value -> value, returns sin(v), recursive for value.Vec. - -
v_sqrt [Value]	-val v_sqrt : value -> value, returns sqrt(v), recursive for value.Vec. - -
v_sub [Value]	-val v_sub : value -> value -> value, returns (v1 - v2). - -
v_sup [Value]	-val v_sup : value -> value -> value, comparison of two values, returns value.N 1 if (v1 > v2), -value.N 0 else. - -
v_zero [Value]	-val v_zero : value -> value, Attention: N i -> N 0 \| R f -> R 0. - -
value_macro_to_int [Value]	-val value_macro_to_value : value_macro -> int. - -
W
write_output_txt [Main]
write_output_wave [Main]	-val write_output_wave : int list -> int list -> float_array_list -> unit. - -
Y
yyact [Parser]
yycheck [Parser]
yydefred [Parser]
yydgoto [Parser]
yygindex [Parser]
yylen [Parser]
yylhs [Parser]
yynames_block [Parser]
yynames_const [Parser]
yyrindex [Parser]
yysindex [Parser]
yytable [Parser]
yytables [Parser]
yytablesize [Parser]
yytransl_block [Parser]
yytransl_const [Parser]

- - \ No newline at end of file diff --git a/documentation/style.css b/documentation/style.css deleted file mode 100644 index 9c84d31..0000000 --- a/documentation/style.css +++ /dev/null @@ -1,34 +0,0 @@ -a:visited {color : #416DFF; text-decoration : none; } -a:link {color : #416DFF; text-decoration : none;} -a:hover {color : Red; text-decoration : none; background-color: #5FFF88} -a:active {color : Red; text-decoration : underline; } -.keyword { font-weight : bold ; color : Red } -.keywordsign { color : #C04600 } -.superscript { font-size : 4 } -.subscript { font-size : 4 } -.comment { color : Green } -.constructor { color : Blue } -.type { color : #5C6585 } -.string { color : Maroon } -.warning { color : Red ; font-weight : bold } -.info { margin-left : 3em; margin-right : 3em } -.param_info { margin-top: 4px; margin-left : 3em; margin-right : 3em } -.code { color : #465F91 ; } -h1 { font-size : 20pt ; text-align: center; } -h2 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90BDFF ;padding: 2px; } -h3 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90DDFF ;padding: 2px; } -h4 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90EDFF ;padding: 2px; } -h5 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90FDFF ;padding: 2px; } -h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #C0FFFF ; padding: 2px; } -div.h7 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #E0FFFF ; padding: 2px; } -div.h8 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #F0FFFF ; padding: 2px; } -div.h9 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #FFFFFF ; padding: 2px; } -.typetable { border-style : hidden } -.indextable { border-style : hidden } -.paramstable { border-style : hidden ; padding: 5pt 5pt} -body { background-color : White } -tr { background-color : White } -td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;} -pre { margin-bottom: 4px } -div.sig_block {margin-left: 2em} -*:target { background: yellow; } \ No newline at end of file diff --git a/documentation/type_Faustexp.html b/documentation/type_Faustexp.html deleted file mode 100644 index ea88f7c..0000000 --- a/documentation/type_Faustexp.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Faustexp - - -sig end \ No newline at end of file diff --git a/documentation/type_Interpreter.html b/documentation/type_Interpreter.html deleted file mode 100644 index 00a929f..0000000 --- a/documentation/type_Interpreter.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Interpreter - - -sig end \ No newline at end of file diff --git a/documentation/type_Lexer.html b/documentation/type_Lexer.html deleted file mode 100644 index 32877ba..0000000 --- a/documentation/type_Lexer.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Lexer - - -sig end \ No newline at end of file diff --git a/documentation/type_Main.html b/documentation/type_Main.html deleted file mode 100644 index 9d8e36f..0000000 --- a/documentation/type_Main.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Main - - -sig end \ No newline at end of file diff --git a/documentation/type_Parser.html b/documentation/type_Parser.html deleted file mode 100644 index 0057a7d..0000000 --- a/documentation/type_Parser.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Parser - - -sig end \ No newline at end of file diff --git a/documentation/type_Preprocess.html b/documentation/type_Preprocess.html deleted file mode 100644 index f62d292..0000000 --- a/documentation/type_Preprocess.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Preprocess - - -sig end \ No newline at end of file diff --git a/documentation/type_Signal.html b/documentation/type_Signal.html deleted file mode 100644 index bcb8afc..0000000 --- a/documentation/type_Signal.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Signal - - -sig end \ No newline at end of file diff --git a/documentation/type_Types.html b/documentation/type_Types.html deleted file mode 100644 index eae4fa0..0000000 --- a/documentation/type_Types.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Types - - -sig end \ No newline at end of file diff --git a/documentation/type_Value.html b/documentation/type_Value.html deleted file mode 100644 index 777f173..0000000 --- a/documentation/type_Value.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - -Value - - -sig end \ No newline at end of file