Uses of Interface
org.sat4j.minisat.core.ICDCLLogger

Packages that use ICDCLLogger

org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.pb	Implementations of pseudo boolean solvers
org.sat4j.sat	Implementation of a sat4j Launcher.
org.sat4j.sat.visu	Implementation of different visualization for the remote control.

Uses of ICDCLLogger in org.sat4j.minisat.core

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

static ICDCLLogger	ICDCLLogger.CONSOLE
protected ICDCLLogger	Solver.out

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

ICDCLLogger	Solver.getLogger()
ICDCLLogger	ICDCL.getLogger()

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

void	Solver.setLogger(ICDCLLogger out)
void	ICDCL.setLogger(ICDCLLogger out)

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

Solver(LearningStrategy<D> learner, D dsf, SearchParams params, IOrder order, RestartStrategy restarter, ICDCLLogger logger)

Uses of ICDCLLogger in org.sat4j.pb

Classes in org.sat4j.pb that implement ICDCLLogger

class	LanceurPseudo2005 Launcher especially dedicated to the pseudo boolean 05 evaluation (@link http://www.cril.univ-artois.fr/PB05/).
class	LanceurPseudo2007 Launcher for the Pseudo Boolean 2007 competition.
class	LanceurPseudo2007Eclipse

Uses of ICDCLLogger in org.sat4j.sat

Classes in org.sat4j.sat that implement ICDCLLogger

class	DetailedCommandPanel This panel contains buttons that control restart and clean on solver.
class	Lanceur
class	RemoteControlFrame JFrame for the remote control.

Methods in org.sat4j.sat that return ICDCLLogger

ICDCLLogger

RemoteControlStrategy.getLogger()

Methods in org.sat4j.sat with parameters of type ICDCLLogger

protected static ICDCL	Solvers.configureFromString(String solverconfig, ICDCL theSolver, ICDCLLogger logger)
static ICDCL	Solvers.configureSolver(String[] args, ICDCLLogger logger)
void	RemoteControlStrategy.setLogger(ICDCLLogger logger)
static void	Solvers.showAvailableConstraintsCleaningStrategies(ICDCLLogger logger)
static void	Solvers.showAvailableLearning(ICDCLLogger logger)
static void	Solvers.showAvailableOrders(ICDCLLogger logger)
static void	Solvers.showAvailablePhase(ICDCLLogger logger)
static void	Solvers.showAvailableRestarts(ICDCLLogger logger)
static <T extends ISolver> void	Solvers.showAvailableSolvers(ASolverFactory<T> afactory, ICDCLLogger logger)
static <T extends ISolver> void	Solvers.showAvailableSolvers(ASolverFactory<T> afactory, String framework, ICDCLLogger logger)
static void	Solvers.showParams(ICDCLLogger logger)
static void	Solvers.showSimplifiers(ICDCLLogger logger)
static void	Solvers.stringUsage(ICDCLLogger logger)
static void	Solvers.usage(ICDCLLogger logger)

Constructors in org.sat4j.sat with parameters of type ICDCLLogger

RemoteControlStrategy(ICDCLLogger log)

Uses of ICDCLLogger in org.sat4j.sat.visu

Constructors in org.sat4j.sat.visu with parameters of type ICDCLLogger

GnuplotBasedSolverVisualisation(VisuPreferences visuPref, int nbVar, String path, ICDCLLogger logger)