Searched refs:possible_transitions (Results 1 – 1 of 1) sorted by relevance
200 possible_transitions = GetPossibleTransitions(); in CheckInvariants() local212 if (possible_transitions->find(p) == possible_transitions->end()) { in CheckInvariants()