7 lines
152 B
Plaintext
7 lines
152 B
Plaintext
|
node count(init: int; reset, event: bool) returns (c: int);
|
||
|
|
let
|
||
|
|
c = init -> if reset then init
|
||
|
|
else if event then pre(c)+1
|
||
|
|
else pre(c);
|
||
|
|
tel;
|