3 incremental Delta : running maximum : Π

Interpreter: 3 incremental Delta
Program: running maximum
Selection function: Π

α Delta New D0 D1 D2
0 input(1,13) input(1,13) input(1,13) - inp(1,max)
input(4,11) input(4,11) input(4,11)   inp(4,max)
input(7,23) input(7,23) input(7,23)   inp(7,max)
input(10,17) input(10,17) input(10,17)   inp(10,max)
        assign(1,max,13) ← not(val(1,max))
        assign(4,max,11) ← not(val(4,max))
        assign(7,max,23) ← not(val(7,max))
        assign(10,max,17) ← not(val(10,max))
1 inp(1,max) inp(1,max) inp(1,max) - -
inp(4,max) inp(4,max) inp(4,max)    
inp(7,max) inp(7,max) inp(7,max)    
inp(10,max) inp(10,max) inp(10,max)    
assign(1,max,13) ← not(val(1,max))        
assign(4,max,11) ← not(val(4,max))        
assign(7,max,23) ← not(val(7,max))        
assign(10,max,17) ← not(val(10,max))        
2 assign(1,max,13) ← not(val(1,max)) assign(1,max,13) assign(1,max,13) ← not(val(1,max)) - println(1,max(1,13))
assign(4,max,11) ← not(val(4,max))       value(4,max,13) ← not(value_neg(4,max,1))
assign(7,max,23) ← not(val(7,max))       value(7,max,13) ← not(value_neg(7,max,1))
assign(10,max,17) ← not(val(10,max))       value(10,max,13) ← not(value_neg(10,max,1))
3 println(1,max(1,13)) println(1,max(1,13)) println(1,max(1,13)) - -
assign(4,max,11) ← not(val(4,max))        
assign(7,max,23) ← not(val(7,max))        
assign(10,max,17) ← not(val(10,max))        
value(4,max,13) ← not(value_neg(4,max,1))        
value(7,max,13) ← not(value_neg(7,max,1))        
value(10,max,13) ← not(value_neg(10,max,1))        
4 assign(4,max,11) ← not(val(4,max)) value(4,max,13) value(4,max,13) ← not(value_neg(4,max,1)) - val(4,max)
assign(7,max,23) ← not(val(7,max))        
assign(10,max,17) ← not(val(10,max))        
value(4,max,13) ← not(value_neg(4,max,1))        
value(7,max,13) ← not(value_neg(7,max,1))        
value(10,max,13) ← not(value_neg(10,max,1))        
5 val(4,max) val(4,max) val(4,max) assign(4,max,11) ← not(val(4,max)) -
assign(4,max,11) ← not(val(4,max))        
assign(7,max,23) ← not(val(7,max))        
assign(10,max,17) ← not(val(10,max))        
value(7,max,13) ← not(value_neg(7,max,1))        
value(10,max,13) ← not(value_neg(10,max,1))        
6 assign(7,max,23) ← not(val(7,max)) value(7,max,13) value(7,max,13) ← not(value_neg(7,max,1)) - val(7,max)
assign(10,max,17) ← not(val(10,max))       assign(7,max,23)
value(7,max,13) ← not(value_neg(7,max,1))        
value(10,max,13) ← not(value_neg(10,max,1))        
7 val(7,max) val(7,max) val(7,max) assign(7,max,23) ← not(val(7,max)) println(7,max(7,23))
assign(7,max,23) assign(7,max,23) assign(7,max,23)   value(10,max,23) ← not(value_neg(10,max,7))
assign(7,max,23) ← not(val(7,max))   assign(7,max,23) ← not(val(7,max))   value_neg(10,max,1)
assign(10,max,17) ← not(val(10,max))        
value(10,max,13) ← not(value_neg(10,max,1))        
8 println(7,max(7,23)) println(7,max(7,23)) println(7,max(7,23)) value(10,max,13) ← not(value_neg(10,max,1)) -
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,23) ← not(value_neg(10,max,7))        
value_neg(10,max,1)        
9 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))        
10 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))