org.sat4j
Class AbstractLauncher

java.lang.Object
  org.sat4j.AbstractLauncher

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

AbstractOptimizationLauncher, CSPLauncher, Lanceur

public abstract class AbstractLauncher
extends java.lang.Object
implements java.io.Serializable

That class is used by launchers used to solve decision problems, i.e. problems with YES/NO/UNKNOWN answers.

Author:

leberre

See Also:

Serialized Form

Field Summary

static java.lang.String	ANSWER_PREFIX
static java.lang.String	COMMENT_PREFIX
static java.lang.String	SOLUTION_PREFIX

Method Summary

long	getBeginTime() Obtaining the current time spent since the beginning of the solving process.
ExitCode	getExitCode() Get the value of the ExitCode
java.io.PrintWriter	getLogWriter()
Reader	getReader()
void	run(java.lang.String[] args)
void	setExitCode(ExitCode exitCode) Change the value of the exit code in the Launcher
void	setLogWriter(java.io.PrintWriter out) To change the output stream on which statistics are displayed.

Methods inherited from class java.lang.Object

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

Field Detail

SOLUTION_PREFIX

public static final java.lang.String SOLUTION_PREFIX

See Also:

Constant Field Values

ANSWER_PREFIX

public static final java.lang.String ANSWER_PREFIX

See Also:

Constant Field Values

COMMENT_PREFIX

public static final java.lang.String COMMENT_PREFIX

See Also:

Constant Field Values

Method Detail

run

public void run(java.lang.String[] args)

setExitCode

public final void setExitCode(ExitCode exitCode)

Change the value of the exit code in the Launcher

Parameters:

exitCode - the new ExitCode

getExitCode

public final ExitCode getExitCode()

Get the value of the ExitCode

Returns:

the current value of the Exitcode

getBeginTime

public final long getBeginTime()

Obtaining the current time spent since the beginning of the solving process.

Returns:

the time signature at the beginning of the run() method.

getReader

public final Reader getReader()

Returns:

the reader used to parse the instance

setLogWriter

public void setLogWriter(java.io.PrintWriter out)

To change the output stream on which statistics are displayed. By default, the solver displays everything on System.out.

Parameters:

out -

getLogWriter

public java.io.PrintWriter getLogWriter()