Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_flattening_test / flattening_test.lus @ 6c3ea955

History | View | Annotate | Download (502 Bytes)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node flattening_test (In1_1_1 : real)
6
returns (Out1_1_1 : real); 
7
var
8
	Constant_1_1 : real;
9
	Constant1_1_1 : real;
10
	SaturationDynamic_1_1 : real;
11
	i_virtual_local : real;
12
let 
13
	Constant_1_1 = 1.00000000;
14
	Constant1_1_1 = 1.00000000;
15
	SaturationDynamic_1_1 = if In1_1_1 > Constant_1_1 then Constant_1_1
16
		else if In1_1_1 < Constant1_1_1 then Constant1_1_1
17
		else In1_1_1;
18
	Out1_1_1 = SaturationDynamic_1_1;
19
	i_virtual_local= 0.0 -> 1.0;
20
tel
21