elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/rules/DummyRuleVisitor.java
protected <P> O defaultVisit(Rule<P> rule, P premise,
			ContextPremises premises, ClassInferenceProducer producer) {
		if (LOGGER_.isTraceEnabled()) {
			LOGGER_.trace("ignore {} by {} in {}", premise, rule, premises);
		}
		return null;
	}
protected <P> O defaultVisit(Rule<P> rule, P premise,
			ContextPremises premises, ClassInferenceProducer producer) {
		if (LOGGER_.isTraceEnabled()) {
			LOGGER_.trace("ignore {} by {} in {}", premise, rule, premises);
		}
		return null;
	}
protected < P > O defaultVisit ( Rule < P > rule , P premise , ContextPremises premises , ClassInferenceProducer producer ) { if ( LOGGER_ . isTraceEnabled ( ) ) { LOGGER_ . trace ( "ignore {} by {} in {}" , premise , rule , premises ) ; } return null ; }
The default implementation of all methods

@param rule
@param premise
@param premises
@param producer
@return
The default implementation of all methods