Lines Matching full:deterministic
2618 /* mark the transition as non-deterministic */
2726 /* mark the transitions as non-deterministic ones */
2738 /* don't shortcut the computation so all non deterministic
2750 /* don't shortcut the computation so all non deterministic
2757 * mark specifically the last non-deterministic transition
2765 /* don't shortcut the computation so all non deterministic
