org.sat4j.tools
Class LearnedClauseSizeTracing

java.lang.Object
  extended by org.sat4j.tools.SearchListenerAdapter<ISolverService>
      extended by 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
LearnedClauseSizeTracing(IVisualizationTool visuTool)
           
 
Method Summary
 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, 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.


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.