lustrec-tests/sandbox/extraction/linear/ex4.lus @ 43460259
| 1 |
node top(in0 : real) returns (x0, x1, x2 : real); |
|---|---|
| 2 |
let
|
| 3 |
assert(in0 >= -1. and in0 <= 1.); |
| 4 |
x0 = 0. -> 0.9379 * pre x0 - 0.0381 * pre x1 - 0.0414 * pre x2 + 0.0237 * in0; |
| 5 |
x1 = 0. -> -0.0404 * pre x0 + 0.968 * pre x1 - 0.0179 * pre x2 + 0.0143 * in0; |
| 6 |
x2 = 0. -> 0.0142 * pre x0 - 0.0197 * pre x1 + 0.9823 * pre x2 + 0.0077 * in0; |
| 7 |
tel
|