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