SolverController (SAT4J 2.3.4 API)

Methods
Modifier and Type	Method and Description
`int`	`getNVar()`
`RestartStrategy`	`getRestartStrategy()`
`SearchParams`	`getSearchParams()`
`SolverStats`	`getSolverStats()`
`void`	`init(SearchParams params, SolverStats stats)`
`void`	`setKeepSolverHot(boolean keepHot)`
`void`	`setLearnedDeletionStrategyTypeToSolver(LearnedConstraintsEvaluationType type)`
`void`	`setNbClausesAtWhichWeShouldClean(int nbConflicts)`
`void`	`setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy)`
`void`	`setRandomWalkProba(double proba)`
`void`	`setRestartStrategy(RestartStrategy strategy)`
`void`	`setSimplifier(SimplificationType type)`
`void`	`setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy()`
`void`	`shouldCleanNow()`
`void`	`shouldRestartNow()`

void setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy)

void setLearnedDeletionStrategyTypeToSolver(LearnedConstraintsEvaluationType type)

void setRestartStrategy(RestartStrategy strategy)

void init(SearchParams params,
        SolverStats stats)

void setNbClausesAtWhichWeShouldClean(int nbConflicts)

void setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy()

void setSimplifier(SimplificationType type)

void setKeepSolverHot(boolean keepHot)

Interface SolverController