org.sat4j.tools
Class DecisionTracing

java.lang.Object
  extended by org.sat4j.tools.SearchListenerAdapter<ISolverService>
      extended by org.sat4j.tools.DecisionTracing
All Implemented Interfaces:
Serializable, SearchListener<ISolverService>

public class DecisionTracing
extends SearchListenerAdapter<ISolverService>

Since:
2.2
See Also:
Serialized Form

Constructor Summary
DecisionTracing(IVisualizationTool positiveVisu, IVisualizationTool negativeVisu, IVisualizationTool restartVisu, IVisualizationTool cleanVisu)
           
 
Method Summary
 void assuming(int p)
          decision variable
 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 restarting()
          The solver restarts the search.
 void start()
          Start the search.
 
Methods inherited from class org.sat4j.tools.SearchListenerAdapter
adding, backjump, backtracking, beginLoop, conflictFound, conflictFound, delete, learn, propagating, solutionFound
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DecisionTracing

public DecisionTracing(IVisualizationTool positiveVisu,
                       IVisualizationTool negativeVisu,
                       IVisualizationTool restartVisu,
                       IVisualizationTool cleanVisu)
Method Detail

assuming

public void assuming(int p)
Description copied from interface: SearchListener
decision variable

Specified by:
assuming in interface SearchListener<ISolverService>
Overrides:
assuming 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>

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.

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.

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>


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