Project

General

Profile

Download (205 Bytes) Statistics
| Branch: | Tag: | Revision:
1
node top(r : bool; in0 : real) returns (x, y : real);
2
let
3
  assert(in0 >= -1. and in0 <= 1.);
4
  x = 0. -> if r then 1. else 1.5 * pre x - 0.7 * pre y + 1.6 * in0;
5
  y = 0. -> if r then 1. else pre x;
6
tel
7

    
(1-1/17)