Lines Matching full:deterministic
2631 /* mark the transition as non-deterministic */
2739 /* mark the transitions as non-deterministic ones */
2751 /* don't shortcut the computation so all non deterministic
2763 /* don't shortcut the computation so all non deterministic
2770 * mark specifically the last non-deterministic transition
2778 /* don't shortcut the computation so all non deterministic
