Project

General

Profile

Download (1.48 KB) Statistics
| Branch: | Tag: | Revision:
1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:16:27
5
node  real_to_bool(x : real;)
6
returns(y : bool;);
7
let
8
	y = (x <> 0.0);
9
tel
10

    
11
(*
12
Original block name: Assertion1_PP/Subsystem/CompareToZero
13
*)
14
node  CompareToZero_37_252(u_1 : real;
15
	__time_step : real;
16
	__nb_step : int;)
17
returns(y_1 : bool;);
18
var Compare_1 : bool;
19
	Constant_1 : real;
20
let
21
	Compare_1 = (u_1 >= Constant_1);
22
	Constant_1 = 0.000000000000000;
23
	y_1 = Compare_1;
24
tel
25

    
26
(*
27
Original block name: Assertion1_PP/Subsystem
28
*)
29
node  Subsystem_34_036(In1_1 : real;
30
	__time_step : real;
31
	__nb_step : int;)
32
returns(Out1_1 : real;);
33
var CompareToZero_1 : bool;
34
	Constant_1 : real;
35
	Sum_1 : real;
36
let
37
	--%PROPERTY "Assertion_36_043" CompareToZero_1;
38
	CompareToZero_1 = CompareToZero_37_252(Sum_1, __time_step, __nb_step);
39
	Constant_1 = 1.000000000000000;
40
	Sum_1 = 0.0 + In1_1 + Constant_1;
41
	Out1_1 = Sum_1;
42
tel
43

    
44
(*
45
Original block name: Assertion1_PP
46
*)
47
node  Assertion1_PP(x_1 : real;
48
	In1_1 : real;
49
	In1_2 : real;
50
	In1_3 : real;)
51
returns(Out1_1 : real;);
52
var Abs_1 : real;
53
	Subsystem_1 : real;
54
	__time_step : real;
55
	__nb_step : int;
56
let
57
	Abs_1 = if (x_1 >= 0.0) then
58
		x_1
59
	    else (- x_1);
60
	--%PROPERTY "Assertion_33_046" ( real_to_bool(In1_1) and real_to_bool(In1_2) and real_to_bool(In1_3) );
61
	Subsystem_1 = Subsystem_34_036(Abs_1, __time_step, __nb_step);
62
	Out1_1 = Subsystem_1;
63
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
64
	__nb_step = (0 -> ((pre __nb_step) + 1));
65
tel
66

    
(55-55/1153)