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

Fields

Modifier and Type	Field and Description
static ExitCode	OPTIMUM_FOUND
static ExitCode	SATISFIABLE
static ExitCode	UNKNOWN
static ExitCode	UNSATISFIABLE
static ExitCode	UPPER_BOUND

Method Summary

Methods

Modifier and Type	Method and Description
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.