org.sat4j.minisat.core

Interface ConflictTimer

All Known Subinterfaces:

RestartStrategy

All Known Implementing Classes:

ArminRestarts, ConflictTimerAdapter, ConflictTimerContainer, FixedPeriodRestarts, Glucose21Restarts, LubyRestarts, MiniSATRestarts, NoRestarts

public interface ConflictTimer

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

Author:

daniel

Method Summary

Methods

Modifier and Type	Method and Description
void	newConflict()
void	reset()

Method Detail

reset

void reset()

newConflict

void newConflict()