Uses of Interface
org.sat4j.specs.ISolverService

Packages that use ISolverService

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

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

<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

interface

SearchListener<S extends ISolverService> Interface to the solver main steps.

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

<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

class

SearchListenerAdapter<S extends ISolverService>

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

<I extends ISolverService> SearchListener<I>	ManyCore.getSearchListener()
<S extends ISolverService> SearchListener<S>	SolverDecorator.getSearchListener()
<S extends ISolverService> SearchListener<S>	AbstractOutputSolver.getSearchListener()
<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)

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

void	TextOutputTracing.init(ISolverService solverService)
void	SpeedTracing.init(ISolverService solverService)
void	SearchEnumeratorListener.init(ISolverService solverService)
void	MultiTracing.init(ISolverService solverService)
void	LearnedTracing.init(ISolverService solverService)
void	HeuristicsTracing.init(ISolverService solverService)
void	DecisionTracing.init(ISolverService solverService)
void	ConflictLevelTracing.init(ISolverService solverService)
void	ConflictDepthTracing.init(ISolverService solverService)