Public Member Functions
void	addComponent (String compName)
void	addComponent (String compName, double prob_if)
void	addFailureDep (String compFrom, String compTo)
void	addFailureDep (String compFrom, String compTo, double prob_df)
void	clearFDGEdges ()
ArrayList	computeDERanking (ArrayList deList, boolean normalize)
ArrayList	computeDEs (ArrayList minHS, boolean computeBetaDE, int maxDFChainSize, ArrayList initialConflictSets) throws ParseError
ArrayList	computeMinHittingSets (int maxHSSize, int maxNumMinHS, ArrayList resultingConflictSets) throws IllegalAssumption, ParseError
RepairCandidates	computeRepairCandidates (ArrayList minHS, boolean computeBetaDE, int maxDFChainSize, boolean discardOrderPerms, ArrayList initialConflictSets) throws ParseError
	DiagnosisProblem (boolean useProb, String assAB, String assNAB, String assIF, String assDF)
String	getAssAB ()
String	getAssDF ()
String	getAssIF ()
String	getAssNAB ()
FailureDepGraph	getFDG ()
LSentence	getOBS ()
LSentence	getSD ()
LSentence	getSDD ()
boolean	hasComponent (String compName)
void	setOBS (LSentence obs)
void	setSD (LSentence sd)
void	setSDD (LSentence sdd)
SplittedAssumption	splitAssumption (Assumption ass)
Protected Member Functions
ArrayList	convertAssListToCompList (ArrayList assList) throws ParseError
TreeMap	getComponents ()
ArrayList	splitAssumptions (ArrayList assList)
Protected Attributes
String	assAB
String	assDF
String	assIF
String	assNAB
TreeMap	components = new TreeMap()
FailureDepGraph	fdg
LSentence	obs
LSentence	sd
LSentence	sdd

Detailed Description

Definition at line 33 of file DiagnosisProblem.java.

Constructor & Destructor Documentation

dfengine.DiagnosisProblem.DiagnosisProblem	(	boolean	useProb,
		String	assAB,
		String	assNAB,
		String	assIF,
		String	assDF
	)		`[inline]`

Definition at line 55 of file DiagnosisProblem.java.

Member Function Documentation

void dfengine.DiagnosisProblem.addComponent ( String compName ) [inline]

Registers a new component;

Definition at line 78 of file DiagnosisProblem.java.

void dfengine.DiagnosisProblem.addComponent	(	String	compName,
		double	prob_if
	)		`[inline]`

Definition at line 85 of file DiagnosisProblem.java.

void dfengine.DiagnosisProblem.addFailureDep	(	String	compFrom,
		String	compTo
	)		`[inline]`

Adds a failure dependency between 2 components.

Definition at line 94 of file DiagnosisProblem.java.

void dfengine.DiagnosisProblem.addFailureDep	(	String	compFrom,
		String	compTo,
		double	prob_df
	)		`[inline]`

Definition at line 108 of file DiagnosisProblem.java.

void dfengine.DiagnosisProblem.clearFDGEdges ( ) [inline]

Definition at line 63 of file DiagnosisProblem.java.

ArrayList dfengine.DiagnosisProblem.computeDERanking	(	ArrayList	deList,
		boolean	normalize
	)		`[inline]`

Ranks the DEs using probabilities.

Returns a list of ObjectPair. Each pair has the form (ModeAssignment, Double), where Double is the probability of the MA. The list is sorted by probabilities in descending order.

Note that the probabilities are prior probabilities. If "normalize" is true, then the resulting values will sum up to 1.

Definition at line 342 of file DiagnosisProblem.java.

ArrayList dfengine.DiagnosisProblem.computeDEs	(	ArrayList	minHS,
		boolean	computeBetaDE,
		int	maxDFChainSize,
		ArrayList	initialConflictSets
	)		throws ParseError `[inline]`

Computes the diag. env. and returns the result as an ArrayList (AL) of ModeAssignment.

minHS: ArrayList of ArrayList of Component conflictSets: ArrayList of ArrayList of Assumption

Definition at line 302 of file DiagnosisProblem.java.

ArrayList dfengine.DiagnosisProblem.computeMinHittingSets	(	int	maxHSSize,
		int	maxNumMinHS,
		ArrayList	resultingConflictSets
	)		throws IllegalAssumption, ParseError `[inline]`

Computes the minimal hitting sets.

See also the documentation of MinHittingSetsFM. Returns an ArrayList of ArrayList of Component. In conflictSets, an ArrayList of ArrayList of SplittedAssumption is returned.

Definition at line 185 of file DiagnosisProblem.java.

RepairCandidates dfengine.DiagnosisProblem.computeRepairCandidates	(	ArrayList	minHS,
		boolean	computeBetaDE,
		int	maxDFChainSize,
		boolean	discardOrderPerms,
		ArrayList	initialConflictSets
	)		throws ParseError `[inline]`

Definition at line 317 of file DiagnosisProblem.java.

ArrayList dfengine.DiagnosisProblem.convertAssListToCompList ( ArrayList assList ) throws ParseError [inline, protected]

Converts an ArrayList (AL) of AL of Assumption to an AL of AL of Component.

The component names are extracted from the assumption (string) identifiers. Onla NAB assumptions are allowed!

Definition at line 222 of file DiagnosisProblem.java.

String dfengine.DiagnosisProblem.getAssAB ( ) [inline]

Definition at line 161 of file DiagnosisProblem.java.

String dfengine.DiagnosisProblem.getAssDF ( ) [inline]

Definition at line 173 of file DiagnosisProblem.java.

String dfengine.DiagnosisProblem.getAssIF ( ) [inline]

Definition at line 169 of file DiagnosisProblem.java.

String dfengine.DiagnosisProblem.getAssNAB ( ) [inline]

Definition at line 165 of file DiagnosisProblem.java.

TreeMap dfengine.DiagnosisProblem.getComponents ( ) [inline, protected]

Definition at line 157 of file DiagnosisProblem.java.

FailureDepGraph dfengine.DiagnosisProblem.getFDG ( ) [inline]

Definition at line 153 of file DiagnosisProblem.java.

LSentence dfengine.DiagnosisProblem.getOBS ( ) [inline]

Definition at line 143 of file DiagnosisProblem.java.

LSentence dfengine.DiagnosisProblem.getSD ( ) [inline]

Definition at line 138 of file DiagnosisProblem.java.

LSentence dfengine.DiagnosisProblem.getSDD ( ) [inline]

Definition at line 148 of file DiagnosisProblem.java.

boolean dfengine.DiagnosisProblem.hasComponent ( String compName ) [inline]

Definition at line 122 of file DiagnosisProblem.java.

void dfengine.DiagnosisProblem.setOBS ( LSentence obs ) [inline]

Definition at line 130 of file DiagnosisProblem.java.

void dfengine.DiagnosisProblem.setSD ( LSentence sd ) [inline]

Definition at line 126 of file DiagnosisProblem.java.

void dfengine.DiagnosisProblem.setSDD ( LSentence sdd ) [inline]

Definition at line 134 of file DiagnosisProblem.java.

SplittedAssumption dfengine.DiagnosisProblem.splitAssumption ( Assumption ass ) [inline]

Definition at line 260 of file DiagnosisProblem.java.

ArrayList dfengine.DiagnosisProblem.splitAssumptions ( ArrayList assList ) [inline, protected]

Definition at line 274 of file DiagnosisProblem.java.

Member Data Documentation

String dfengine.DiagnosisProblem.assAB [protected]

Definition at line 49 of file DiagnosisProblem.java.

String dfengine.DiagnosisProblem.assDF [protected]

Definition at line 52 of file DiagnosisProblem.java.

String dfengine.DiagnosisProblem.assIF [protected]

Definition at line 51 of file DiagnosisProblem.java.

String dfengine.DiagnosisProblem.assNAB [protected]

Definition at line 50 of file DiagnosisProblem.java.

TreeMap dfengine.DiagnosisProblem.components = new TreeMap() [protected]

Definition at line 36 of file DiagnosisProblem.java.

FailureDepGraph dfengine.DiagnosisProblem.fdg [protected]

Definition at line 38 of file DiagnosisProblem.java.

LSentence dfengine.DiagnosisProblem.obs [protected]

Definition at line 47 of file DiagnosisProblem.java.

LSentence dfengine.DiagnosisProblem.sd [protected]

Definition at line 41 of file DiagnosisProblem.java.

LSentence dfengine.DiagnosisProblem.sdd [protected]

Definition at line 44 of file DiagnosisProblem.java.

The documentation for this class was generated from the following file:

DiagnosisProblem.java

Public Member Functions

Protected Member Functions

Protected Attributes

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation