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).



Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.