org.sat4j.tools

Class LearnedTracing

java.lang.Object

org.sat4j.tools.SearchListenerAdapter<ISolverService>

org.sat4j.tools.LearnedTracing

All Implemented Interfaces:

Serializable, SearchListener<ISolverService>

public class LearnedTracing
extends SearchListenerAdapter<ISolverService>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
LearnedTracing(IVisualizationTool visuTool)

Method Summary

Methods

Modifier and Type	Method and Description
void	cleaning() The solver is going to delete some learned clauses.
void	init(ISolverService solverService) Provide access to the solver's controllable interface.
void	restarting() The solver restarts the search.
void	solutionFound(int[] model, RandomAccessModel lazyModel) a solution is found.

Methods inherited from class org.sat4j.tools.SearchListenerAdapter

adding, assuming, backjump, backtracking, beginLoop, conflictFound, conflictFound, delete, end, learn, learnUnit, propagating, start

Methods inherited from class java.lang.Object

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

Constructor Detail

LearnedTracing

public LearnedTracing(IVisualizationTool visuTool)

Method Detail

solutionFound

public void solutionFound(int[] model,
                 RandomAccessModel lazyModel)

Description copied from interface: SearchListener

a solution is found.

Specified by:

solutionFound in interface SearchListener<ISolverService>

Overrides:

solutionFound in class SearchListenerAdapter<ISolverService>

Parameters:

model - the model found

lazyModel - TODO

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>

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.

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>