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