, including all inherited members.
| addConflictSet(ArrayList assumptions) | dfengine.DiagnosisEnvironments | [inline, protected] |
| addDiagsToDEGraph(ArrayList substDiags, ArrayList diagsMinNumIF, int searchNumIF) | dfengine.DiagnosisEnvironments | [inline, protected] |
| assumptions | dfengine.DiagnosisEnvironments | [protected] |
| callTheoremProver(ModeAssignment ma) | dfengine.DiagnosisEnvironments | [inline, protected] |
| checkConsistency(DENode n, boolean computeBetaDE) | dfengine.DiagnosisEnvironments | [inline, protected] |
| computeConsistentDENodes(int searchNumIF, boolean computeBetaDE, int maxDFChainSize, boolean mergeDEs, boolean discardOrderPerms, ArrayList consideredNodes, ArrayList des) | dfengine.DiagnosisEnvironments | [inline, protected] |
| computeDEGraph(ArrayList diags, boolean computeBetaDE, int maxDFChainSize, boolean mergeDEs, boolean discardOrderPerms) | dfengine.DiagnosisEnvironments | [inline, protected] |
| computeDEs(ArrayList diags, boolean computeBetaDE, int maxDFChainSize, ArrayList reiterConflictSets) | dfengine.DiagnosisEnvironments | [inline] |
| computeMinNumIF(ModeAssignment ma, int maxDFChainSize) | dfengine.DiagnosisEnvironments | [inline, protected] |
| computeProb(ModeAssignment ma) | dfengine.DiagnosisEnvironments | [inline] |
| computeProb_NAB(Component c, ModeAssignment ma) | dfengine.DiagnosisEnvironments | [inline, protected] |
| computeRepairCandidates(ArrayList diags, boolean computeBetaDE, int maxDFChainSize, boolean discardOrderPerms, ArrayList reiterConflictSets) | dfengine.DiagnosisEnvironments | [inline] |
| conflictSets | dfengine.DiagnosisEnvironments | [protected] |
| conflictsWithDescendants(ConflictSet cs, DENode n, boolean computeBetaDE) | dfengine.DiagnosisEnvironments | [inline, protected] |
| createAssumptionMap() | dfengine.DiagnosisEnvironments | [inline, protected] |
| createInitialConflictSets(ArrayList reiterConflictSets) | dfengine.DiagnosisEnvironments | [inline, protected] |
| deGraph | dfengine.DiagnosisEnvironments | [protected] |
| DiagnosisEnvironments(DiagnosisProblem diagProblem) | dfengine.DiagnosisEnvironments | [inline] |
| diagProblem | dfengine.DiagnosisEnvironments | [protected] |
| existsAncestor(Component c, Iterator itPossAnc) | dfengine.DiagnosisEnvironments | [inline, protected] |
| existsCommonAncestor(Component c, Iterator itIFModes, TreeSet constCompModes) | dfengine.DiagnosisEnvironments | [inline, protected] |
| existsDependentComp(Component c, Iterator itPossDesc, TreeSet constCompModes) | dfengine.DiagnosisEnvironments | [inline, protected] |
| expandNode(DENode n, int type) | dfengine.DiagnosisEnvironments | [inline, protected] |
| expandNodeAlpha(DENode n) | dfengine.DiagnosisEnvironments | [inline, protected] |
| expandNodeBeta(DENode n) | dfengine.DiagnosisEnvironments | [inline, protected] |
| generateAllBetaDescendants(DENode n, int maxDFChainSize, ArrayList des, boolean mergeDEs, boolean discardOrderPerms) | dfengine.DiagnosisEnvironments | [inline, protected] |
| getModeProb(Component c, Mode m, ModeAssignment ma) | dfengine.DiagnosisEnvironments | [inline, protected] |
| initComponents() | dfengine.DiagnosisEnvironments | [inline, protected] |
| initComputation(ArrayList reiterConflictSets) | dfengine.DiagnosisEnvironments | [inline, protected] |
| initTheoremProver() | dfengine.DiagnosisEnvironments | [inline, protected] |
| performBetaExpansions(ArrayList nodesToExpand, int maxDFChainSize, ArrayList des, boolean mergeDEs, boolean discardOrderPerms) | dfengine.DiagnosisEnvironments | [inline, protected] |
| performGraphExpansions(int searchNumIF, boolean computeBetaDE, int maxDFChainSize, boolean mergeDEs, boolean discardOrderPerms, ArrayList des) | dfengine.DiagnosisEnvironments | [inline, protected] |
| printComponents() | dfengine.DiagnosisEnvironments | [inline, protected] |
| printConflictSets() | dfengine.DiagnosisEnvironments | [inline, protected] |
| printConsistentNodes() | dfengine.DiagnosisEnvironments | [inline, protected] |
| printInconsistentNodes() | dfengine.DiagnosisEnvironments | [inline, protected] |
| printOrderRelations(ArrayList nodes) | dfengine.DiagnosisEnvironments | [inline, protected] |
| repairCandidates | dfengine.DiagnosisEnvironments | [protected] |
| searchConflictForNode(DENode n) | dfengine.DiagnosisEnvironments | [inline, protected] |
| setMode(ModeAssignment ma, SplittedAssumption sa) | dfengine.DiagnosisEnvironments | [inline, protected] |
| stats | dfengine.DiagnosisEnvironments | [protected] |
| theoremProver | dfengine.DiagnosisEnvironments | [protected] |