Uses of Interface
org.sat4j.specs.ISolverService

Packages that use ISolverService

Package	Description
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
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 ISolverService in org.sat4j.minisat.core

Classes in org.sat4j.minisat.core that implement ISolverService

Modifier and Type	Class and Description
class	Solver<D extends DataStructureFactory> The backbone of the library providing the modular implementation of a MiniSAT (Chaff) like solver.

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

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

Uses of ISolverService in org.sat4j.specs

Classes in org.sat4j.specs with type parameters of type ISolverService

Modifier and Type	Interface and Description
interface	SearchListener<S extends ISolverService> Interface to the solver main steps.

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

Modifier and Type	Method and Description
<S extends ISolverService> SearchListener<S>	ISolver.getSearchListener() Get the current 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 ISolverService in org.sat4j.tools

Classes in org.sat4j.tools with type parameters of type ISolverService

Modifier and Type	Class and Description
class	MultiTracing<T extends ISolverService> Allow to feed the solver with several SearchListener.
class	RupSearchListener<S extends ISolverService> Output an unsat proof using the reverse unit propagation (RUP) format.
class	SearchListenerAdapter<S extends ISolverService>

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

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()
<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)

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

Modifier and Type	Method and Description
void	TextOutputTracing.init(ISolverService solverService)
void	DecisionTracing.init(ISolverService solverService)
void	SearchEnumeratorListener.init(ISolverService solverService)
void	SearchMinOneListener.init(ISolverService solverService)
void	LearnedTracing.init(ISolverService solverService)
void	HeuristicsTracing.init(ISolverService solverService)
void	ConflictDepthTracing.init(ISolverService solverService)
void	ConflictLevelTracing.init(ISolverService solverService)