|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| RestartStrategy | Line # 9 | 0 | 1 | - |
-1.0
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
| No Tests | |||
| 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 | public interface RestartStrategy { | |
| 10 | ||
| 11 | /** | |
| 12 | * Method called just before the search starts. | |
| 13 | * @param params TODO | |
| 14 | * | |
| 15 | */ | |
| 16 | void init(SearchParams params); | |
| 17 | ||
| 18 | /** | |
| 19 | * Ask for the next restart in number of conflicts. | |
| 20 | * | |
| 21 | * @return | |
| 22 | */ | |
| 23 | long nextRestartNumberOfConflict(); | |
| 24 | ||
| 25 | /** | |
| 26 | * Method called when a restart occurs (once the solver | |
| 27 | * has backtracked to top decision level). | |
| 28 | * | |
| 29 | */ | |
| 30 | void onRestart(); | |
| 31 | } | |
|
||||||||||
