private IntDomain DeleteDomainFromBestValueToMaxValue(Variable objective) { var d = (IntDomain)objective.Domain; d = d.Delete(bestValue, IntDomain.MaxValue); return d; }