Classes
class	ComputationStat
class	FMProbResults
Public Member Functions
ArrayList	computeDEs (ArrayList diags, boolean computeBetaDE, int maxDFChainSize, ArrayList reiterConflictSets) throws ParseError
double	computeProb (ModeAssignment ma)
RepairCandidates	computeRepairCandidates (ArrayList diags, boolean computeBetaDE, int maxDFChainSize, boolean discardOrderPerms, ArrayList reiterConflictSets) throws ParseError
	DiagnosisEnvironments (DiagnosisProblem diagProblem)
Protected Member Functions
ConflictSet	addConflictSet (ArrayList assumptions)
void	addDiagsToDEGraph (ArrayList substDiags, ArrayList diagsMinNumIF, int searchNumIF)
ArrayList	callTheoremProver (ModeAssignment ma)
boolean	checkConsistency (DENode n, boolean computeBetaDE)
void	computeConsistentDENodes (int searchNumIF, boolean computeBetaDE, int maxDFChainSize, boolean mergeDEs, boolean discardOrderPerms, ArrayList consideredNodes, ArrayList des)
ArrayList	computeDEGraph (ArrayList diags, boolean computeBetaDE, int maxDFChainSize, boolean mergeDEs, boolean discardOrderPerms)
int	computeMinNumIF (ModeAssignment ma, int maxDFChainSize)
FMProbResults	computeProb_NAB (Component c, ModeAssignment ma)
boolean	conflictsWithDescendants (ConflictSet cs, DENode n, boolean computeBetaDE)
void	createAssumptionMap ()
void	createInitialConflictSets (ArrayList reiterConflictSets)
boolean	existsAncestor (Component c, Iterator itPossAnc)
boolean	existsCommonAncestor (Component c, Iterator itIFModes, TreeSet constCompModes)
boolean	existsDependentComp (Component c, Iterator itPossDesc, TreeSet constCompModes)
ArrayList	expandNode (DENode n, int type)
ArrayList	expandNodeAlpha (DENode n)
ArrayList	expandNodeBeta (DENode n)
void	generateAllBetaDescendants (DENode n, int maxDFChainSize, ArrayList des, boolean mergeDEs, boolean discardOrderPerms)
final double	getModeProb (Component c, Mode m, ModeAssignment ma)
void	initComponents ()
void	initComputation (ArrayList reiterConflictSets) throws ParseError
void	initTheoremProver () throws ParseError
void	performBetaExpansions (ArrayList nodesToExpand, int maxDFChainSize, ArrayList des, boolean mergeDEs, boolean discardOrderPerms)
void	performGraphExpansions (int searchNumIF, boolean computeBetaDE, int maxDFChainSize, boolean mergeDEs, boolean discardOrderPerms, ArrayList des)
void	printComponents ()
void	printConflictSets ()
void	printConsistentNodes ()
void	printInconsistentNodes ()
void	printOrderRelations (ArrayList nodes)
ConflictSet	searchConflictForNode (DENode n)
void	setMode (ModeAssignment ma, SplittedAssumption sa)
Protected Attributes
Map	assumptions
ConflictSets	conflictSets = new ConflictSets()
DEGraph	deGraph
DiagnosisProblem	diagProblem
RepairCandidates	repairCandidates = new RepairCandidates()
ComputationStat	stats = new ComputationStat()
ABTheoremProver	theoremProver

Detailed Description

Definition at line 33 of file DiagnosisEnvironments.java.

Constructor & Destructor Documentation

dfengine.DiagnosisEnvironments.DiagnosisEnvironments ( DiagnosisProblem diagProblem ) [inline]

Definition at line 110 of file DiagnosisEnvironments.java.

Member Function Documentation

ConflictSet dfengine.DiagnosisEnvironments.addConflictSet ( ArrayList assumptions ) [inline, protected]

Definition at line 994 of file DiagnosisEnvironments.java.

void dfengine.DiagnosisEnvironments.addDiagsToDEGraph	(	ArrayList	substDiags,
		ArrayList	diagsMinNumIF,
		int	searchNumIF
	)		`[inline, protected]`

Definition at line 451 of file DiagnosisEnvironments.java.

ArrayList dfengine.DiagnosisEnvironments.callTheoremProver ( ModeAssignment ma ) [inline, protected]

Definition at line 903 of file DiagnosisEnvironments.java.

boolean dfengine.DiagnosisEnvironments.checkConsistency	(	DENode	n,
		boolean	computeBetaDE
	)		`[inline, protected]`

Definition at line 1221 of file DiagnosisEnvironments.java.

void dfengine.DiagnosisEnvironments.computeConsistentDENodes	(	int	searchNumIF,
		boolean	computeBetaDE,
		int	maxDFChainSize,
		boolean	mergeDEs,
		boolean	discardOrderPerms,
		ArrayList	consideredNodes,
		ArrayList	des
	)		`[inline, protected]`

Definition at line 719 of file DiagnosisEnvironments.java.

ArrayList dfengine.DiagnosisEnvironments.computeDEGraph	(	ArrayList	diags,
		boolean	computeBetaDE,
		int	maxDFChainSize,
		boolean	mergeDEs,
		boolean	discardOrderPerms
	)		`[inline, protected]`

Definition at line 786 of file DiagnosisEnvironments.java.

ArrayList dfengine.DiagnosisEnvironments.computeDEs	(	ArrayList	diags,
		boolean	computeBetaDE,
		int	maxDFChainSize,
		ArrayList	reiterConflictSets
	)		throws ParseError `[inline]`

Definition at line 295 of file DiagnosisEnvironments.java.

int dfengine.DiagnosisEnvironments.computeMinNumIF	(	ModeAssignment	ma,
		int	maxDFChainSize
	)		`[inline, protected]`

Definition at line 1446 of file DiagnosisEnvironments.java.

double dfengine.DiagnosisEnvironments.computeProb ( ModeAssignment ma ) [inline]

Definition at line 407 of file DiagnosisEnvironments.java.

FMProbResults dfengine.DiagnosisEnvironments.computeProb_NAB	(	Component	c,
		ModeAssignment	ma
	)		`[inline, protected]`

Definition at line 382 of file DiagnosisEnvironments.java.

RepairCandidates dfengine.DiagnosisEnvironments.computeRepairCandidates	(	ArrayList	diags,
		boolean	computeBetaDE,
		int	maxDFChainSize,
		boolean	discardOrderPerms,
		ArrayList	reiterConflictSets
	)		throws ParseError `[inline]`

Definition at line 233 of file DiagnosisEnvironments.java.

boolean dfengine.DiagnosisEnvironments.conflictsWithDescendants	(	ConflictSet	cs,
		DENode	n,
		boolean	computeBetaDE
	)		`[inline, protected]`

Definition at line 1081 of file DiagnosisEnvironments.java.

void dfengine.DiagnosisEnvironments.createAssumptionMap ( ) [inline, protected]

Definition at line 150 of file DiagnosisEnvironments.java.

void dfengine.DiagnosisEnvironments.createInitialConflictSets ( ArrayList reiterConflictSets ) [inline, protected]

Definition at line 187 of file DiagnosisEnvironments.java.

boolean dfengine.DiagnosisEnvironments.existsAncestor	(	Component	c,
		Iterator	itPossAnc
	)		`[inline, protected]`

Definition at line 1040 of file DiagnosisEnvironments.java.

boolean dfengine.DiagnosisEnvironments.existsCommonAncestor	(	Component	c,
		Iterator	itIFModes,
		TreeSet	constCompModes
	)		`[inline, protected]`

Definition at line 1059 of file DiagnosisEnvironments.java.

boolean dfengine.DiagnosisEnvironments.existsDependentComp	(	Component	c,
		Iterator	itPossDesc,
		TreeSet	constCompModes
	)		`[inline, protected]`

Definition at line 1018 of file DiagnosisEnvironments.java.

ArrayList dfengine.DiagnosisEnvironments.expandNode	(	DENode	n,
		int	type
	)		`[inline, protected]`

Definition at line 1419 of file DiagnosisEnvironments.java.

ArrayList dfengine.DiagnosisEnvironments.expandNodeAlpha ( DENode n ) [inline, protected]

Definition at line 1299 of file DiagnosisEnvironments.java.

ArrayList dfengine.DiagnosisEnvironments.expandNodeBeta ( DENode n ) [inline, protected]

Definition at line 1356 of file DiagnosisEnvironments.java.

void dfengine.DiagnosisEnvironments.generateAllBetaDescendants	(	DENode	n,
		int	maxDFChainSize,
		ArrayList	des,
		boolean	mergeDEs,
		boolean	discardOrderPerms
	)		`[inline, protected]`

Definition at line 476 of file DiagnosisEnvironments.java.

final double dfengine.DiagnosisEnvironments.getModeProb	(	Component	c,
		Mode	m,
		ModeAssignment	ma
	)		`[inline, protected]`

Definition at line 356 of file DiagnosisEnvironments.java.

void dfengine.DiagnosisEnvironments.initComponents ( ) [inline, protected]

Definition at line 135 of file DiagnosisEnvironments.java.

void dfengine.DiagnosisEnvironments.initComputation ( ArrayList reiterConflictSets ) throws ParseError [inline, protected]

Definition at line 211 of file DiagnosisEnvironments.java.

void dfengine.DiagnosisEnvironments.initTheoremProver ( ) throws ParseError [inline, protected]

Definition at line 117 of file DiagnosisEnvironments.java.

void dfengine.DiagnosisEnvironments.performBetaExpansions	(	ArrayList	nodesToExpand,
		int	maxDFChainSize,
		ArrayList	des,
		boolean	mergeDEs,
		boolean	discardOrderPerms
	)		`[inline, protected]`

Definition at line 849 of file DiagnosisEnvironments.java.

void dfengine.DiagnosisEnvironments.performGraphExpansions	(	int	searchNumIF,
		boolean	computeBetaDE,
		int	maxDFChainSize,
		boolean	mergeDEs,
		boolean	discardOrderPerms,
		ArrayList	des
	)		`[inline, protected]`