Uses of Class

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 that return types with arguments of type ExitCode
static java.util.Map<java.lang.String,ExitCode> ResultsManager.getInformations( 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( path)

Methods in org.sat4j with parameters of type ExitCode
 ResultCode 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