Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_integrator_test / integrator_test.lus @ 6c3ea955

History | View | Annotate | Download (670 Bytes)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node integrator_test (In1_1_1 : real; In2_1_1 : int; In3_1_1 : bool)
6
returns (Out1_1_1 : real;
7
	Out2_2_1 : int;
8
	Out3_3_1 : int); 
9
var
10
	Integrator_1_1 : real;
11
	Integrator1_1_1 : int;
12
	Integrator2_1_1 : int;
13
	i_virtual_local : real;
14
let 
15
	Integrator_1_1 = 0.00000000 -> (1.00000000 * 1.00000000)*(pre In1_1_1) + pre Integrator_1_1;
16
	Integrator1_1_1 = 0 -> (1 * 1)*(pre In2_1_1) + pre Integrator1_1_1;
17
	Integrator2_1_1 = 0 -> (1 * 1)*(pre (if In3_1_1 then 1 else 0)) + pre Integrator2_1_1;
18
	Out1_1_1 = Integrator_1_1;
19
	Out2_2_1 = Integrator1_1_1;
20
	Out3_3_1 = Integrator2_1_1;
21
	i_virtual_local= 0.0 -> 1.0;
22
tel
23