reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
677 InitialState = FinalState = ParentBaseState; 684 if (InitialState == OverdefinedState) 685 InitialState = State; 690 if (InitialState == OverdefinedState) { 695 << " InitialState=" << InitialState << '\n'); 698 InitialStates.insert({BB, InitialState});