Package org.jacop.jasat.modules
Class StatModule
- java.lang.Object
-
- org.jacop.jasat.modules.StatModule
-
- All Implemented Interfaces:
SolverComponent
,AssertionListener
,BackjumpListener
,ClauseListener
,ConflictListener
,ForgetListener
,PropagateListener
,StartStopListener
public final class StatModule extends java.lang.Object implements AssertionListener, BackjumpListener, ConflictListener, ForgetListener, ClauseListener, PropagateListener, StartStopListener
collects statistics about the solver- Version:
- 4.8
-
-
Field Summary
Fields Modifier and Type Field Description private Core
core
private long
numAssertions
private long
numBackjumps
private long
numClauseAdd
private long
numClauseRemoved
private long
numConflicts
private long
numForget
private long
numLearntClauses
private long
numPropagate
private long
numRestarts
private java.util.TimerTask
task
private boolean
threaded
-
Constructor Summary
Constructors Constructor Description StatModule(boolean threaded)
Create a StatModule.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
initialize(Core core)
initializes the component with the given solver.private void
logStat(java.lang.String stat, long num, long timeDiff)
logs one line of stat (for one parameter)void
logStats()
print current stats with solver's logc2 methodvoid
onAssertion(int literal, int level)
Called when a variable is setvoid
onBackjump(int oldLevel, int newLevel)
Called when the solver backtracks.void
onClauseAdd(int[] clause, int clauseId, boolean isModelClause)
called when the given clause is added.void
onClauseRemoval(int clauseId)
called when the clause with unique Id @param clauseId is removedvoid
onConflict(MapClause clause, int level)
called when a conflict occursvoid
onForget()
called when the solver's forget() method is applied.void
onPropagate(int literal, int clauseId)
called when a propagation occursvoid
onRestart(int oldLevel)
called when the solver restarts.void
onStart()
called when the solver starts search.void
onStop()
called when the solver stop search, for any reasonprivate void
printBlank()
private void
printLine(boolean start)
prints a line, starting a block if @param start is true, ending the block otherwise
-
-
-
Field Detail
-
core
private Core core
-
numRestarts
private long numRestarts
-
numConflicts
private long numConflicts
-
numBackjumps
private long numBackjumps
-
numAssertions
private long numAssertions
-
numForget
private long numForget
-
numClauseAdd
private long numClauseAdd
-
numLearntClauses
private long numLearntClauses
-
numClauseRemoved
private long numClauseRemoved
-
numPropagate
private long numPropagate
-
threaded
private final boolean threaded
-
task
private java.util.TimerTask task
-
-
Method Detail
-
onRestart
public void onRestart(int oldLevel)
Description copied from interface:BackjumpListener
called when the solver restarts.components that want to be warned about restarts should put themselves in Core.restartModules.
- Specified by:
onRestart
in interfaceBackjumpListener
- Parameters:
oldLevel
- the level at which the solver was before restarting
-
onConflict
public void onConflict(MapClause clause, int level)
Description copied from interface:ConflictListener
called when a conflict occurs- Specified by:
onConflict
in interfaceConflictListener
- Parameters:
clause
- the conflict (unsatisfiable) clauselevel
- the level at which the conflict occurred
-
onBackjump
public void onBackjump(int oldLevel, int newLevel)
Description copied from interface:BackjumpListener
Called when the solver backtracks. It will also be called when the solver restarts.components that want to be warned about backjumps should put themselves in Core.backjumpModules.
- Specified by:
onBackjump
in interfaceBackjumpListener
- Parameters:
oldLevel
- the level at which the solver was before backtrackingnewLevel
- the level to which the solver backtracks
-
onAssertion
public void onAssertion(int literal, int level)
Description copied from interface:AssertionListener
Called when a variable is set- Specified by:
onAssertion
in interfaceAssertionListener
- Parameters:
literal
- the literal that is set propagation, false otherwiselevel
- the search level
-
onForget
public void onForget()
Description copied from interface:ForgetListener
called when the solver's forget() method is applied.- Specified by:
onForget
in interfaceForgetListener
-
onPropagate
public void onPropagate(int literal, int clauseId)
Description copied from interface:PropagateListener
called when a propagation occurs- Specified by:
onPropagate
in interfacePropagateListener
- Parameters:
literal
- the literal propagatedclauseId
- the unique ID of the unit clause
-
onClauseAdd
public void onClauseAdd(int[] clause, int clauseId, boolean isModelClause)
Description copied from interface:ClauseListener
called when the given clause is added.- Specified by:
onClauseAdd
in interfaceClauseListener
- Parameters:
clause
- the clauseclauseId
- the clause's unique IdisModelClause
- is this clause a model clause ?
-
onClauseRemoval
public void onClauseRemoval(int clauseId)
Description copied from interface:ClauseListener
called when the clause with unique Id @param clauseId is removed- Specified by:
onClauseRemoval
in interfaceClauseListener
- Parameters:
clauseId
- the id
-
onStop
public void onStop()
Description copied from interface:StartStopListener
called when the solver stop search, for any reason- Specified by:
onStop
in interfaceStartStopListener
-
onStart
public void onStart()
Description copied from interface:StartStopListener
called when the solver starts search. It will be called only once.- Specified by:
onStart
in interfaceStartStopListener
-
logStats
public final void logStats()
print current stats with solver's logc2 method
-
logStat
private final void logStat(java.lang.String stat, long num, long timeDiff)
logs one line of stat (for one parameter)
-
printLine
private void printLine(boolean start)
prints a line, starting a block if @param start is true, ending the block otherwise
-
printBlank
private void printBlank()
-
initialize
public void initialize(Core core)
Description copied from interface:SolverComponent
initializes the component with the given solver. May be called only once. This method must register the component to the solver for the run.- Specified by:
initialize
in interfaceSolverComponent
- Parameters:
core
- core component to initialize
-
-