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 Object
implements AssertionListener, BackjumpListener, ConflictListener, ForgetListener, ClauseListener, PropagateListener, StartStopListener
collects statistics about the solver
- Version:
- 4.9
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
initialize
(Core core) initializes the component with the given solver.private final void
logs one line of stat (for one parameter)final 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
private void
printLine
(boolean start) prints a line, starting a block if @param start is true, ending the block otherwise
-
Field Details
-
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
-
-
Constructor Details
-
StatModule
public StatModule(boolean threaded) Create a StatModule. It can schedule- Parameters:
threaded
- true if threaded
-
-
Method Details
-
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
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
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
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
-