Project

General

Profile

Download (1.09 KB) Statistics
| Branch: | Tag: | Revision:
1
#open "mydouble_wrapper"
2
-- This file has been generated by CoCoSim
3

    
4
-- Properties nodes
5
node example1_SafetyProp (In1_1_1 : int; In2_1_1 : int)
6
returns (Out1_1_1 : bool);
7
var
8
	LogicalOperator_1_1 : bool;
9
	RelationalOperator_1_1 : bool;
10
	In5_1_1 : int;
11
	i_virtual_local : real;
12
let
13
	LogicalOperator_1_1 = RelationalOperator_1_1 and (In5_1_1 != 0);
14
	RelationalOperator_1_1 = In1_1_1 >= In2_1_1;
15
	Out1_1_1 = LogicalOperator_1_1;
16
	i_virtual_local= 0.0 -> 1.0;
17

    
18
	In5_1_1 = example1(In2_1_1, In1_1_1);
19
	--%PROPERTY Out1_1_1; 
20
 
21
tel
22

    
23

    
24
-- System nodes
25
node example1 (In1_1_1 : int; In2_1_1 : int)
26
returns (Out1_1_1 : int); 
27
var
28
	ControlSys_SFunction_1_1 : int;
29
	ControlSys_System_RelationalOperator_1_1 : bool;
30
	ControlSys_System_Switch_1_1 : int;
31
	i_virtual_local : real;
32
let 
33
	(ControlSys_SFunction_1_1) = ControlSys_SFunction(In1_1_1, In2_1_1);
34
	ControlSys_System_RelationalOperator_1_1 = In1_1_1 >= ControlSys_SFunction_1_1;
35
	ControlSys_System_Switch_1_1 = if ControlSys_System_RelationalOperator_1_1 then In1_1_1 else ControlSys_SFunction_1_1;
36
	Out1_1_1 = ControlSys_System_Switch_1_1;
37
	i_virtual_local= 0.0 -> 1.0;
38
tel
39

    
(3-3/13)