Searched refs:logical_state_transitions (Results 1 – 1 of 1) sorted by relevance
843 } logical_state_transitions = { variable872 return logical_state_transitions.allowed[old][new]; in logical_transition_allowed()