Counting number of nodes should exclude solution

In Solver, the extend case in searchloop() counts a node even if no extension is done:

case extend:
    left = true;
    searchMonitors.beforeOpenNode();
    mMeasures.incNodeCount();
    if (!M.extend(this)) {
        action = validate;
    } else {
        action = propagate;
    }
    searchMonitors.afterOpenNode();
    break;

I suggest to not increment the number of nodes when a solution is found:

case extend:                        
    left = true;                    
    searchMonitors.beforeOpenNode();
    if (!M.extend(this)) {          
        action = validate;          
    } else {                        
        mMeasures.incNodeCount();   
        action = propagate;         
    }                               
    searchMonitors.afterOpenNode(); 
    break;                          

[jgFages]

I think there is no s

[cprudhom]

Ok, so an alternative would to add a new API like getDecisionsCount() which returns the correct number of decisions taken so far, and to patch getNodeCount() so it returns getDecisionsCount() + getSolutionCount().

(btw, shouldn’t we add an ‘s’ in ‘getDecisionsCount()’ ?)