ATPInterface.LogicalDB Member List
This is the complete list of members for ATPInterface.LogicalDB, including all inherited members.
addFDGEdges(ArrayList edgeStrings, boolean replace)ATPInterface.LogicalDB [inline]
addRules(String subDB, boolean replace, ArrayList newRules)ATPInterface.LogicalDB [inline]
changedATPInterface.LogicalDB [protected]
checkConsistency(boolean useFaultModes)ATPInterface.LogicalDB [inline]
computeDEs(int maxExplSize, int maxNumExpl, boolean computeBetaDE, int maxDFChainSize, boolean mergeDEs, boolean discardOrderPerms, ArrayList minDiags)ATPInterface.LogicalDB [inline]
computeMinDiag(int maxExplSize, int maxNumExpl, boolean useFaultModes, boolean verboseOutput)ATPInterface.LogicalDB [inline]
consistentATPInterface.LogicalDB [protected]
createFDGStats()ATPInterface.LogicalDB [inline]
createSubDBStats()ATPInterface.LogicalDB [inline]
diagEnvsATPInterface.LogicalDB [protected]
diagProblemATPInterface.LogicalDB [protected]
explanationsATPInterface.LogicalDB [protected]
getNumSubDBs()ATPInterface.LogicalDB [inline]
getSubDBNumRules(String name)ATPInterface.LogicalDB [inline]
getSubDBRules(String name)ATPInterface.LogicalDB [inline]
getTotalNumRules()ATPInterface.LogicalDB [inline]
lastComputeBetaDEATPInterface.LogicalDB [protected]
lastMaxDFChainSizeATPInterface.LogicalDB [protected]
lastMaxExplSizeATPInterface.LogicalDB [protected]
lastMaxNumExplATPInterface.LogicalDB [protected]
lastMergeDEsATPInterface.LogicalDB [protected]
lastUseFaultModesATPInterface.LogicalDB [protected]
LogicalDB()ATPInterface.LogicalDB [inline]
performConsistencyChecks(ArrayList queries, boolean useFaultModes, BitSet result)ATPInterface.LogicalDB [inline]
subDBsATPInterface.LogicalDB [protected]
totalDBATPInterface.LogicalDB [protected]

tug_ist_diagnosis_engine
Author(s): Safdar Zaman, Gerald Steinbauer
autogenerated on Mon Jan 6 2014 11:51:16