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're declared.

Methods in org.sat4j with parameters of type ExitCode

void	AbstractLauncher.setExitCode(ExitCode exitCode) Change the value of the exit code in the Launcher