80    if (getClass() == 
DecisionVisitor.class) mainJNI.DecisionVisitor_visitSplitVariableDomain(swigCPtr, 
this, 
IntVar.
getCPtr(var), var, value, start_with_lower_half); 
else mainJNI.DecisionVisitor_visitSplitVariableDomainSwigExplicitDecisionVisitor(swigCPtr, 
this, 
IntVar.
getCPtr(var), var, value, start_with_lower_half);