org.sat4j.minisat.core
Class ConflictTimerContainer

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

All Implemented Interfaces:

Serializable, ConflictTimer

public class ConflictTimerContainer
extends Object
implements Serializable, ConflictTimer

Agregator for conflict timers (composite design pattern).

Author:

daniel

See Also:

Serialized Form

Constructor Summary

ConflictTimerContainer()

Method Summary

void	newConflict()
void	reset()

Methods inherited from class java.lang.Object

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

Constructor Detail

ConflictTimerContainer

public ConflictTimerContainer()

Method Detail

reset

public void reset()

Specified by:

reset in interface ConflictTimer

newConflict

public void newConflict()

Specified by:

newConflict in interface ConflictTimer