Inheritance diagram for ATPInterface.LogicalDB:

Public Member Functions
int	addFDGEdges (ArrayList edgeStrings, boolean replace) throws LogicParseException
int	addRules (String subDB, boolean replace, ArrayList newRules) throws LogicParseException
boolean	checkConsistency (boolean useFaultModes) throws LogicParseException
ArrayList	computeDEs (int maxExplSize, int maxNumExpl, boolean computeBetaDE, int maxDFChainSize, boolean mergeDEs, boolean discardOrderPerms, ArrayList minDiags) throws LogicParseException, IllegalAssumption
ArrayList	computeMinDiag (int maxExplSize, int maxNumExpl, boolean useFaultModes, boolean verboseOutput) throws LogicParseException, IllegalAssumption
FDGStat	createFDGStats ()
ArrayList	createSubDBStats ()
int	getNumSubDBs ()
int	getSubDBNumRules (String name)
ArrayList	getSubDBRules (String name)
int	getTotalNumRules ()
	LogicalDB ()
void	performConsistencyChecks (ArrayList queries, boolean useFaultModes, BitSet result) throws LogicParseException
Protected Attributes
boolean	changed
boolean	consistent
ArrayList	diagEnvs
DiagnosisProblem	diagProblem
ArrayList	explanations
boolean	lastComputeBetaDE
int	lastMaxDFChainSize = -1
int	lastMaxExplSize = -1
int	lastMaxNumExpl = -1
boolean	lastMergeDEs
boolean	lastUseFaultModes
TreeMap	subDBs
LogicalSubDB	totalDB

Detailed Description

Definition at line 50 of file LogicalDB.java.

Constructor & Destructor Documentation

ATPInterface.LogicalDB.LogicalDB ( ) [inline]

Definition at line 86 of file LogicalDB.java.

Member Function Documentation

int ATPInterface.LogicalDB.addFDGEdges	(	ArrayList	edgeStrings,
		boolean	replace
	)		throws LogicParseException `[inline]`

The edges are represented by strings like "C1 => C2".

Returns the total number of edges in the FDG.

Implements ATPInterface.LogicalDBInterface.

Definition at line 115 of file LogicalDB.java.

int ATPInterface.LogicalDB.addRules	(	String	subDB,
		boolean	replace,
		ArrayList	newRules
	)		throws LogicParseException `[inline]`

Add rules, which are passed as a collection of strings, to a logical sub-database.

There are 3 logical sub-databases: for SD, OBS, and SDD. The new rules are added to it or, if "replace" is "false", then the new rules replace the old ones.

Implements ATPInterface.LogicalDBInterface.

Definition at line 101 of file LogicalDB.java.

boolean ATPInterface.LogicalDB.checkConsistency ( boolean useFaultModes ) throws LogicParseException [inline]

Check the consistency of the entire database.

Note that the implementor if this interface may cache computed values and re-use them if the database has not changed since the last call.

The two string parameters are only used when useFaultModes = true.

Implements ATPInterface.LogicalDBInterface.

Definition at line 154 of file LogicalDB.java.

ArrayList ATPInterface.LogicalDB.computeDEs	(	int	maxExplSize,
		int	maxNumExpl,
		boolean	computeBetaDE,
		int	maxDFChainSize,
		boolean	mergeDEs,
		boolean	discardOrderPerms,
		ArrayList	minDiags
	)		throws LogicParseException, IllegalAssumption `[inline]`

Computes the diagnosis environments.

The DEs are returned as strings. The computed min. diagnoses are returned as strings in minDiags.

Implements ATPInterface.LogicalDBInterface.

Definition at line 249 of file LogicalDB.java.

ArrayList ATPInterface.LogicalDB.computeMinDiag	(	int	maxExplSize,
		int	maxNumExpl,
		boolean	useFaultModes,
		boolean	verboseOutput
	)		throws LogicParseException, IllegalAssumption `[inline]`