org.sat4j.sat
Interface SolverController

All Known Implementing Classes:

DetailedCommandPanel

public interface SolverController

Method Summary

int	getNVar()
RestartStrategy	getRestartStrategy()
SearchParams	getSearchParams()
void	init(SearchParams params)
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()

Method Detail

getNVar

int getNVar()

setPhaseSelectionStrategy

void setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy)

setLearnedDeletionStrategyTypeToSolver

void setLearnedDeletionStrategyTypeToSolver(LearnedConstraintsEvaluationType type)

shouldRestartNow

void shouldRestartNow()

getRestartStrategy

RestartStrategy getRestartStrategy()

setRestartStrategy

void setRestartStrategy(RestartStrategy strategy)

getSearchParams

SearchParams getSearchParams()

init

void init(SearchParams params)

setNbClausesAtWhichWeShouldClean

void setNbClausesAtWhichWeShouldClean(int nbConflicts)

setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy

void setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy()

shouldCleanNow

void shouldCleanNow()

setRandomWalkProba

void setRandomWalkProba(double proba)

setSimplifier

void setSimplifier(SimplificationType type)

setKeepSolverHot

void setKeepSolverHot(boolean keepHot)