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