Uses of Interface
org.sat4j.specs.SearchListener

Packages that use SearchListener

org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.pb.tools	Implementation of different tools for pseudo boolean solvers
org.sat4j.sat	Implementation of a sat4j Launcher.
org.sat4j.specs	Those classes are intended for users dealing with SAT solvers as black boxes.
org.sat4j.tools	Tools to be used on top of an ISolver.

Uses of SearchListener in org.sat4j.minisat.core

Fields in org.sat4j.minisat.core declared as SearchListener

protected SearchListener

Solver.slistener

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

<S extends ISolverService> SearchListener<S>

Solver.getSearchListener()

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

<S extends ISolverService> void

Solver.setSearchListener(SearchListener<S> 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.sat

Classes in org.sat4j.sat that implement SearchListener

class

DetailedCommandPanel This panel contains buttons that control restart and clean on solver.

Uses of SearchListener in org.sat4j.specs

Methods in org.sat4j.specs that return SearchListener

<S extends ISolverService> SearchListener<S>

ISolver.getSearchListener() Get the current SearchListener.

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

<S extends ISolverService> void

ISolver.setSearchListener(SearchListener<S> 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	ConflictDepthTracing
class	ConflictLevelTracing
class	DecisionLevelTracing
class	DecisionTracing
class	DotSearchTracing<T> Class allowing to express the search as a tree in the dot language.
class	HeuristicsTracing
class	LBDTracing
class	LearnedClauseSizeTracing
class	LearnedClausesSizeTracing
class	LearnedTracing
class	MultiTracing Allow to feed the solver with several SearchListener.
class	SearchEnumeratorListener That class allows to iterate over the models from the inside: conflicts are created to ask the solver to backtrack.
class	SearchListenerAdapter<S extends ISolverService>
class	SpeedTracing
class	TextOutputTracing<T> Debugging Search Listener allowing to follow the search in a textual way.

Methods in org.sat4j.tools that return SearchListener

<I extends ISolverService> SearchListener<I>	ManyCore.getSearchListener()
<S extends ISolverService> SearchListener<S>	SolverDecorator.getSearchListener()
<S extends ISolverService> SearchListener<S>	AbstractOutputSolver.getSearchListener()

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

<I extends ISolverService> void	ManyCore.setSearchListener(SearchListener<I> sl)
<S extends ISolverService> void	SolverDecorator.setSearchListener(SearchListener<S> sl)
<S extends ISolverService> void	AbstractOutputSolver.setSearchListener(SearchListener<S> sl)

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

MultiTracing(SearchListener... listeners)

Constructor parameters in org.sat4j.tools with type arguments of type SearchListener

MultiTracing(List<SearchListener> listenersList)