lustrec-tests/sandbox/extraction/piecewise_lin/ex3reset.lus @ 43460259
| 1 |
node top(r : bool; in0 : real) returns (x0, x1 : real); |
|---|---|
| 2 |
let
|
| 3 |
assert(in0 >= -1. and in0 <= 1.); |
| 4 |
x0 = 0. -> if r then 1. else 0.499 * pre x0 - 0.05 * pre x1 + in0; |
| 5 |
x1 = 0. -> if r then 1. else 0.01 * pre x0 + pre x1; |
| 6 |
tel
|