org.sat4j
Class ExitCode

java.lang.Object
  org.sat4j.ExitCode

public class ExitCode
extends java.lang.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

Method Summary

java.lang.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

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 java.lang.String toString()

Overrides:

toString in class java.lang.Object

Returns:

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