org.sat4j.minisat.core
Interface ConflictTimer

All Known Subinterfaces:
RestartStrategy
All Known Implementing Classes:
ArminRestarts, ConflictTimerAdapter, ConflictTimerContainer, LubyRestarts, MiniSATRestarts, NoRestarts

public interface ConflictTimer

Conflict based timer. Used to perform a task when a conflict occurs.

Author:
daniel

Method Summary
 void newConflict()
           
 void reset()
           
 

Method Detail

reset

void reset()

newConflict

void newConflict()


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.