B.4 Search methods

We specify search methods for finite domain variables (IntVar). Similar methods can be defined for set variables (SetVar).

• Search for a single solution with list of variables
     IntVar[] var; 
     ... 
     Search<IntVar> label = new DepthFirstSearch<IntVar>(); 
     SelectChoicePoint<IntVar> select = new SimpleSelect<IntVar>( 
                                              var, 
                                              varSelect, 
                                              tieBreakerVarSelect 
                                              indomain); 
     boolean result = label.labeling(store, select);
• Search for a single solution with list of list of variables
     IntVar[][] var; 
     ... 
     Search<IntVar> label = new DepthFirstSearch<IntVar>(); 
     SelectChoicePoint<IntVar> select = 
                                new SimpleMatrixSelect<IntVar>( 
                                              var, 
                                              varSelect, 
                                              tieBreakerVarSelect 
                                              indomain); 
     boolean result = label.labeling(store, select);
• Search for all solutions

  additional switches for search for all solutions.

     label.getSolutionListener().searchAll(true); 
     // record solutions; if not set false 
     label.getSolutionListener().recordSolutions(true); 
     boolean result = label.labeling(store, select);

  To be able to print found solutions during search the following solution listener has to be added to the search.

     label.setSolutionListener(new PrintOutListener<IntVar>());

  The found solutions can also be printed after search is completed using the following statement.

     label.printAllSolutions();
• Search for optimal solution
     IntVar cost; 
     ... 
     boolean result = label.labeling(store, select, cost);