- s -

• SAVE : gui.NewFileDialog
• SAVE_FDG_MENU_TEXT : dfengine.GuiHittingSets
• SAVE_OBS_MENU_TEXT : dfengine.GuiHittingSets
• SAVE_PROP_MENU_TEXT : dfengine.GuiHittingSets
• SAVE_SD_MENU_TEXT : dfengine.GuiHittingSets
• SAVE_SDD_MENU_TEXT : dfengine.GuiHittingSets
• saveAllMenu : dfengine.GuiHittingSets
• saveFdgAsMenu : dfengine.GuiHittingSets
• saveFdgMenu : dfengine.GuiHittingSets
• saveObsAsMenu : dfengine.GuiHittingSets
• saveObsMenu : dfengine.GuiHittingSets
• savePropAsMenu : dfengine.GuiHittingSets
• savePropMenu : dfengine.GuiHittingSets
• saveSdAsMenu : dfengine.GuiHittingSets
• saveSddAsMenu : dfengine.GuiHittingSets
• saveSddMenu : dfengine.GuiHittingSets
• saveSdMenu : dfengine.GuiHittingSets
• scanner : theoremprover.GenericParser
• sd : dfengine.DiagnosisProblem
• sdd : dfengine.DiagnosisProblem
• sddFile : dfengine.GuiHittingSets
• sddText : dfengine.GuiHittingSets
• sdFile : dfengine.GuiHittingSets
• sdText : dfengine.GuiHittingSets
• searchFirstBtn : dfengine.GuiHittingSets
• searchNextBtn : dfengine.GuiHittingSets
• searchNode : utils.SearchNodeVisitor
• searchResultLabel : dfengine.GuiHittingSets
• searchText : dfengine.GuiHittingSets
• selectionList : gui.SelectionDialog
• send_data : Diagnosis_Client
• SEP_ASSUMPTION : ATPInterface.ATPConstants
• server_addr : Diagnosis_Client
• session : ATPInterface.Connection
• silIterator : utils.DoubleLinkedDAGNode.NodeIterator
• size : dfengine.RepairCandidates , utils.BinaryHeap , utils.DoubleLinkedTree
• SLEEP_MS : ATPInterface.Connection
• sock : Diagnosis_Client
• socket : ATPInterface.Connection
• source : theoremprover.GenericParser , theoremprover.GenericScanner
• state : ATPInterface.Connection , hittingsetalg.HSNode , hittingsetalg.HSNodeFM
• STATE_CLOSED : ATPInterface.Connection , hittingsetalg.HSNode , hittingsetalg.HSNodeFM
• STATE_DB_CHANGED : ATPInterface.Connection
• STATE_EXPANDED : hittingsetalg.HSNodeFM
• STATE_MINIMAL : hittingsetalg.HSNode , hittingsetalg.HSNodeFM
• STATE_OPEN : hittingsetalg.HSNodeFM , hittingsetalg.HSNode
• STATE_PRUNED : hittingsetalg.HSNode , hittingsetalg.HSNodeFM
• STATE_WAIT_FIRST_POST : ATPInterface.Connection
• stats : dfengine.DiagnosisEnvironments
• STATUS_FALSE : dfengine.DENode
• STATUS_TRUE : dfengine.DENode
• STATUS_UNKNOWN : dfengine.DENode
• str : utils.AddNodeAsStringVisitor , dfengine.ToStringVisitor
• STR_ATP : ATPInterface.ATPConstants
• STR_FDG_EDGE : ATPInterface.ATPConstants
• STR_NO : ATPInterface.ATPConstants
• STR_YES : ATPInterface.ATPConstants
• SUBCMD_ADD_FDG_EDGES : ATPInterface.ATPConstants
• SUBCMD_ADD_SENTENCES : ATPInterface.ATPConstants
• SUBCMD_CONSISTENCIES : ATPInterface.ATPConstants
• SUBCMD_CONSISTENCY : ATPInterface.ATPConstants
• SUBCMD_DBCONTENT : ATPInterface.ATPConstants
• SUBCMD_DBSTATS : ATPInterface.ATPConstants
• SUBCMD_DIAGENV : ATPInterface.ATPConstants
• SUBCMD_FDGSTATS : ATPInterface.ATPConstants
• SUBCMD_MINDIAG : ATPInterface.ATPConstants
• SUBCMD_REPLACE_FDG_EDGES : ATPInterface.ATPConstants
• SUBCMD_REPLACE_SENTENCES : ATPInterface.ATPConstants
• SUBDB_OBS : ATPInterface.ATPConstants
• SUBDB_SD : ATPInterface.ATPConstants
• SUBDB_SDD : ATPInterface.ATPConstants
• subDBs : ATPInterface.LogicalDB
• succedence : theoremprover.PropositionalRule , theoremprover.Proposition
• sumFMProbs : dfengine.DiagnosisEnvironments.FMProbResults
• support : theoremprover.Proposition
• supportDepFaults : dfengine.GuiHittingSets