org.sat4j.tools
Class SpeedTracing

java.lang.Object
  org.sat4j.tools.SearchListenerAdapter<ISolverService>
      org.sat4j.tools.SpeedTracing

All Implemented Interfaces:

Serializable, SearchListener<ISolverService>

public class SpeedTracing
extends SearchListenerAdapter<ISolverService>

See Also:

Serialized Form

Constructor Summary

SpeedTracing(IVisualizationTool visuTool, IVisualizationTool cleanVisuTool, IVisualizationTool restartVisuTool)

Method Summary

void	cleaning() The solver is going to delete some learned clauses.
void	end(Lbool result) End the search.
void	init(ISolverService solverService) Provide access to the solver's controllable interface.
void	propagating(int p, IConstr reason) Unit propagation
void	restarting() The solver restarts the search.
void	start() Start the search.

Methods inherited from class org.sat4j.tools.SearchListenerAdapter

adding, assuming, backjump, backtracking, beginLoop, conflictFound, conflictFound, delete, learn, solutionFound

Methods inherited from class java.lang.Object

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

Constructor Detail

SpeedTracing

public SpeedTracing(IVisualizationTool visuTool,
                    IVisualizationTool cleanVisuTool,
                    IVisualizationTool restartVisuTool)

Method Detail

propagating

public void propagating(int p,
                        IConstr reason)

Description copied from interface: SearchListener

Unit propagation

Specified by:

propagating in interface SearchListener<ISolverService>

Overrides:

propagating in class SearchListenerAdapter<ISolverService>

reason - TODO

end

public void end(Lbool result)

Description copied from interface: SearchListener

End the search.

Specified by:

end in interface SearchListener<ISolverService>

Overrides:

end in class SearchListenerAdapter<ISolverService>

Parameters:

result - the result of the search.

cleaning

public void cleaning()

Description copied from interface: SearchListener

The solver is going to delete some learned clauses.

Specified by:

cleaning in interface SearchListener<ISolverService>

Overrides:

cleaning in class SearchListenerAdapter<ISolverService>

restarting

public void restarting()

Description copied from interface: SearchListener

The solver restarts the search.

Specified by:

restarting in interface SearchListener<ISolverService>

Overrides:

restarting in class SearchListenerAdapter<ISolverService>

start

public void start()

Description copied from interface: SearchListener

Start the search.

Specified by:

start in interface SearchListener<ISolverService>

Overrides:

start in class SearchListenerAdapter<ISolverService>

init

public void init(ISolverService solverService)

Description copied from interface: SearchListener

Provide access to the solver's controllable interface.

Specified by:

init in interface SearchListener<ISolverService>

Overrides:

init in class SearchListenerAdapter<ISolverService>

Parameters:

solverService - a way to safely control the solver.