This is the complete list of members for
ATPInterface.LogicalDBInterface, including all inherited members.
| addFDGEdges(ArrayList edgeStrings, boolean replace) | ATPInterface.LogicalDBInterface | |
| addRules(String subDB, boolean replace, ArrayList newRules) | ATPInterface.LogicalDBInterface | |
| checkConsistency(boolean useFaultModes) | ATPInterface.LogicalDBInterface | |
| computeDEs(int maxExplSize, int maxNumExpl, boolean computeBetaDE, int maxDFChainSize, boolean mergeDEs, boolean discardOrderPerms, ArrayList minDiags) | ATPInterface.LogicalDBInterface | |
| computeMinDiag(int maxExplSize, int maxNumExpl, boolean useFaultModes, boolean verboseOutput) | ATPInterface.LogicalDBInterface | |
| createFDGStats() | ATPInterface.LogicalDBInterface | |
| createSubDBStats() | ATPInterface.LogicalDBInterface | |
| getSubDBNumRules(String subDB) | ATPInterface.LogicalDBInterface | |
| getSubDBRules(String name) | ATPInterface.LogicalDBInterface | |
| getTotalNumRules() | ATPInterface.LogicalDBInterface | |
| performConsistencyChecks(ArrayList queries, boolean useFaultModes, BitSet result) | ATPInterface.LogicalDBInterface | |