Project

General

Profile

Bug #61 ยป safe_1_PP.lus

Hamza Bourbouh, 01/18/2018 02:08 AM

 
1
-- This file has been generated by CoCoSim
2

    
3

    
4
-- System nodes
5
node safe_1_PP_Subsystem (In1_1_1 : int; In3_1_1 : int)
6
returns (Out1_1_1 : int;
7
	Out2_2_1 : int); 
8
var
9
	Abs_1_1 : int;
10
	RelationalOperator_1_1 : bool;
11
	Switch_1_1 : int;
12
let 
13
	Abs_1_1 = if Switch_1_1 >= 0 then Switch_1_1 else -Switch_1_1;
14
	RelationalOperator_1_1 = In1_1_1 >= In3_1_1;
15
	Switch_1_1 = if RelationalOperator_1_1 then In1_1_1 else In3_1_1;
16
	Out1_1_1 = Switch_1_1;
17
	Out2_2_1 = Abs_1_1;
18
tel
19

    
20
node safe_1_PP (In1_1_1 : int; In2_1_1 : int; In3_1_1 : real)
21
returns (Out1_1_1 : int;
22
	Out2_2_1 : int;
23
	Out3_3_1 : real); 
24
var
25
	Subsystem_1_1 : int; Subsystem_2_1 : int;
26
	i_virtual_local : real;
27
let 
28
	(Subsystem_1_1, Subsystem_2_1) = safe_1_PP_Subsystem(In1_1_1, In2_1_1);
29
	Out1_1_1 = Subsystem_1_1;
30
	Out2_2_1 = Subsystem_2_1;
31
	Out3_3_1 = In3_1_1;
32
	i_virtual_local= 0.0 -> 1.0;
33
tel
34

    
    (1-1/1)