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