Uses of Interface
org.sat4j.minisat.core.ConflictTimer

Packages that use ConflictTimer

org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.minisat.restarts	Various restart strategies.
org.sat4j.sat	Implementation of a sat4j Launcher.

Uses of ConflictTimer in org.sat4j.minisat.core

Subinterfaces of ConflictTimer in org.sat4j.minisat.core

interface

RestartStrategy Abstraction allowing to choose various restarts strategies.

Classes in org.sat4j.minisat.core that implement ConflictTimer

class	ConflictTimerAdapter Perform a task when a given number of conflicts is reached.
class	ConflictTimerContainer Agregator for conflict timers (composite design pattern).

Methods in org.sat4j.minisat.core that return ConflictTimer

ConflictTimer

LearnedConstraintsDeletionStrategy.getTimer()

Methods in org.sat4j.minisat.core with parameters of type ConflictTimer

void	Solver.setLearnedConstraintsDeletionStrategy(ConflictTimer timer, LearnedConstraintsEvaluationType evaluation)
void	ICDCL.setLearnedConstraintsDeletionStrategy(ConflictTimer timer, LearnedConstraintsEvaluationType evaluation)

Uses of ConflictTimer in org.sat4j.minisat.restarts

Classes in org.sat4j.minisat.restarts that implement ConflictTimer

class	ArminRestarts Rapid restart strategy presented by Armin Biere during it's SAT 07 invited talk.
class	LubyRestarts Luby series
class	MiniSATRestarts Minisat original restart strategy.
class	NoRestarts Disable restarts in the solver.

Uses of ConflictTimer in org.sat4j.sat

Classes in org.sat4j.sat that implement ConflictTimer

class

RemoteControlStrategy Strategy used by the solver when launched with the remote control.