2 <link rel=
"stylesheet" href=
"style.css" type=
"text/css">
3 <meta content=
"text/html; charset=iso-8859-1" http-equiv=
"Content-Type">
4 <link rel=
"Start" href=
"index.html">
5 <link title=
"Index of types" rel=Appendix
href=
"index_types.html">
6 <link title=
"Index of exceptions" rel=Appendix
href=
"index_exceptions.html">
7 <link title=
"Index of values" rel=Appendix
href=
"index_values.html">
8 <link title=
"Index of modules" rel=Appendix
href=
"index_modules.html">
9 <link title=
"Types" rel=
"Chapter" href=
"Types.html">
10 <link title=
"Parser" rel=
"Chapter" href=
"Parser.html">
11 <link title=
"Lexer" rel=
"Chapter" href=
"Lexer.html">
12 <link title=
"Value" rel=
"Chapter" href=
"Value.html">
13 <link title=
"Signal" rel=
"Chapter" href=
"Signal.html">
14 <link title=
"Faustexp" rel=
"Chapter" href=
"Faustexp.html">
15 <link title=
"Interpreter" rel=
"Chapter" href=
"Interpreter.html">
16 <link title=
"Preprocess" rel=
"Chapter" href=
"Preprocess.html">
17 <link title=
"Main" rel=
"Chapter" href=
"Main.html"><title>Faustexp.dim
</title>
20 <code class=
"code"><span class=
"keyword">let
</span> <span class=
"keyword">rec
</span> dim
exp_faust
=
<br>
22 </code><table><tr><td></td><td><span class=
"comment">(** val dimension_constructor : ((int * int) -
> (int * int) -
> (int * int)) -
> faust_exp
23 -
> faust_exp -
> dimension,
24 returns the dimension tree of constructor(e1, e2).*)
</span></td></tr></table><code class=
"code"><br>
25 <span class=
"keyword">let
</span> dimension_constructor
=
<span class=
"keyword">fun
</span> constructor
<span class=
"keywordsign">-
></span> <span class=
"keyword">fun
</span> e1
<span class=
"keywordsign">-
></span> <span class=
"keyword">fun
</span> e2
<span class=
"keywordsign">-
></span><br>
26 <span class=
"keyword">let
</span> subtree1
=
dim
e1
<span class=
"keyword">in
</span><br>
27 <span class=
"keyword">let
</span> subtree2
=
dim
e2
<span class=
"keyword">in
</span><br>
28 <span class=
"keyword">let
</span> root
=
constructor
(get_root
subtree1)
(get_root
subtree2)
<span class=
"keyword">in
</span><br>
29 <span class=
"constructor">Tree
</span> (root,
(subtree1,
subtree2))
<span class=
"keyword">in
</span><br>
31 <span class=
"keyword">match
</span> exp_faust
<span class=
"keyword">with
</span><br>
32 <span class=
"keywordsign">|
</span><span class=
"constructor">Const
</span> v
<span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
0,
1)
<br>
33 <span class=
"keywordsign">|
</span><span class=
"constructor">Ident
</span> s
<span class=
"keywordsign">-
></span> <br>
34 (
<br>
35 <span class=
"keyword">match
</span> s
<span class=
"keyword">with
</span><br>
36 <span class=
"keywordsign">|
</span><span class=
"constructor">Add
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
2,
1)
<br>
37 <span class=
"keywordsign">|
</span><span class=
"constructor">Sup
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
2,
1)
<br>
38 <span class=
"keywordsign">|
</span><span class=
"constructor">Mul
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
2,
1)
<br>
39 <span class=
"keywordsign">|
</span><span class=
"constructor">Div
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
2,
1)
<br>
40 <span class=
"keywordsign">|
</span><span class=
"constructor">Pass
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
1,
1)
<br>
41 <span class=
"keywordsign">|
</span><span class=
"constructor">Stop
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
1,
0)
<br>
42 <span class=
"keywordsign">|
</span><span class=
"constructor">Mem
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
1,
1)
<br>
43 <span class=
"keywordsign">|
</span><span class=
"constructor">Delay
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
2,
1)
<br>
44 <span class=
"keywordsign">|
</span><span class=
"constructor">Floor
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
1,
1)
<br>
45 <span class=
"keywordsign">|
</span><span class=
"constructor">Int
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
1,
1)
<br>
46 <span class=
"keywordsign">|
</span><span class=
"constructor">Sin
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
1,
1)
<br>
47 <span class=
"keywordsign">|
</span><span class=
"constructor">Cos
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
1,
1)
<br>
48 <span class=
"keywordsign">|
</span><span class=
"constructor">Atan
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
1,
1)
<br>
49 <span class=
"keywordsign">|
</span><span class=
"constructor">Atantwo
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
2,
1)
<br>
50 <span class=
"keywordsign">|
</span><span class=
"constructor">Sqrt
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
1,
1)
<br>
51 <span class=
"keywordsign">|
</span><span class=
"constructor">Rdtable
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
3,
1)
<br>
52 <span class=
"keywordsign">|
</span><span class=
"constructor">Mod
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
2,
1)
<br>
53 <span class=
"keywordsign">|
</span><span class=
"constructor">Vectorize
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
2,
1)
<br>
54 <span class=
"keywordsign">|
</span><span class=
"constructor">Concat
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
2,
1)
<br>
55 <span class=
"keywordsign">|
</span><span class=
"constructor">Nth
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
2,
1)
<br>
56 <span class=
"keywordsign">|
</span><span class=
"constructor">Serialize
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
1,
1)
<br>
57 <span class=
"keywordsign">|
</span><span class=
"constructor">Larger
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
2,
1)
<br>
58 <span class=
"keywordsign">|
</span><span class=
"constructor">Smaller
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
2,
1)
<br>
59 <span class=
"keywordsign">|
</span><span class=
"constructor">Prefix
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
2,
1)
<br>
60 <span class=
"keywordsign">|
</span><span class=
"constructor">Selecttwo
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
3,
1)
<br>
61 <span class=
"keywordsign">|
</span><span class=
"constructor">Selectthree
</span> <span class=
"keywordsign">-
></span> <span class=
"constructor">End
</span> (
4,
1)
<br>
62 )
<br>
64 <span class=
"keywordsign">|
</span><span class=
"constructor">Par
</span> (e1,
e2)
<span class=
"keywordsign">-
></span> dimension_constructor
d_par
e1
e2
<br>
65 <span class=
"keywordsign">|
</span><span class=
"constructor">Seq
</span> (e1,
e2)
<span class=
"keywordsign">-
></span> dimension_constructor
d_seq
e1
e2
<br>
66 <span class=
"keywordsign">|
</span><span class=
"constructor">Split
</span> (e1,
e2)
<span class=
"keywordsign">-
></span> dimension_constructor
d_split
e1
e2
<br>
67 <span class=
"keywordsign">|
</span><span class=
"constructor">Merge
</span> (e1,
e2)
<span class=
"keywordsign">-
></span> dimension_constructor
d_merge
e1
e2
<br>
68 <span class=
"keywordsign">|
</span><span class=
"constructor">Rec
</span> (e1,
e2)
<span class=
"keywordsign">-
></span> dimension_constructor
d_rec
e1
e2
</code></body></html>