Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (255 Bytes)

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