Uses of Interface
org.sat4j.specs.ILogAble

Packages that use ILogAble

Package	Description
org.sat4j	Contains a command line launcher for the SAT solvers.
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.

Uses of ILogAble in org.sat4j

Classes in org.sat4j that implement ILogAble

Modifier and Type	Class and Description
class	AbstractLauncher That class is used by launchers used to solve decision problems, i.e.
class	AbstractOptimizationLauncher Deprecated.
class	BasicLauncher<T extends ISolver> Very simple launcher, to be used during the SAT competition or the SAT race for instance.
class	MUSLauncher

Methods in org.sat4j with parameters of type ILogAble

Modifier and Type	Method and Description
void	ILauncherMode.displayResult(ISolver solver, IProblem problem, ILogAble logger, PrintWriter out, Reader reader, long beginTime, boolean displaySolutionLine) Output of the launcher when the solver stops
void	ILauncherMode.solve(IProblem problem, Reader reader, ILogAble logger, PrintWriter out, long beginTime) Main solver call: one call for a decision problem, a loop for an optimization problem.

Uses of ILogAble in org.sat4j.minisat.core

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

Modifier and Type	Field and Description
protected ILogAble	Solver.out

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

Modifier and Type	Method and Description
ILogAble	ICDCL.getLogger()
ILogAble	Solver.getLogger()

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

Modifier and Type	Method and Description
void	ICDCL.setLogger(ILogAble out)
void	Solver.setLogger(ILogAble out)

Constructors in org.sat4j.minisat.core with parameters of type ILogAble

Constructor and Description
Solver(LearningStrategy<D> learner, D dsf, SearchParams params, IOrder order, RestartStrategy restarter, ILogAble logger)

Uses of ILogAble in org.sat4j.specs

Fields in org.sat4j.specs declared as ILogAble

Modifier and Type	Field and Description
static ILogAble	ILogAble.CONSOLE