- s -

• saved : Editor
• sceneBorder : Editor
• selectedState : Editor
• selectedTransition : Editor
• showAntialias : MainWindow
• showFrame : Editor , MainWindow
• showGrid : Editor , MainWindow
• showMenu : MainWindow
• showToolBar : MainWindow
• snapToGrid : Editor
• specCharacterRegex : StringProcessor
• spinBorder : GridRectDialog
• spinDistance : GraphGenerationDialog
• spinLowerLeftX : GridRectDialog
• spinLowerLeftY : GridRectDialog
• spinUpperRightX : GridRectDialog
• spinUpperRightY : GridRectDialog
• spinX : GraphGenerationDialog
• spinY : GraphGenerationDialog
• starting : TransitionSELine
• startPoint : Transition
• startState : Editor , Transition
• state : StateMoveCommand , StateAddCommand , StateDeleteCommand , StateEditCommand , StateEditExtendedCommand
• state_backup : StateEditWithDelCommand
• state_new : StateEditWithDelCommand
• stateFillColor : Editor , Parser , StatePrevParams , State
• stateFillStatus : Editor , Parser , StatePrevParams , State
• stateLabelColor : StatePrevParams , Editor , Parser , State
• stateLabelScale : StatePrevParams , Editor , Parser , State
• stateLabelSize : State
• stateLineColor : Editor , StatePrevParams , State , Parser
• stateLineDouble : Parser
• stateLineDoubleCoef : StatePrevParams , State , Parser , Editor
• stateLineDoubleSep : State , Editor , StatePrevParams , Parser
• stateLineStyle : State , Parser , Editor , StatePrevParams
• stateLineWidth : State , Parser , StatePrevParams , Editor
• stateList : GeneratedGraphAddCommand , ItemsAddCommand , ItemsRemoveCommand
• stateTypeList : StateManager
• status : AutomataWorkSimulator::Configuration
• string2CharMap : StringProcessor
• string2KwTypeMap : StringProcessor
• stringProcessor : State