Exemple #1
0
 /**
  * Use the conflict ordering search as a pluggin to improve a former search heuristic Should be
  * set after specifying a search strategy.
  *
  * @return last conflict strategy
  */
 public static AbstractStrategy conflictOrderingSearch(AbstractStrategy formerSearch) {
   return new ConflictOrderingSearch<>(formerSearch.getVariables()[0].getModel(), formerSearch);
 }
Exemple #2
0
 /**
  * Use the last conflict heuristic as a pluggin to improve a former search heuristic Should be set
  * after specifying a search strategy.
  *
  * @param k the maximum number of conflicts to store
  * @return last conflict strategy
  */
 public static AbstractStrategy lastConflict(AbstractStrategy formerSearch, int k) {
   return new LastConflict(formerSearch.getVariables()[0].getModel(), formerSearch, k);
 }