Uses of Interface
org.sat4j.specs.SearchListener

Packages that use SearchListener

org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.multicore
org.sat4j.pb.tools
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

Methods in org.sat4j.minisat.core that return SearchListener

SearchListener

Solver.getSearchListener()

Methods in org.sat4j.minisat.core with parameters of type SearchListener

void	Solver.setSearchListener(SearchListener sl)

Uses of SearchListener in org.sat4j.multicore

Methods in org.sat4j.multicore that return SearchListener

SearchListener

ManyCore.getSearchListener()

Methods in org.sat4j.multicore with parameters of type SearchListener

void	ManyCore.setSearchListener(SearchListener sl)

Uses of SearchListener in org.sat4j.pb.tools

Classes in org.sat4j.pb.tools that implement SearchListener

class

ConflictTracing

Uses of SearchListener in org.sat4j.specs

Methods in org.sat4j.specs that return SearchListener

SearchListener

ISolver.getSearchListener() Get the current SearchListener.

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

Classes in org.sat4j.tools that implement SearchListener

class	ConflictLevelTracing
class	DecisionLevelTracing
class	DecisionTracing
class	DotSearchTracing<T> Class allowing to express the search as a tree in the dot language.
class	LearnedClauseSizeTracing
class	TextOutputTracing<T> Debugging Search Listener allowing to follow the search in a textual way.

Methods in org.sat4j.tools that return SearchListener

SearchListener	DimacsOutputSolver.getSearchListener()
SearchListener	DimacsStringSolver.getSearchListener()
SearchListener	SolverDecorator.getSearchListener()

Methods in org.sat4j.tools with parameters of type SearchListener

void	DimacsOutputSolver.setSearchListener(SearchListener sl)
void	DimacsStringSolver.setSearchListener(SearchListener sl)
void	SolverDecorator.setSearchListener(SearchListener sl)