Package solver.explanations

Examples of solver.explanations.LazyExplanationEngineFromRestart


     * @return an Explanation based LNS
     */
    public static LargeNeighborhoodSearch elns(Solver solver, IntVar[] vars, int level, long seed,
                                               ACounter fr4exp, ACounter fr4rnd) {
        if (!(solver.getExplainer() instanceof LazyExplanationEngineFromRestart)) {
            solver.set(new LazyExplanationEngineFromRestart(solver));
        }
        INeighbor neighbor1 = new ExplainingObjective(solver, level, seed);
        neighbor1.fastRestart(fr4exp);
        INeighbor neighbor2 = new ExplainingCut(solver, level, seed);
        neighbor2.fastRestart(fr4exp);
View Full Code Here


     */
    public static LargeNeighborhoodSearch pgelns(Solver solver, IntVar[] vars, int level, long seed,
                                                 int fgmtSize, int listSize,
                                                 ACounter fr4exp, ACounter fr4rnd) {
        if (!(solver.getExplainer() instanceof LazyExplanationEngineFromRestart)) {
            solver.set(new LazyExplanationEngineFromRestart(solver));
        }
        INeighbor neighbor1 = new ExplainingObjective(solver, level, seed);
        neighbor1.fastRestart(fr4exp);
        INeighbor neighbor2 = new PGN4Explanation(solver, vars, seed, fgmtSize, listSize);
        neighbor2.fastRestart(fr4rnd);
View Full Code Here

     */
    public static LargeNeighborhoodSearch apgelns(Solver solver, IntVar[] vars, int level, long seed,
                                                  int fgmtSize, int listSize,
                                                  ACounter fr4exp, ACounter fr4rnd) {
        if (!(solver.getExplainer() instanceof LazyExplanationEngineFromRestart)) {
            solver.set(new LazyExplanationEngineFromRestart(solver));
        }
        INeighbor neighbor1 = new ExplainingObjective(solver, level, seed);
        neighbor1.fastRestart(fr4exp);
        INeighbor neighbor2 = new PGN4Explanation(solver, vars, seed, fgmtSize, listSize);
        neighbor2.fastRestart(fr4rnd);
View Full Code Here

TOP

Related Classes of solver.explanations.LazyExplanationEngineFromRestart

Copyright © 2018 www.massapicom. All rights reserved.
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.