log.fine("Total number of satisfiability tests performed: " + totalSatTests);
}
}
private void removeDeclarations() {
OWLAxiomVisitor declarationRemover = new OWLAxiomVisitorAdapter() {
public void visit(OWLDeclarationAxiom axiom) {
debuggingAxioms.remove( axiom );
}
};
for (OWLAxiom axiom : debuggingAxioms.toArray(new OWLAxiom[0])) {