lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / memory2 / SYNAPSE_all_e3_1864_e5_1637.lusi @ 2d37a1e1
History | View | Annotate | Download (620 Bytes)
| 1 | b8dc00eb | bourbouh | (* Generated Lustre Interface file from SYNAPSE_all_e3_1864_e5_1637.lus *) |
|---|---|---|---|
| 2 | (* generated by Lustre-C compiler version 284, 2014/5/25, 15:2:6 *) |
||
| 3 | (* feel free to mask some of the nodes by removing them from this file. *) |
||
| 4 | |||
| 5 | node synapse (e_s1: bool; e_s2: bool; e_s3: bool; init_invalid_s: int) returns (invalid_s: int; valid_s: int; dirty_s: int; mem_init_s: int); |
||
| 6 | |||
| 7 | |||
| 8 | function excludes3 (X1: bool; X2: bool; X3: bool) returns (excludes: bool); |
||
| 9 | |||
| 10 | |||
| 11 | node Sofar (X: bool) returns (Sofar: bool); |
||
| 12 | |||
| 13 | |||
| 14 | node First (X: int) returns (First: int); |
||
| 15 | |||
| 16 | |||
| 17 | node top (e_s1: bool; e_s2: bool; e_s3: bool; init_invalid_s: int) returns (OK: bool); |
||
| 18 |