Deprecated API

Contents

• Deprecated Classes
• Deprecated Methods

Deprecated Classes

Class and Description
org.sat4j.AbstractOptimizationLauncher
org.sat4j.sat.Lanceur

Deprecated Methods

Method and Description
org.sat4j.specs.IOptimizationProblem.calculateObjective()
org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.calculateObjective()
org.sat4j.reader.CSPInstanceReader.decode(int[])
org.sat4j.reader.InstanceReader.decode(int[])
org.sat4j.reader.JSONReader.decode(int[])
org.sat4j.reader.Reader.decode(int[])
org.sat4j.specs.IOptimizationProblem.discard()
org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.discard()
org.sat4j.minisat.core.Constr.forwardActivity(double)
org.sat4j.specs.ISolver.newVar()
org.sat4j.minisat.core.Solver.newVar()
org.sat4j.tools.StatisticsSolver.newVar()
org.sat4j.tools.SolverDecorator.newVar()
org.sat4j.minisat.core.RestartStrategy.nextRestartNumberOfConflict()
org.sat4j.minisat.restarts.FixedPeriodRestarts.nextRestartNumberOfConflict()
org.sat4j.sat.RemoteControlStrategy.nextRestartNumberOfConflict()
org.sat4j.reader.Reader.parseInstance(Reader)
org.sat4j.specs.IProblem.printInfos(PrintWriter, String)
org.sat4j.tools.StatisticsSolver.printInfos(PrintWriter, String)
org.sat4j.specs.ISolver.printStat(PrintStream, String)
org.sat4j.tools.ManyCore.printStat(PrintStream, String)
org.sat4j.tools.StatisticsSolver.printStat(PrintStream, String)
org.sat4j.tools.SolverDecorator.printStat(PrintStream, String)
org.sat4j.specs.ISolver.printStat(PrintWriter, String) using the prefix does no longer makes sense because the solver owns it.
org.sat4j.tools.StatisticsSolver.printStat(PrintWriter, String)
org.sat4j.minisat.core.ICDCL.setLearner(LearningStrategy) renamed into setLearningStrategy()