Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / implication_PP.LUSTREC.lus @ cd1faebc

History | View | Annotate | Download (930 Bytes)

1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:40:46
5
(*
6
Original block name: implication_PP/Implication
7
*)
8
node  Implication_34_077(A1_1 : bool;
9
	B1_1 : bool;
10
	__time_step : real;
11
	__nb_step : int;)
12
returns(A_equal__equal__gt_B_1 : bool;);
13
var LogicalOperator_1 : bool;
14
	LogicalOperator1_1 : bool;
15
let
16
	LogicalOperator_1 = ( LogicalOperator1_1 or B1_1 );
17
	LogicalOperator1_1 = (not A1_1);
18
	A_equal__equal__gt_B_1 = LogicalOperator_1;
19
tel
20
21
(*
22
Original block name: implication_PP
23
*)
24
node  implication_PP(A_1 : bool;
25
	B_1 : bool;)
26
returns(A_equal__equal__gt_B_1 : bool;);
27
var Implication_1 : bool;
28
	__time_step : real;
29
	__nb_step : int;
30
let
31
	Implication_1 = Implication_34_077(A_1, B_1, __time_step, __nb_step);
32
	A_equal__equal__gt_B_1 = Implication_1;
33
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
34
	__nb_step = (0 -> ((pre __nb_step) + 1));
35
tel