+++ /dev/null
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
-<html>
-<head>
-<link rel="stylesheet" href="style.css" type="text/css">
-<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
-<link rel="Start" href="index.html">
-<link rel="previous" href="Signal.html">
-<link rel="next" href="Interpreter.html">
-<link rel="Up" href="index.html">
-<link title="Index of types" rel=Appendix href="index_types.html">
-<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
-<link title="Index of values" rel=Appendix href="index_values.html">
-<link title="Index of modules" rel=Appendix href="index_modules.html">
-<link title="Types" rel="Chapter" href="Types.html">
-<link title="Parser" rel="Chapter" href="Parser.html">
-<link title="Lexer" rel="Chapter" href="Lexer.html">
-<link title="Value" rel="Chapter" href="Value.html">
-<link title="Signal" rel="Chapter" href="Signal.html">
-<link title="Faustexp" rel="Chapter" href="Faustexp.html">
-<link title="Interpreter" rel="Chapter" href="Interpreter.html">
-<link title="Preprocess" rel="Chapter" href="Preprocess.html">
-<link title="Main" rel="Chapter" href="Main.html"><title>Faustexp</title>
-</head>
-<body>
-<div class="navbar"><a href="Signal.html">Previous</a>
- <a href="index.html">Up</a>
- <a href="Interpreter.html">Next</a>
-</div>
-<center><h1>Module <a href="type_Faustexp.html">Faustexp</a></h1></center>
-<br>
-<pre><span class="keyword">module</span> Faustexp: <code class="code">sig</code> <a href="Faustexp.html">..</a> <code class="code">end</code></pre>Module: Faustexp
- Description: dimension estimation and delay estimation of faust expressions.<br>
-<b>Author(s):</b> WANG Haisheng
- Created: 03/06/2013 Modified: 04/06/2013<br>
-<hr width="100%">
-<pre><span id="EXCEPTIONBeam_Matching_Error"><span class="keyword">exception</span> Beam_Matching_Error</span> <span class="keyword">of</span> <code class="type">string</code></pre>
-<div class="info">
-Exception raised in beam matching of faust expressions.<br>
-</div>
-<pre><span id="EXCEPTIONNotYetDone"><span class="keyword">exception</span> NotYetDone</span></pre>
-<div class="info">
-Exception raised in case that the branch under call hasn't yet been programed.<br>
-</div>
-<pre><span id="VALdelay"><span class="keyword">val</span> <a href="code_VALFaustexp.delay.html">delay</a></span> : <code class="type"><a href="Types.html#TYPEfaust_exp">Types.faust_exp</a> -> int</code></pre><div class="info">
-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.<br>
-</div>
-<pre><span id="VALexp_of_string"><span class="keyword">val</span> <a href="code_VALFaustexp.exp_of_string.html">exp_of_string</a></span> : <code class="type">string -> <a href="Types.html#TYPEfaust_exp">Types.faust_exp</a></code></pre><div class="info">
-val exp_of_string : string -> faust_exp, faust expression parser.<br>
-</div>
-<pre><span id="VALget_root"><span class="keyword">val</span> <a href="code_VALFaustexp.get_root.html">get_root</a></span> : <code class="type"><a href="Types.html#TYPEdimension">Types.dimension</a> -> int * int</code></pre><div class="info">
-val get_root : dimension -> int * int, returns the root of dimension tree.<br>
-</div>
-<pre><span id="VALsubtree"><span class="keyword">val</span> <a href="code_VALFaustexp.subtree.html">subtree</a></span> : <code class="type"><a href="Types.html#TYPEdimension">Types.dimension</a> -> int -> <a href="Types.html#TYPEdimension">Types.dimension</a></code></pre><div class="info">
-val subtree : dimention -> int -> dimension, returns a subtree of dimension tree.<br>
-</div>
-<pre><span id="VALsubtree_left"><span class="keyword">val</span> <a href="code_VALFaustexp.subtree_left.html">subtree_left</a></span> : <code class="type"><a href="Types.html#TYPEdimension">Types.dimension</a> -> <a href="Types.html#TYPEdimension">Types.dimension</a></code></pre><div class="info">
-val subtree_left : dimension -> dimension, returns the left subtree of dimension tree.<br>
-</div>
-<pre><span id="VALsubtree_right"><span class="keyword">val</span> <a href="code_VALFaustexp.subtree_right.html">subtree_right</a></span> : <code class="type"><a href="Types.html#TYPEdimension">Types.dimension</a> -> <a href="Types.html#TYPEdimension">Types.dimension</a></code></pre><div class="info">
-val subtree_right : dimension -> dimension, returns the right subtree of dimension tree.<br>
-</div>
-<pre><span id="VALd_par"><span class="keyword">val</span> <a href="code_VALFaustexp.d_par.html">d_par</a></span> : <code class="type">int * int -> int * int -> int * int</code></pre><div class="info">
-val d_par : int * int -> int * int -> int * int, process dimension for constructor "par(,)",
-which is the addition of two dimensions.<br>
-</div>
-<pre><span id="VALd_seq"><span class="keyword">val</span> <a href="code_VALFaustexp.d_seq.html">d_seq</a></span> : <code class="type">'a * 'b -> 'b * 'c -> 'a * 'c</code></pre><div class="info">
-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.<br>
-</div>
-<pre><span id="VALd_split"><span class="keyword">val</span> <a href="code_VALFaustexp.d_split.html">d_split</a></span> : <code class="type">'a * int -> int * 'b -> 'a * 'b</code></pre><div class="info">
-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.<br>
-</div>
-<pre><span id="VALd_merge"><span class="keyword">val</span> <a href="code_VALFaustexp.d_merge.html">d_merge</a></span> : <code class="type">'a * int -> int * 'b -> 'a * 'b</code></pre><div class="info">
-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.<br>
-</div>
-<pre><span id="VALd_rec"><span class="keyword">val</span> <a href="code_VALFaustexp.d_rec.html">d_rec</a></span> : <code class="type">int * 'a -> 'a * int -> int * 'a</code></pre><div class="info">
-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.<br>
-</div>
-<pre><span id="VALdim"><span class="keyword">val</span> <a href="code_VALFaustexp.dim.html">dim</a></span> : <code class="type"><a href="Types.html#TYPEfaust_exp">Types.faust_exp</a> -> <a href="Types.html#TYPEdimension">Types.dimension</a></code></pre><div class="info">
-val dim : faust_exp -> int * int, returns dimension for faust expression,
-along with beam matching.<br>
-</div>
-<pre><span id="VALprint_exp"><span class="keyword">val</span> <a href="code_VALFaustexp.print_exp.html">print_exp</a></span> : <code class="type"><a href="Types.html#TYPEfaust_exp">Types.faust_exp</a> -> unit</code></pre><div class="info">
-val print_exp : faust_exp -> unit, print to console the input faust expression.<br>
-</div>
-</body></html>
\ No newline at end of file