Lines Matching full:deterministic
2626 /* mark the transition as non-deterministic */
2734 /* mark the transitions as non-deterministic ones */
2746 /* don't shortcut the computation so all non deterministic
2758 /* don't shortcut the computation so all non deterministic
2765 * mark specifically the last non-deterministic transition
2773 /* don't shortcut the computation so all non deterministic
