org.sat4j.tools

Class LearnedClauseSizeTracing

java.lang.Object

org.sat4j.tools.SearchListenerAdapter<ISolverService>

org.sat4j.tools.LearnedClauseSizeTracing

All Implemented Interfaces:

Serializable, SearchListener<ISolverService>

public class LearnedClauseSizeTracing
extends SearchListenerAdapter<ISolverService>

Since:

2.2

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
LearnedClauseSizeTracing(IVisualizationTool visuTool)

Method Summary

Methods

Modifier and Type	Method and Description
void	conflictFound(IConstr confl, int dlevel, int trailLevel) a conflict has been found.
void	end(Lbool result) End the search.

Methods inherited from class org.sat4j.tools.SearchListenerAdapter

adding, assuming, backjump, backtracking, beginLoop, cleaning, conflictFound, delete, init, learn, learnUnit, propagating, restarting, solutionFound, start

Methods inherited from class java.lang.Object

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

Constructor Detail

LearnedClauseSizeTracing

public LearnedClauseSizeTracing(IVisualizationTool visuTool)

Method Detail

conflictFound

public void conflictFound(IConstr confl,
                 int dlevel,
                 int trailLevel)

Description copied from interface: SearchListener

a conflict has been found.

Specified by:

conflictFound in interface SearchListener<ISolverService>

Overrides:

conflictFound in class SearchListenerAdapter<ISolverService>

Parameters:

confl - TODO

dlevel - TODO

trailLevel - 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.