Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / sandbox / extraction / linear / ex2.lus @ 43460259

History | View | Annotate | Download (242 Bytes)

1
node top(in0 : real) returns (x0, x1, x2, x3 : real);
2
let
3
  assert(in0 >= -1. and in0 <= 1.);
4
  x0 = 0. -> 1.5 * pre x0 - 0.7 * pre x1 - 0.7 * pre x2 + 0.4 * pre x3 + 0.5 * in0;
5
  x1 = 0. -> pre x0;
6
  x2 = 0. -> in0;
7
  x3 = 0. -> pre x2;
8
tel