Examples of solver.explanations.strategies.ExplainingObjective

solver.explanations.strategies.ExplainingObjective
a specific neighborhood for LNS based on the explanation of the objective variable.
This neightborhood is specific in the sense that it needs to compute explanation on a solution. Furthermore, the fixSomeVariables method creates and applies decision, so that the explanation recorder can infer.
@author Charles Prud'homme @since 03/07/13

                        new ExplainingCut(solver, 200, 123456L), true));
                SearchMonitorFactory.limitThreadTime(solver, 2000);
                break;
            case 6:
                solver.getSearchLoop().plugSearchMonitor(new LargeNeighborhoodSearch(solver,
                        new ExplainingObjective(solver, 200, 123456L), true));
                SearchMonitorFactory.limitThreadTime(solver, 200000);
                break;
            case 7:
                SequenceNeighborhood ngb = new SequenceNeighborhood(
                        new ExplainingObjective(solver, 200, 123456L),
                        new ExplainingCut(solver, 200, 123456L),
                        new RandomNeighborhood4Explanation(solver, objects, 200, 123456L));
                solver.getSearchLoop().plugSearchMonitor(new LargeNeighborhoodSearch(solver, ngb, true));
                SearchMonitorFactory.limitThreadTime(solver, 200000);
                break;

View Full Code Here


        NogoodStoreFromRestarts ngs = new NogoodStoreFromRestarts(vars);
        solver.getSearchLoop().plugSearchMonitor(
                new LargeNeighborhoodSearch(solver,
                        new SequenceNeighborhood(
                                new ExplainingObjective(solver, 200, 123456L),
                                new ExplainingCut(solver, 200, 123456L),
                                new RandomNeighborhood4Explanation(solver, vars, 200, 123456L)), true));
        solver.post(ngs);
        solver.set(IntStrategyFactory.random_bound(vars, seed));

View Full Code Here

TOP

Related Classes of solver.explanations.strategies.ExplainingObjective

gnu.trove.list.array.TIntArrayList

solver.explanations.antidom.AntiDomain

solver.search.loop.ELNSTest

solver.search.loop.LNSTest

solver.search.restart.GeometricalRestartStrategy

solver.search.strategy.decision.Decision

util.iterators.DisposableValueIterator

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.