Project

General

Profile

Download (1016 Bytes) 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:18:36
5
#open <conv>
6
(*
7
Original block name: Assignment9_PP
8
*)
9
node  Assignment9_PP(_virtual : bool;)
10
returns(Out1_1 : real;);
11
var Assignment_19_034_U_index_1 : int;
12
	Assignment_19_034_ind_dim_1_1 : int;
13
	Assignment_19_034_str_Y_index_1_1 : int;
14
	Assignment_1 : real;
15
	Constant_1 : real;
16
	Constant1_1 : real;
17
	Constant2_1 : real;
18
	__time_step : real;
19
	__nb_step : int;
20
let
21
	Assignment_19_034_ind_dim_1_1 = real_to_int(Constant2_1);
22
	Assignment_19_034_str_Y_index_1_1 = Assignment_19_034_ind_dim_1_1;
23
	Assignment_19_034_U_index_1 = (Assignment_19_034_str_Y_index_1_1 * 1);
24
	Assignment_1 = if (Assignment_19_034_U_index_1 = 1) then
25
		Constant1_1
26
	    else Constant_1;
27
	Constant_1 = 2.000000000000000;
28
	Constant1_1 = 0.000000000000000;
29
	Constant2_1 = 1.000000000000000;
30
	Out1_1 = Assignment_1;
31
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
32
	__nb_step = (0 -> ((pre __nb_step) + 1));
33
tel
34

    
(109-109/1153)