- c -

• callDiag() : Diagnosis_Client
• callTheoremProver() : dfengine.DiagnosisEnvironments , hittingsetalg.MinHittingSetsFM , hittingsetalg.MinHittingSets
• cancelPressed() : gui.SelectionDialog , gui.InputDialog , gui.NewFileDialog , gui.NumberDialog
• canClose() : hittingsetalg.MinHittingSets , hittingsetalg.MinHittingSetsFM
• CharacterToken() : theoremprover.CharacterToken
• checkConsistency() : dfengine.GuiHittingSets , theoremprover.ABTheoremProver , theoremprover.PropositionalTheoremProver , ATPInterface.LogicalDB , ATPInterface.LogicalDBInterface , ATPInterface.LogicalSubDB , dfengine.DiagnosisEnvironments
• checkMinimalityHS() : hittingsetalg.MinHittingSets , hittingsetalg.MinHittingSetsFM
• checkUniqueModesHypothesis() : dfengine.DEGraph
• clear() : ATPInterface.LogicalSubDB
• clearFDGEdges() : dfengine.DiagnosisProblem
• clone() : utils.DoubleLinkedDAGNode , utils.SortedIntList , dfengine.DEGraph , dfengine.FailureDepGraph , dfengine.ModeAssignment , dfengine.ModeAssignmentDAGNode , dfengine.RepairOrderDAGNode , utils.DoubleLinkedDAG
• close() : ATPInterface.Session
• closeDialog() : gui.InputDialog , gui.NewFileDialog , gui.NumberDialog , gui.SelectionDialog , gui.WarnDialog
• collectAllAssumptions() : theoremprover.Assumption , theoremprover.Proposition
• collectAssumptions() : theoremprover.Assumption , theoremprover.Proposition
• collectElements() : utils.TwoDTree
• compareOrderTo() : dfengine.ModeAssignment
• compareTo() : dfengine.Component , dfengine.Mode , utils.DoubleLinkedDAGNode , utils.IntPair
• Component() : dfengine.Component , hittingsetalg.Component
• composeConflictSetsAsStrings() : dfengine.GuiHittingSets
• composeDiagnosesAsStrings() : dfengine.GuiHittingSets
• composeMinDEsResult() : dfengine.GuiHittingSets
• composeNodeList() : utils.DoubleLinkedTree
• composeRepairCandidateResult() : dfengine.GuiHittingSets
• compute() : hittingsetalg.MinHittingSets , hittingsetalg.MinHittingSetsFM
• computeCommonAncestorGraph() : dfengine.FailureDepGraph
• computeConsistentDENodes() : dfengine.DiagnosisEnvironments
• computeDEGraph() : dfengine.DiagnosisEnvironments
• computeDERanking() : dfengine.DiagnosisProblem
• computeDEs() : ATPInterface.LogicalDB , ATPInterface.LogicalDBInterface , dfengine.DiagnosisEnvironments , dfengine.DiagnosisProblem
• computeDiagEnv() : dfengine.GuiHittingSets
• computeIndirectDeps() : dfengine.FailureDepGraph
• computeLabel() : hittingsetalg.MinHittingSets , hittingsetalg.MinHittingSetsFM
• computeLongestDFChain() : dfengine.ModeAssignment
• computeMaxDistance() : utils.DoubleLinkedDAG
• computeMaxPathLen() : utils.DoubleLinkedDAG
• computeMaxPathLen_Recursive() : utils.DoubleLinkedDAG
• computeMinDiag() : ATPInterface.LogicalDB , ATPInterface.LogicalDBInterface , ATPInterface.LogicalSubDB
• computeMinDistance() : utils.DoubleLinkedDAG
• computeMinHittingSets() : dfengine.DiagnosisProblem
• computeMinHS() : dfengine.GuiHittingSets
• computeMinNumIF() : dfengine.DiagnosisEnvironments
• computeMore() : hittingsetalg.MinHittingSetsFM , hittingsetalg.MinHittingSets
• computeMoreHS() : dfengine.GuiHittingSets
• computeNumUnprunedChildren() : hittingsetalg.MinHittingSetsFM , hittingsetalg.MinHittingSets
• computeProb() : dfengine.DiagnosisEnvironments
• computeProb_NAB() : dfengine.DiagnosisEnvironments
• computeRepairCandidates() : dfengine.DiagnosisEnvironments , dfengine.DiagnosisProblem
• computeTransitiveClosure() : utils.DoubleLinkedDAG
• computeTransPiPartitions() : dfengine.FailureDepGraph
• conditionHolds() : utils.ConditionVisitor
• ConditionVisitor() : utils.ConditionVisitor
• ConflictSet() : hittingsetalg.ConflictSet
• conflictsWith() : dfengine.ConflictSets , dfengine.ConflictSet
• conflictsWithDescendants() : dfengine.DiagnosisEnvironments
• connect_to_Server() : Diagnosis_Client
• Connection() : ATPInterface.Connection
• consistent() : dfengine.DENode
• contains() : utils.SortedIntList , utils.BinaryHeap , utils.SortedIntList , utils.BinaryHeap
• contradiction() : theoremprover.PropositionalTheoremProver
• convertAssListToCompList() : dfengine.DiagnosisProblem
• correctLabels() : theoremprover.Assumption , theoremprover.PropositionInterface , theoremprover.Proposition
• correctMaDag() : dfengine.ModeAssignment
• correctTransitiveClosure() : utils.DoubleLinkedDAG
• counter() : theoremprover.PropositionalRule
• countNumModes() : dfengine.ModeAssignment
• createAndShowGUI() : dfengine.GuiHittingSets
• createAss() : dfengine.Component
• createAssumptionMap() : dfengine.DiagnosisEnvironments
• createConflictSets() : hittingsetalg.TestMinHittingSets
• createConflictSets1() : hittingsetalg.TestMinHittingSets
• createFDGStats() : ATPInterface.LogicalDB , ATPInterface.LogicalDBInterface
• createFromModeAssignment() : dfengine.RepairOrderDAG
• createInitialConflictSets() : dfengine.DiagnosisEnvironments
• createMenu() : dfengine.GuiHittingSets
• createModeAssignmentDAG() : dfengine.ModeAssignment
• createSubDBRuleStrings() : ATPInterface.Connection
• createSubDBStats() : ATPInterface.LogicalDBInterface , ATPInterface.LogicalDB