3 incremental Delta : running maximum : Event list

Interpreter: 3 incremental Delta
Program: running maximum
Selection function: Event list

α Delta New D0 D1 D2
0 input(1,13) input(1,13) input(1,13) - inp(1,max)
input(4,11)       assign(1,max,13) ← not(val(1,max))
input(7,23)        
input(10,17)        
1 inp(1,max) inp(1,max) inp(1,max) - -
input(4,11)        
input(7,23)        
input(10,17)        
assign(1,max,13) ← not(val(1,max))        
2 input(4,11) assign(1,max,13) assign(1,max,13) ← not(val(1,max)) - println(1,max(1,13))
input(7,23)        
input(10,17)        
assign(1,max,13) ← not(val(1,max))        
3 input(4,11) println(1,max(1,13)) println(1,max(1,13)) - -
input(7,23)        
input(10,17)        
println(1,max(1,13))        
4 input(4,11) input(4,11) input(4,11) - inp(4,max)
input(7,23)       assign(4,max,11) ← not(val(4,max))
input(10,17)        
5 inp(4,max) inp(4,max) inp(4,max) - value(4,max,13) ← not(value_neg(4,max,1))
input(7,23)        
input(10,17)        
assign(4,max,11) ← not(val(4,max))        
6 input(7,23) value(4,max,13) value(4,max,13) ← not(value_neg(4,max,1)) - val(4,max)
input(10,17)        
assign(4,max,11) ← not(val(4,max))        
value(4,max,13) ← not(value_neg(4,max,1))        
7 input(7,23) val(4,max) val(4,max) assign(4,max,11) ← not(val(4,max)) -
input(10,17)        
val(4,max)        
assign(4,max,11) ← not(val(4,max))        
8 input(7,23) input(7,23) input(7,23) - inp(7,max)
input(10,17)       assign(7,max,23) ← not(val(7,max))
9 inp(7,max) inp(7,max) inp(7,max) - value(7,max,13) ← not(value_neg(7,max,1))
input(10,17)        
assign(7,max,23) ← not(val(7,max))        
10 input(10,17) value(7,max,13) value(7,max,13) ← not(value_neg(7,max,1)) - val(7,max)
assign(7,max,23) ← not(val(7,max))       assign(7,max,23)
value(7,max,13) ← not(value_neg(7,max,1))        
11 input(10,17) val(7,max) val(7,max) assign(7,max,23) ← not(val(7,max)) -
val(7,max)        
assign(7,max,23)        
assign(7,max,23) ← not(val(7,max))        
12 input(10,17) assign(7,max,23) assign(7,max,23) - println(7,max(7,23))
assign(7,max,23)        
13 input(10,17) println(7,max(7,23)) println(7,max(7,23)) - -
println(7,max(7,23))        
14 input(10,17) input(10,17) input(10,17) - inp(10,max)
        assign(10,max,17) ← not(val(10,max))
15 inp(10,max) inp(10,max) inp(10,max) - value(10,max,13) ← not(value_neg(10,max,1))
assign(10,max,17) ← not(val(10,max))       value(10,max,23) ← not(value_neg(10,max,7))
        value_neg(10,max,1)
16 assign(10,max,17) ← not(val(10,max)) value_neg(10,max,1) value_neg(10,max,1) value(10,max,13) ← not(value_neg(10,max,1)) -
value(10,max,13) ← not(value_neg(10,max,1))        
value(10,max,23) ← not(value_neg(10,max,7))        
value_neg(10,max,1)        
17 assign(10,max,17) ← not(val(10,max)) value(10,max,23) value(10,max,23) ← not(value_neg(10,max,7)) - val(10,max)
value(10,max,23) ← not(value_neg(10,max,7))        
18 val(10,max) val(10,max) val(10,max) assign(10,max,17) ← not(val(10,max)) -
assign(10,max,17) ← not(val(10,max))