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.mines-paristech.fr/git/Faustine.git/commitdiff_plain/b8e89a384896a4f8ce3e1990a10c88e7164af55c?hp=--cc Install, Readme and Changes files updated. Documentation removed. --- b8e89a384896a4f8ce3e1990a10c88e7164af55c 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) Zeroin
-                        (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) Zeroin
-                                (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_intin
-        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_intin
-        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_intthen 
-              return_R (f -. (n *. floor ((f +. n/.2.)/.n)))
-            else if f < float_of_int (value_macro_to_int Faust_Min_intthen         
-              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.")

-        | (ZeroN i2) -> v_atantwo (R 0.) (R (float_of_int i2))
-        | (ZeroR f2) -> v_atantwo (R 0.) v2
-        | (ZeroVec (size2, vec2)) -> make_vector size2 (fun i -> v_atantwo Zero (vec2 i))
-        | (ZeroZero-> v_atantwo (R 0.) (R 0.)
-        | (ZeroW-> W
-
-        | (WVec (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 -> Zeroin
-                                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