Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / sandbox / extraction / piecewise_lin / ex8sat.lus @ 43460259

History | View | Annotate | Download (291 Bytes)

1
node top(ix0, ix1 : real) returns (sx0, x0, x1 : real);
2
let
3
  assert(ix0 > 0. and ix0 < 1.);
4
  assert(ix1 > 0. and ix1 < 1.);
5
  x0 = ix0 -> 0.95 * pre sx0 + 0.09975 * pre x1;
6
  x1 = ix1 -> -0.1 * pre sx0 + 0.95 * pre x1;
7
  sx0 = if x0 > 0.5 then 0.5 else if x0 < -0.5 then -0.5 else x0;
8
tel