- c -

• changed : ATPInterface.LogicalDB
• charBuffer : theoremprover.GenericScanner
• checkConsBtn : dfengine.GuiHittingSets
• children : hittingsetalg.HSNode , hittingsetalg.HSNodeFM , utils.DoubleLinkedDAGNode , utils.DoubleLinkedTreeNode
• clearObsBtn : dfengine.GuiHittingSets
• clearPropBtn : dfengine.GuiHittingSets
• clearSdBtn : dfengine.GuiHittingSets
• CMD_CLOSE : ATPInterface.ATPConstants
• CMD_GET : ATPInterface.ATPConstants
• CMD_MERGE_DES : dfengine.GuiHittingSets
• CMD_POST : ATPInterface.ATPConstants
• CMD_SUPPORT_DEP_FAULTS : dfengine.GuiHittingSets
• COMMENT_PREFIXES : dfengine.GuiHittingSets
• commentBtn : dfengine.GuiHittingSets
• commentMenu : dfengine.GuiHittingSets
• commonAncestorGraph : dfengine.FailureDepGraph
• comp : dfengine.FailureDepNode , dfengine.ModeAssignmentDAGNode , dfengine.RepairOrderDAGNode
• comp_list : Diagnosis_Client
• comparator : utils.BinaryHeap
• compName : dfengine.SplittedAssumption
• component : dfengine.Mode
• componentIdSet : hittingsetalg.MinHittingSetsFM
• componentList : hittingsetalg.MinHittingSetsFM
• components : hittingsetalg.MinHittingSetsFM , dfengine.DiagnosisProblem , dfengine.RepairOrderDAG , hittingsetalg.MinHittingSets
• computationState : hittingsetalg.MinHittingSets , hittingsetalg.MinHittingSetsFM
• computedMinHS : hittingsetalg.MinHittingSets , hittingsetalg.MinHittingSetsFM
• computeIncr : hittingsetalg.MinHittingSets
• computeMinDiagEnvBtn : dfengine.GuiHittingSets
• computeMinHSBtn : dfengine.GuiHittingSets
• computeMoreBtn : dfengine.GuiHittingSets
• cond : utils.ConditionVisitor
• conflictsAreMinimal : hittingsetalg.MinHittingSetsFM , hittingsetalg.MinHittingSets
• conflictSetIndex : hittingsetalg.HSNodeFM , hittingsetalg.HSNode
• conflictSets : hittingsetalg.MinHittingSets , dfengine.DiagnosisEnvironments
• connections : ATPInterface.Session
• consistent : dfengine.DENode , ATPInterface.LogicalDB
• constCompModes : dfengine.DENode
• contradiction : theoremprover.PropositionalTheoremProver
• counter : theoremprover.PropositionalRule
• cs : dfengine.DENode
• CS_ALL_MIN_DIAGS_COMPUTED : hittingsetalg.MinHittingSetsFM , hittingsetalg.MinHittingSets
• CS_COMPUTING : hittingsetalg.MinHittingSets , hittingsetalg.MinHittingSetsFM
• CS_MAX_HS_SIZE_REACHED : hittingsetalg.MinHittingSets , hittingsetalg.MinHittingSetsFM
• CS_MAX_NUM_MIN_HS_REACHED : hittingsetalg.MinHittingSetsFM , hittingsetalg.MinHittingSets
• csets : dfengine.ConflictSets