org.sat4j

Class AbstractOptimizationLauncher

java.lang.Object

org.sat4j.AbstractLauncher

org.sat4j.AbstractOptimizationLauncher

All Implemented Interfaces:

Serializable, ILogAble

Deprecated.

@Deprecated
public abstract class AbstractOptimizationLauncher
extends AbstractLauncher

This class is intended to be used by launchers to solve optimization problems, i.e. problems for which a loop is needed to find the optimal solution. This class is no longer used since 2.3.3

Author:

leberre

See Also:

ILauncherMode, Serialized Form

Field Summary

Fields inherited from class org.sat4j.AbstractLauncher

beginTime, COMMENT_PREFIX, exitCode, out, prime, problem, reader, shutdownHook, silent, solver

Fields inherited from interface org.sat4j.specs.ILogAble

CONSOLE

Constructor Summary

Constructors

Constructor and Description
AbstractOptimizationLauncher() Deprecated.

Method Summary

Methods

Modifier and Type	Method and Description
protected void	displayAnswer() Deprecated.
protected void	displayResult() Deprecated.
protected void	setDisplaySolutionLine(boolean value) Deprecated. To change the display so that solution line appears or not.
protected void	setIncomplete(boolean value) Deprecated.
protected void	solve(IProblem problem) Deprecated.

Methods inherited from class org.sat4j.AbstractLauncher

configureSolver, createReader, displayHeader, displayLicense, getBeginTime, getExitCode, getInstanceName, getLogWriter, getReader, log, readProblem, run, setExitCode, setLauncherMode, setLogWriter, setSilent, showAvailableSolvers, showAvailableSolvers, usage

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractOptimizationLauncher

public AbstractOptimizationLauncher()

Deprecated.

Method Detail

setIncomplete

protected void setIncomplete(boolean value)

Deprecated.

Overrides:

setIncomplete in class AbstractLauncher

setDisplaySolutionLine

protected void setDisplaySolutionLine(boolean value)

Deprecated.

Description copied from class: AbstractLauncher

To change the display so that solution line appears or not. Recommended if solution is very large.

Overrides:

setDisplaySolutionLine in class AbstractLauncher

displayResult

protected void displayResult()

Deprecated.

Overrides:

displayResult in class AbstractLauncher

displayAnswer

protected void displayAnswer()

Deprecated.

solve

protected void solve(IProblem problem)
              throws TimeoutException

Deprecated.

Overrides:

solve in class AbstractLauncher

Throws:

TimeoutException