Page History

for i in 0..n-1
	p[i]:= default_i() // no arg, init PL

// fixed point search for PL, run this outer loop until PL does not change any more
for each permutation perm of {0..n-1} 
	for i in perm // <== perm dictates the order in which the indices are processed
	for i in perm
		p[i]:= default_i(PL)
    if none of the p[i] had changed, then 
		// we found a fixed point
        goto(2)
        
render invocation veto message "Cannot find an initial fixed point for action parameter defaults."