Uses of Class
org.sat4j.ResultCode

Packages that use ResultCode

org.sat4j

Contain a command line launcher for the SAT solvers.

Uses of ResultCode in org.sat4j

Methods in org.sat4j that return ResultCode

ResultCode	ResultsManager.compare(java.lang.String fileName, ExitCode newCode)
static ResultCode	ResultCode.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static ResultCode[]	ResultCode.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in org.sat4j with parameters of type ResultCode

static java.lang.String

ResultsManager.printLine(java.lang.String fileName, ExitCode exitCode, ResultCode resultCode)