Examples of solver.search.limits.FailCounter

solver.search.limits.FailCounter
Set a limit over the number of fails allowed during the search. When this limit is reached, the search loop is informed and the resolution is stopped.
@author Charles Prud'homme @since 15 juil. 2010

    }


    @Override
    public void solve() {
        IntVar[] ivars = solver.retrieveIntVars();
        LNSFactory.pglns(solver, ivars, 30, 10, 200, 0, new FailCounter(100));
        SMF.limitTime(solver, "15m"); // because PGLNS is not complete (due to Fast Restarts), we add a time limit
        solver.findOptimalSolution(ResolutionPolicy.MINIMIZE, objective);
    }

View Full Code Here

          IntStrategyFactory.lexico_LB(planes)
      );
    }
    if(searchIdx>=2){
      IntVar[] ivars = solver.retrieveIntVars();
      LNSFactory.pglns(solver, ivars, 30, 10, 200, 0, new FailCounter(100));
    }
  }

View Full Code Here

    }


    @Override
    public void configureSearch() {
        solver.set(IntStrategyFactory.domOverWDeg(vars, seed));
        SearchMonitorFactory.luby(solver, 2, 2, new FailCounter(2), 25000);
    }

View Full Code Here

                for (int i = 0; i < A.length; i++) {
                    vAct[i].transfer();
                }
//                solver.getSearchLoop().restartAfterEachSolution(false);
                SearchMonitorFactory.geometrical(solver, 3 * vars.length, r,
                        new FailCounter(3 * vars.length), Integer.MAX_VALUE);


            }
        }
    }

View Full Code Here

TOP

Related Classes of solver.search.limits.FailCounter

samples.integer.AirPlaneLanding

samples.integer.AirPlanePara

samples.integer.RLFAP

solver.search.strategy.selectors.variables.ActivityBased

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.