lustrec-tests/regression_tests/lustre_files/success/mpfr/integrator_test.lus @ cc6eda98
| 1 |
-- This file has been generated by cocoSim
|
|---|---|
| 2 |
|
| 3 |
|
| 4 |
-- System nodes
|
| 5 |
node integrator_test (In1_1_1 : real) |
| 6 |
returns (Out1_1_1 : real); |
| 7 |
var
|
| 8 |
Integrator_1_1 : real; |
| 9 |
|
| 10 |
|
| 11 |
|
| 12 |
let
|
| 13 |
Integrator_1_1 = 0.00000000 -> (0.1 * 0.1)*(pre In1_1_1) + pre Integrator_1_1; |
| 14 |
|
| 15 |
|
| 16 |
Out1_1_1 = Integrator_1_1; |
| 17 |
|
| 18 |
|
| 19 |
|
| 20 |
tel
|
| 21 |
|