Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (231 Bytes)

1
node top(in0 : real) returns (sx, x, y : real);
2
let
3
  assert(in0 >= -1. and in0 <= 1.);
4
  x = 0. -> 1.5 * pre sx - 0.7 * pre y + 1.6 * in0;
5
  y = 0. -> pre x;
6
  sx = if x > 10. then 10. else if x < -10. then -10. else in0 + x;
7
tel