- w -

• war_count : Parser
• wasUndo : StateAddCommand , StateEditWithDelCommand , ItemsRemoveCommand , ItemsAddCommand , GeneratedGraphAddCommand , NextLabelAddCommand , NextLabelDeleteCommand , TransitionEditWithDelCommand , TransitionDeleteCommand , TransitionAddCommand , StateDeleteCommand
• whitespaceRegex : StringProcessor
• width : SimulationMarker