lustrec-tests / regression_tests / lustre_files / success / mpfr / math_2_test.lus @ b745c1a8
History | View | Annotate | Download (725 Bytes)
1 | 7f14b1e1 | bourbouh | -- This file has been generated by cocoSim |
---|---|---|---|
2 | |||
3 | 72e9ca2d | ploc | #open <lustrec_math> |
4 | 7f14b1e1 | bourbouh | |
5 | -- System nodes |
||
6 | node math_2_test (In6_1_1 : real; In7_1_1 : real; In8_1_1 : real; In9_1_1 : real; In11_1_1 : real; ) |
||
7 | returns (Out6_1_1 : real; |
||
8 | Out7_2_1 : real; |
||
9 | Out8_3_1 : real; |
||
10 | Out10_4_1 : real); |
||
11 | var |
||
12 | MathFunction5_1_1 : real; |
||
13 | MathFunction6_1_1 : real; |
||
14 | MathFunction7_1_1 : real; |
||
15 | MathFunction9_1_1 : real; |
||
16 | i_virtual_local : real; |
||
17 | let |
||
18 | MathFunction5_1_1 = In6_1_1 * In6_1_1; |
||
19 | MathFunction6_1_1 = sqrt(In7_1_1); |
||
20 | MathFunction7_1_1 = pow(In8_1_1, In9_1_1); |
||
21 | MathFunction9_1_1 = 1.0 / In11_1_1; |
||
22 | Out6_1_1 = MathFunction5_1_1; |
||
23 | Out7_2_1 = MathFunction6_1_1; |
||
24 | Out8_3_1 = MathFunction7_1_1; |
||
25 | Out10_4_1 = MathFunction9_1_1; |
||
26 | i_virtual_local= 0.0 -> 1.0; |
||
27 | tel |