org.sat4j
Enum ExitCode
java.lang.Object
java.lang.Enum<ExitCode>
org.sat4j.ExitCode
- All Implemented Interfaces:
- java.io.Serializable, java.lang.Comparable<ExitCode>
public enum ExitCode
- extends java.lang.Enum<ExitCode>
Enumeration allowing to manage easily exit code for the SAT and PB
Competitions.
- Author:
- leberre
Method Summary |
java.lang.String |
toString()
|
int |
value()
|
static ExitCode |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static ExitCode[] |
values()
Returns an array containing the constants of this enum type, in
the order they're declared. |
Methods inherited from class java.lang.Enum |
compareTo, equals, getDeclaringClass, hashCode, name, ordinal, valueOf |
Methods inherited from class java.lang.Object |
getClass, notify, notifyAll, wait, wait, wait |
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
values
public static final ExitCode[] values()
- Returns an array containing the constants of this enum type, in
the order they're declared. This method may be used to iterate
over the constants as follows:
for(ExitCode c : ExitCode.values())
System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in
the order they're declared
valueOf
public static ExitCode valueOf(java.lang.String name)
- Returns the enum constant of this type with the specified name.
The string must match exactly an identifier used to declare an
enum constant in this type. (Extraneous whitespace characters are
not permitted.)
- Parameters:
name
- the name of the enum constant to be returned.
- Returns:
- the enum constant with the specified name
- Throws:
java.lang.IllegalArgumentException
- if this enum type has no constant
with the specified name
value
public int value()
- Returns:
- the exit code value
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Enum<ExitCode>
- Returns:
- the name of the enum or the alternative textual
representation if any.