1 package org.sat4j.sat;
2
3 import org.sat4j.minisat.core.IPhaseSelectionStrategy;
4 import org.sat4j.minisat.core.LearnedConstraintsEvaluationType;
5 import org.sat4j.minisat.core.RestartStrategy;
6 import org.sat4j.minisat.core.SearchParams;
7 import org.sat4j.minisat.core.SimplificationType;
8
9 public interface SolverController {
10
11 public int getNVar();
12
13 public void setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy);
14
15 public void setLearnedDeletionStrategyTypeToSolver(
16 LearnedConstraintsEvaluationType type);
17
18 public void shouldRestartNow();
19
20 public RestartStrategy getRestartStrategy();
21
22 public void setRestartStrategy(RestartStrategy strategy);
23
24 public SearchParams getSearchParams();
25
26 public void init(SearchParams params);
27
28 public void setNbClausesAtWhichWeShouldClean(int nbConflicts);
29
30 public void setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy();
31
32 public void shouldCleanNow();
33
34 public void setRandomWalkProba(double proba);
35
36 public void setSimplifier(SimplificationType type);
37
38 public void setKeepSolverHot(boolean keepHot);
39 }