Lines Matching full:alternatives
1051 /* here we are giving up the path and alternatives that existed at
1053 coming in and it's alternatives are propagated instead.
1207 /* if there's no top choice, there shouldn't be alternatives! */
1358 /* if there's no top choice, there shouldn't be alternatives! */
1432 /* if there's no top choice, there shouldn't be alternatives! */
1880 /* now also dump alternatives at this last frame, sep19'03 fixed */
