Project

General

Profile

Bug #64 ยป Product_PP.lus

Hamza Bourbouh, 02/28/2018 12:59 AM

 
1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 27-Feb-2018 14:50:56
5
--external libraries
6
#open <conv>
7

    
8

    
9
--Simulink code
10

    
11

    
12
-- Original block name: Product_PP
13
node Product_PP (
14
In1_1:int;
15
In2_1:real;)
16
 returns (
17
Out4_1:real;);
18
-- Contract In progress
19
var Product3_1:real;
20
let
21

    
22
	Product3_1 = 1.0 * int_to_real(In1_1) * In2_1;
23
	
24
	Out4_1 = Product3_1;
25
	
26
tel
    (1-1/1)