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 | getSubDBNumRules (String subDB) |
| ArrayList | getSubDBRules (String name) |
| int | getTotalNumRules () |
| void | performConsistencyChecks (ArrayList queries, boolean useFaultModes, BitSet result) throws LogicParseException |
Detailed Description
This is the interface to a logical DB and its theorem prover.
A logical database comprises zero, one or more logical sub-databases which have a unique int identifier. Each logical sub-database consists of a set of logical rules.
- Version:
- 1.0, DATE: 18.10.2005
Definition at line 40 of file LogicalDBInterface.java.
Member Function Documentation
| int ATPInterface.LogicalDBInterface.addFDGEdges | ( | ArrayList | edgeStrings, |
| boolean | replace | ||
| ) | throws LogicParseException |
The edges are represented by strings like "C1 => C2".
Returns the total number of edges in the FDG.
Implemented in ATPInterface.LogicalDB.
| int ATPInterface.LogicalDBInterface.addRules | ( | String | subDB, |
| boolean | replace, | ||
| ArrayList | newRules | ||
| ) | throws LogicParseException |
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.
Implemented in ATPInterface.LogicalDB.
| boolean ATPInterface.LogicalDBInterface.checkConsistency | ( | boolean | useFaultModes | ) | throws LogicParseException |
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.
Implemented in ATPInterface.LogicalDB.
| ArrayList ATPInterface.LogicalDBInterface.computeDEs | ( | int | maxExplSize, |
| int | maxNumExpl, | ||
| boolean | computeBetaDE, | ||
| int | maxDFChainSize, | ||
| boolean | mergeDEs, | ||
| boolean | discardOrderPerms, | ||
| ArrayList | minDiags | ||
| ) | throws LogicParseException, IllegalAssumption |
Computes the diagnosis environments.
The DEs are returned as strings. The computed min. diagnoses are returned as strings in minDiags.
Implemented in ATPInterface.LogicalDB.
| ArrayList ATPInterface.LogicalDBInterface.computeMinDiag | ( | int | maxExplSize, |
| int | maxNumExpl, | ||
| boolean | useFaultModes, | ||
| boolean | verboseOutput | ||
| ) | throws LogicParseException, IllegalAssumption |
Checks the consistency of the database and return the explanations, if there are any.
The method checkConsistency() does not need to be called before.
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.
- Parameters:
-
verboseOutput If true, then all rules (and maybe other data) are printed to stdout.
Implemented in ATPInterface.LogicalDB.
Implemented in ATPInterface.LogicalDB.
| ArrayList ATPInterface.LogicalDBInterface.createSubDBStats | ( | ) |
Creates a collection of SubDBStat objects stating informations about this DB.
Implemented in ATPInterface.LogicalDB.
| int ATPInterface.LogicalDBInterface.getSubDBNumRules | ( | String | subDB | ) |
Returns the number of rules of the sub-database whose name ("SD", "OBS", "SDD") is passed, may be 0.
Implemented in ATPInterface.LogicalDB.
| ArrayList ATPInterface.LogicalDBInterface.getSubDBRules | ( | String | name | ) |
Returns the rules of the sub-database whose name is passed, may be empty.
Implemented in ATPInterface.LogicalDB.
Return the total number of rules in this database.
Implemented in ATPInterface.LogicalDB.
| void ATPInterface.LogicalDBInterface.performConsistencyChecks | ( | ArrayList | queries, |
| boolean | useFaultModes, | ||
| BitSet | result | ||
| ) | throws LogicParseException |
Implemented in ATPInterface.LogicalDB.
The documentation for this interface was generated from the following file: