org.sat4j.minisat.core
Class ConflictTimerAdapter

java.lang.Object
  org.sat4j.minisat.core.ConflictTimerAdapter

All Implemented Interfaces:

Serializable, ConflictTimer

public abstract class ConflictTimerAdapter
extends Object
implements Serializable, ConflictTimer

Perform a task when a given number of conflicts is reached.

Author:

daniel

See Also:

Serialized Form

Constructor Summary

ConflictTimerAdapter(int bound)

Method Summary

int	bound()
void	newConflict()
void	reset()
abstract void	run()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConflictTimerAdapter

public ConflictTimerAdapter(int bound)

Method Detail

reset

public void reset()

Specified by:

reset in interface ConflictTimer

newConflict

public void newConflict()

Specified by:

newConflict in interface ConflictTimer

run

public abstract void run()

bound

public int bound()