CristalCaveGem » LustreC » Lustrec-Tests

node top(in0 : real) returns (x, y : real);

let

  assert(in0 >= -1. and in0 <= 1.);

  x = 0. -> 1.5 * pre x - 0.7 * pre y + 1.6 * in0;

  y = 0. -> pre x;

tel