ATPInterface.LogicalSubDB Member List

This is the complete list of members for ATPInterface.LogicalSubDB, including all inherited members.

addRules(ArrayList newRules)	ATPInterface.LogicalSubDB	[inline]
append(LogicalSubDB source)	ATPInterface.LogicalSubDB	[inline]
checkConsistency(boolean useFaultModes, String assumptionAB, String assumptionNAB)	ATPInterface.LogicalSubDB	[inline]
clear()	ATPInterface.LogicalSubDB	[inline]
computeMinDiag(int maxExplSize, int maxNumExpl, boolean useFaultModes, String assumptionAB, String assumptionNAB, boolean verboseOutput)	ATPInterface.LogicalSubDB	[inline]
getName()	ATPInterface.LogicalSubDB	[inline]
getNumRules()	ATPInterface.LogicalSubDB	[inline]
getRulesAsLSentence()	ATPInterface.LogicalSubDB	[inline]
getRulesAsStrings()	ATPInterface.LogicalSubDB	[inline]
LogicalSubDB(String name)	ATPInterface.LogicalSubDB	[inline]
name	ATPInterface.LogicalSubDB	[protected]
numRules	ATPInterface.LogicalSubDB	[protected]
parser	ATPInterface.LogicalSubDB	[protected]
rules	ATPInterface.LogicalSubDB	[protected]
theoremProver	ATPInterface.LogicalSubDB	[protected]