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