org.sat4j
Class ExitCode

java.lang.Object
  org.sat4j.ExitCode

public final class ExitCode
extends Object

Enumeration allowing to manage easily exit code for the SAT and PB Competitions.

Author:

leberre

Field Summary

static ExitCode	OPTIMUM_FOUND
static ExitCode	SATISFIABLE
static ExitCode	UNKNOWN
static ExitCode	UNSATISFIABLE
static ExitCode	UPPER_BOUND

Method Summary

String	toString()
int	value()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

OPTIMUM_FOUND

public static final ExitCode OPTIMUM_FOUND

UPPER_BOUND

public static final ExitCode UPPER_BOUND

SATISFIABLE

public static final ExitCode SATISFIABLE

UNKNOWN

public static final ExitCode UNKNOWN

UNSATISFIABLE

public static final ExitCode UNSATISFIABLE

Method Detail

value

public int value()

Returns:

the exit code value

toString

public String toString()

Overrides:

toString in class Object

Returns:

the name of the enum or the alternative textual representation if any.