Java SearchMonitorFactory.limitNode Exemples

Exemple #1

Fichier : LimitsTest.java Projet : aollag09/choco3

 @Test(groups = "1s")
 public void testNode() {
   Solver s = modelit();
   long nl = 50;
   SearchMonitorFactory.limitNode(s, nl);
   s.findAllSolutions();
   long nc = s.getMeasures().getNodeCount();
   Assert.assertEquals(nc, nl);
 }