## lustrec-tests/regression_tests/lustre_files/success/Simulink/src_many_files/Fcn1.LUSTREC.lusi @ 4748b215

1 |
(* Generated Lustre Interface file from Fcn1.LUSTREC.lus *) |
---|---|

2 |
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:22:13 *) |

3 |
(* Feel free to mask some of the definitions by removing them from this file. *) |

4 | |

5 |
#open <lustrec_math> |

6 | |

7 |
function bool_to_real (x: bool) returns (y: real); |

8 | |

9 |
node Fcn1 (In1_1: real; |

10 |
In1_2: real; |

11 |
In1_3: real; |

12 |
In1_4: real; |

13 |
In2_1: real; |

14 |
In2_2: real; |

15 |
In2_3: real; |

16 |
In2_4: real; |

17 |
In2_5: real; |

18 |
In2_6: real; |

19 |
In3_1: real; |

20 |
In3_2: real; |

21 |
In3_3: real; |

22 |
In3_4: real; |

23 |
In4_1: real; |

24 |
In4_2: real; |

25 |
In4_3: real; |

26 |
In5_1: real; |

27 |
In5_2: real; |

28 |
In5_3: real; |

29 |
In6_1: real; |

30 |
In6_2: real; |

31 |
In6_3: real; |

32 |
In6_4: real; |

33 |
In6_5: real; |

34 |
In6_6: real) returns (Out1_1: real; |

35 |
Out2_1: real; |

36 |
Out3_1: real; |

37 |
Out4_1: real; |

38 |
Out5_1: real; |

39 |
Out6_1: real); |

40 | |

41 |