1 /*
2 * Created on 8 juin 07
3 *
4 * To change the template for this generated file go to
5 * Window>Preferences>Java>Code Generation>Code and Comments
6 */
7 package org.sat4j.minisat.core;
8
9 import java.io.Serializable;
10
11 public interface RestartStrategy extends Serializable {
12
13 /**
14 * Hook method called just before the search starts.
15 * @param params the user's search parameters.
16 *
17 */
18 void init(SearchParams params);
19
20 /**
21 * Ask for the next restart in number of conflicts.
22 *
23 * @return the delay in conflicts before the next restart.
24 */
25 long nextRestartNumberOfConflict();
26
27 /**
28 * Hook method called when a restart occurs (once the solver
29 * has backtracked to top decision level).
30 *
31 */
32 void onRestart();
33 }