Searched refs:oktocheck (Results 1 – 1 of 1) sorted by relevance
29 STATE(oktocheck);49 if (sm->state != &oktocheck) in ok_to_use()50 set_state(my_id, sm->name, sm->sym, &oktocheck); in ok_to_use()77 set_state_expr(my_id, expr, &oktocheck); in match_condition()