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

Constructors

Constructor and Description
ConflictTimerAdapter(int bound)

Method Summary

Methods

Modifier and Type	Method and Description
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()