Java SearchMonitorFactory.limitTime Examples

Example #1

File: LimitsTest.java Project: aollag09/choco3

 @Test(groups = "1s")
 public void testTime() {
   Solver s = modelit();
   long tl = 500;
   SearchMonitorFactory.limitTime(s, tl);
   s.findAllSolutions();
   float tc = s.getMeasures().getTimeCount();
   Assert.assertTrue(tl - (tl * 5 / 100) <= tc && tc <= tl + (tl * 5 / 100), tl + " vs. " + tc);
 }

Example #2

File: HybridCycloHexan.java Project: nguyenanhtan/choco3

 @Override
 public void configureSearch() {
   solver.set(new AssignmentInterval(vars, new Cyclic(vars), new RealDomainMiddle()));
   SearchMonitorFactory.limitTime(solver, 10000);
 }