Public Member Functions
void	addRules (ArrayList newRules) throws LogicParseException
void	append (LogicalSubDB source)
boolean	checkConsistency (boolean useFaultModes, String assumptionAB, String assumptionNAB) throws LogicParseException
void	clear ()
ArrayList	computeMinDiag (int maxExplSize, int maxNumExpl, boolean useFaultModes, String assumptionAB, String assumptionNAB, boolean verboseOutput) throws IllegalAssumption
String	getName ()
int	getNumRules ()
LSentence	getRulesAsLSentence ()
ArrayList	getRulesAsStrings ()
	LogicalSubDB (String name)
Protected Attributes
String	name
int	numRules
LogicParser	parser
LSentence	rules
ABTheoremProver	theoremProver

Detailed Description

A logical sub-database is part of a logical database, see LogicalDBInterface.

A logical sub-database has a unique integer ID and comprises a set of rules.

Author:: Joerg WEBER

Version:: 1.0, DATE: 18.10.2005

Definition at line 42 of file LogicalSubDB.java.

Constructor & Destructor Documentation

ATPInterface.LogicalSubDB.LogicalSubDB ( String name ) [inline]

Create an empty sub-database with the passed (unique) ID.

Definition at line 62 of file LogicalSubDB.java.

Member Function Documentation

void ATPInterface.LogicalSubDB.addRules ( ArrayList newRules ) throws LogicParseException [inline]

Add new rules (passed as string collection) the the sub-database.

Definition at line 81 of file LogicalSubDB.java.

void ATPInterface.LogicalSubDB.append ( LogicalSubDB source ) [inline]

Append the rules of source to this sub-database.

Definition at line 132 of file LogicalSubDB.java.

boolean ATPInterface.LogicalSubDB.checkConsistency	(	boolean	useFaultModes,
		String	assumptionAB,
		String	assumptionNAB
	)		throws LogicParseException `[inline]`

Check the consistency of this sub-database by invoking the theorem prover. Use this method when no fault modes are used.

Definition at line 141 of file LogicalSubDB.java.

void ATPInterface.LogicalSubDB.clear ( ) [inline]

Delete all rules of this sub-database.

Definition at line 123 of file LogicalSubDB.java.

ArrayList ATPInterface.LogicalSubDB.computeMinDiag	(	int	maxExplSize,
		int	maxNumExpl,
		boolean	useFaultModes,
		String	assumptionAB,
		String	assumptionNAB,
		boolean	verboseOutput
	)		throws IllegalAssumption `[inline]`

Computes the subset-min. diagnoses (if there are any).

The result is an ArrayList of an ArrayList. Each element (ie an ArrayList) is a collection of strings which represent the explanations. Thus, if there are only single explanations, then each element of the returned list is an ArrayList containing only one string.

Parameters:

verboseOutput If true, then all rules (and maybe other data) are printed to stdout.

Definition at line 169 of file LogicalSubDB.java.

String ATPInterface.LogicalSubDB.getName ( ) [inline]

Return the (unique) ID of this sub-database.

Definition at line 73 of file LogicalSubDB.java.

int ATPInterface.LogicalSubDB.getNumRules ( ) [inline]

Return the number of rules in this sub-database.

Definition at line 98 of file LogicalSubDB.java.

LSentence ATPInterface.LogicalSubDB.getRulesAsLSentence ( ) [inline]

Definition at line 116 of file LogicalSubDB.java.

ArrayList ATPInterface.LogicalSubDB.getRulesAsStrings ( ) [inline]