Searched refs:GetPossibleTransitions (Results 1 – 1 of 1) sorted by relevance
170 GetPossibleTransitions() { in GetPossibleTransitions() function200 possible_transitions = GetPossibleTransitions(); in CheckInvariants()