NogoodFromRestarts + ObjectiveStrategy = UnsupportedOperationException

[cprudhom]

trafficstars

Recording no-goods from restarts is based on Decision, from now on, IntDecision and SetDecision are managed.

When using ObjectiveStrategy, like

solver.setSearch(Search.objectiveStrategy(obj, BOTTOM_UP), minDomLBSearch(xs));

recording no goods (from restarts or from solutions) throws an UnsupportedOperationException.

This is due to ObjectiveStrategy that redefines DecisionOperator instead of using IntSplitDecision or IntReverseSplitDecision.