Deprecated API

Contents

• Deprecated Methods

Deprecated Methods

Method and Description
org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.calculateObjective()
org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.discard()
org.sat4j.pb.ObjectiveFunction.getCorrection()
org.sat4j.pb.CardConstrLearningSolverLauncher.main(String[])
org.sat4j.pb.tools.PreprocCardConstrLearningSolver.printStat(PrintStream, String)
org.sat4j.pb.tools.PreprocCardConstrLearningSolver.printStat(PrintWriter, String)
org.sat4j.pb.ObjectiveFunction.setCorrection(BigInteger)