org.sat4j.minisat.core
Interface RestartStrategy

All Superinterfaces:

Serializable

All Known Implementing Classes:

ArminRestarts, LubyRestarts, MiniSATRestarts, NoRestarts

public interface RestartStrategy
extends Serializable

Abstraction allowing to choose various restarts strategies.

Author:

leberre

Method Summary

void	init(SearchParams params) Hook method called just before the search starts.
long	nextRestartNumberOfConflict() Ask for the next restart in number of conflicts.
void	onRestart() Hook method called when a restart occurs (once the solver has backtracked to top decision level).

Method Detail

init

void init(SearchParams params)

Hook method called just before the search starts.

Parameters:

params - the user's search parameters.

nextRestartNumberOfConflict

long nextRestartNumberOfConflict()

Ask for the next restart in number of conflicts.

Returns:

the delay in conflicts before the next restart.

onRestart

void onRestart()

Hook method called when a restart occurs (once the solver has backtracked to top decision level).