org.sat4j.minisat.core
Interface ConflictTimer

All Known Subinterfaces:

RestartStrategy

All Known Implementing Classes:

ArminRestarts, ConflictTimerAdapter, ConflictTimerContainer, LubyRestarts, MiniSATRestarts, NoRestarts, RemoteControlStrategy

public interface ConflictTimer

Conflict based timer. Used to perform a task when a conflict occurs.

Author:

daniel

Method Summary

void	newConflict()
void	reset()

Method Detail

reset

void reset()

newConflict

void newConflict()