Uses of Interface
org.sat4j.specs.SearchListener

Packages that use SearchListener
org.sat4j.minisat.core Implementation of the MiniSAT solver skeleton. 
org.sat4j.specs Those classes are intented for users dealing with SAT solvers as blackboxes. 
org.sat4j.tools Tools to be used on top of an ISolver. 
 

Uses of SearchListener in org.sat4j.minisat.core
 

Classes in org.sat4j.minisat.core that implement SearchListener
 class DotSearchListener<T>
          Class allowing to express the search as a tree in the dot language.
 class TextOutputListener<T>
          Debugging Search Listener allowing to follow the search in a textual way.
 

Methods in org.sat4j.minisat.core with parameters of type SearchListener
 void Solver.setSearchListener(SearchListener sl)
           
 

Uses of SearchListener in org.sat4j.specs
 

Methods in org.sat4j.specs with parameters of type SearchListener
 void ISolver.setSearchListener(SearchListener sl)
          Allow the user to hook a listener to the solver to be notified of the main steps of the search process.
 

Uses of SearchListener in org.sat4j.tools
 

Methods in org.sat4j.tools with parameters of type SearchListener
 void SolverDecorator.setSearchListener(SearchListener sl)
           
 void DimacsOutputSolver.setSearchListener(SearchListener sl)
           
 void DimacsStringSolver.setSearchListener(SearchListener sl)
           
 



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