org.sat4j
Class AbstractLauncher

java.lang.Object
  org.sat4j.AbstractLauncher

Direct Known Subclasses:

CSPLauncher, Lanceur, LanceurPseudo2005

public abstract class AbstractLauncher
extends java.lang.Object

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.PrintStream	getLogStream()
Reader	getReader()
void	run(java.lang.String[] args)
void	setExitCode(ExitCode exitCode) Change the value of the exit code in the Launcher
void	setLogStream(java.io.PrintStream 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

setLogStream

public void setLogStream(java.io.PrintStream out)

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

Parameters:

out -

getLogStream

public java.io.PrintStream getLogStream()