Searched refs:state_is_differed (Results 1 – 3 of 3) sorted by relevance
5695 state_is_differed (state_t state, state_t another_state, in state_is_differed() function5823 if (state_is_differed (curr_state, first_state, in partition_equiv_class()
8836 (state_is_differed): Don't take number of outargs, adjust callers.
37045 (state_is_differed): Add new parameter. Use the new function.37048 `state_is_differed'.