Examples of solver.search.strategy.selectors.values.IntDomainMiddle

solver.search.strategy.selectors.values.IntDomainMiddle

Selects the value in the variable domain closest to the mean of its current bounds.
It computes the middle value of the domain. Then it checks if the mean is contained in the domain. If not, the closest value to the middle is chosen. It uses a policy to define whether the mean value should be floored or ceiled
BEWARE: should not be used with assignment decisions over bounded variables (because the decision negation would result in no inference) @author Charles Prud'homme, Jean-Guillaume Fages @since 2 juil. 2010


    }


    @Override
    public void configureSearch() {
        solver.set(new IntStrategy(vars, new InputOrder<IntVar>(), new IntDomainMiddle()));
    }

Examples of solver.search.strategy.selectors.values.IntDomainMiddle

Related Classes of solver.search.strategy.selectors.values.IntDomainMiddle