Uses of Class
org.sat4j.ExitCode

Packages that use ExitCode

org.sat4j

Contain a command line launcher for the SAT solvers.

Uses of ExitCode in org.sat4j

Methods in org.sat4j that return ExitCode

ExitCode	AbstractLauncher.getExitCode() Get the value of the ExitCode
static ExitCode	ExitCode.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static ExitCode[]	ExitCode.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in org.sat4j that return types with arguments of type ExitCode

static java.util.Map<java.lang.String,ExitCode>	ResultsManager.getInformations(java.io.Reader in)
static java.util.Map<java.lang.String,ExitCode>	ResultsManager.getInformations(java.lang.String path)
static java.util.Map<java.lang.String,ExitCode>	ResultsManager.getInformations(java.net.URL path)

Methods in org.sat4j with parameters of type ExitCode

ResultCode	ResultsManager.compare(java.lang.String fileName, ExitCode newCode)
static java.lang.String	ResultsManager.printLine(java.lang.String fileName, ExitCode exitCode, ResultCode resultCode)
void	AbstractLauncher.setExitCode(ExitCode exitCode) Change the value of the exit code in the Launcher