org.sat4j.minisat.core

Class ConflictTimerContainer

java.lang.Object

org.sat4j.minisat.core.ConflictTimerContainer

All Implemented Interfaces:

java.io.Serializable, ConflictTimer

public class ConflictTimerContainer
extends java.lang.Object
implements java.io.Serializable, ConflictTimer

Agregator for conflict timers (composite design pattern).

Author:

daniel

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ConflictTimerContainer()

Method Summary

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