Project

General

Profile

Download (1.26 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:44:37
5
(*
6
Original block name: ANDONEINPUT
7
*)
8
node  ANDONEINPUT(In1_1 : real;
9
	In1_2 : real;
10
	In1_3 : real;
11
	In1_4 : real;)
12
returns(Out1_1 : bool;);
13
var Abs1_1 : real;
14
	Abs1_2 : real;
15
	Abs1_3 : real;
16
	Abs1_4 : real;
17
	Constant1_1 : real;
18
	LogicalOperator1_1 : bool;
19
	RelationalOperator1_1 : bool;
20
	RelationalOperator1_2 : bool;
21
	RelationalOperator1_3 : bool;
22
	RelationalOperator1_4 : bool;
23
	__time_step : real;
24
	__nb_step : int;
25
let
26
	Abs1_1 = if (In1_1 >= 0.0) then
27
		In1_1
28
	    else (- In1_1);
29
	Abs1_2 = if (In1_2 >= 0.0) then
30
		In1_2
31
	    else (- In1_2);
32
	Abs1_3 = if (In1_3 >= 0.0) then
33
		In1_3
34
	    else (- In1_3);
35
	Abs1_4 = if (In1_4 >= 0.0) then
36
		In1_4
37
	    else (- In1_4);
38
	Constant1_1 = 6.000000000000000;
39
	LogicalOperator1_1 = ( RelationalOperator1_1 or RelationalOperator1_2 or RelationalOperator1_3 or RelationalOperator1_4 );
40
	RelationalOperator1_1 = (Abs1_1 > Constant1_1);
41
	RelationalOperator1_2 = (Abs1_2 > Constant1_1);
42
	RelationalOperator1_3 = (Abs1_3 > Constant1_1);
43
	RelationalOperator1_4 = (Abs1_4 > Constant1_1);
44
	Out1_1 = LogicalOperator1_1;
45
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
46
	__nb_step = (0 -> ((pre __nb_step) + 1));
47
tel
48

    
(7-7/1153)