...
| Code Block |
|---|
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."
|
...