Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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