elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/conclusions/classes/ClassConclusionDeletionVisitor.java
@Override
	protected Boolean defaultVisit(ClassConclusion conclusion) {
		ClassConclusionSet conclusions = conclusionsRef.get();
		boolean result = conclusions.removeConclusion(conclusion);
		if (LOGGER_.isTraceEnabled()) {
			LOGGER_.trace("{}: deleting {}: {}", conclusions, conclusion,
					result ? "success" : "failure");
		}
		return result;
	}
@Override
	protected Boolean defaultVisit(ClassConclusion conclusion) {
		ClassConclusionSet conclusions = conclusionsRef.get();
		boolean result = conclusions.removeConclusion(conclusion);
		if (LOGGER_.isTraceEnabled()) {
			LOGGER_.trace("{}: deleting {}: {}", conclusions, conclusion,
					result ? "success" : "failure");
		}
		return result;
	}
@ Override protected Boolean defaultVisit ( ClassConclusion conclusion ) { ClassConclusionSet conclusions = conclusionsRef . get ( ) ; boolean result = conclusions . removeConclusion ( conclusion ) ; if ( LOGGER_ . isTraceEnabled ( ) ) { LOGGER_ . trace ( "{}: deleting {}: {}" , conclusions , conclusion , result ? "success" : "failure" ) ; } return result ; }
logging is switched off
logging is switched off