Uses of Class
org.sat4j.ExitCode

Packages that use ExitCode

Package	Description
org.sat4j	Contains a command line launcher for the SAT solvers.

Uses of ExitCode in org.sat4j

Fields in org.sat4j declared as ExitCode

Modifier and Type	Field and Description
protected ExitCode	AbstractLauncher.exitCode
static ExitCode	ExitCode.OPTIMUM_FOUND
static ExitCode	ExitCode.SATISFIABLE
static ExitCode	ExitCode.UNKNOWN
static ExitCode	ExitCode.UNSATISFIABLE
static ExitCode	ExitCode.UPPER_BOUND

Methods in org.sat4j that return ExitCode

Modifier and Type	Method and Description
ExitCode	ILauncherMode.getCurrentExitCode() Allow the launcher to get the current status of the problem: SAT, UNSAT, UPPER_BOUND, etc.
ExitCode	AbstractLauncher.getExitCode() Get the value of the ExitCode

Methods in org.sat4j with parameters of type ExitCode

Modifier and Type	Method and Description
void	ILauncherMode.setExitCode(ExitCode exitCode) Allow to set a specific exit code to the launcher (in case of trivial unsatisfiability for instance).
void	AbstractLauncher.setExitCode(ExitCode exitCode) Change the value of the exit code in the Launcher