Uses of Class
org.sat4j.Lanceur.ExitCode

Packages that use Lanceur.ExitCode

org.sat4j

Contain a command line launcher for the SAT solvers.

Uses of Lanceur.ExitCode in org.sat4j

Methods in org.sat4j that return Lanceur.ExitCode

static Lanceur.ExitCode	Lanceur.ExitCode.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static Lanceur.ExitCode[]	Lanceur.ExitCode.values() Returns an array containing the constants of this enum type, in the order they're declared.