Searched refs:state_shift (Results 1 – 2 of 2) sorted by relevance
3771 state_shift (state_t state, reserv_sets_t reservs) in state_shift() function5387 state2 = state_shift (state, reservs_matter); in make_automaton()
36725 (states_union, state_shift): Use the mask.