Uses of Interface
org.sat4j.specs.SearchListener

Packages that use SearchListener

Package	Description
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.pb.core	Implementations of pseudo boolean solvers
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

Modifier and Type	Field and Description
protected SearchListener	Solver.slistener

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

Modifier and Type	Method and Description
<S extends ISolverService> SearchListener<S>	Solver.getSearchListener()

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

Modifier and Type	Method and Description
<S extends ISolverService> void	Solver.setSearchListener(SearchListener<S> sl)

Uses of SearchListener in org.sat4j.pb.core

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

Modifier and Type	Method and Description
<S extends ISolverService> SearchListener<S>	ObjectiveReducerPBSolverDecorator.getSearchListener()

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

Modifier and Type	Method and Description
<S extends ISolverService> void	ObjectiveReducerPBSolverDecorator.setSearchListener(SearchListener<S> sl)

Uses of SearchListener in org.sat4j.pb.tools

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

Modifier and Type	Class and Description
class	ConflictTracing
class	SearchOptimizerListener

Uses of SearchListener in org.sat4j.sat

Classes in org.sat4j.sat that implement SearchListener

Modifier and Type	Class and Description
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

Modifier and Type	Method and Description
<S extends ISolverService> SearchListener<S>	ISolver.getSearchListener() Get the current SearchListener.

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

Modifier and Type	Method and Description
<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

Modifier and Type	Class and Description
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<T extends ISolverService> 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	SearchMinOneListener That class allows to iterate over the models from the inside: conflicts are created to ask the solver to backtrack.
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

Modifier and Type	Method and Description
<I extends ISolverService> SearchListener<I>	ManyCore.getSearchListener()
<S extends ISolverService> SearchListener<S>	AbstractOutputSolver.getSearchListener()
<S extends ISolverService> SearchListener<S>	StatisticsSolver.getSearchListener()
<S extends ISolverService> SearchListener<S>	SolverDecorator.getSearchListener()

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

Modifier and Type	Method and Description
<I extends ISolverService> void	ManyCore.setSearchListener(SearchListener<I> sl)
<S extends ISolverService> void	AbstractOutputSolver.setSearchListener(SearchListener<S> sl)
<S extends ISolverService> void	StatisticsSolver.setSearchListener(SearchListener<S> sl)
<S extends ISolverService> void	SolverDecorator.setSearchListener(SearchListener<S> sl)

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

Constructor and Description
MultiTracing(SearchListener<T>... listeners)

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

Constructor and Description
MultiTracing(List<SearchListener<T>> listenersList)