Searched refs:state_max_opid (Results 1 – 1 of 1) sorted by relevance
12 state_max_opid, enumerator15 #define INVALID_STATE state_max_opid33 char *state_names[state_max_opid];36 unsigned char function[state_max_opid][event_max_opid];38 bool final_states[state_max_opid];