public final class ExitCode
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static ExitCode |
OPTIMUM_FOUND |
static ExitCode |
SATISFIABLE |
static ExitCode |
UNKNOWN |
static ExitCode |
UNSATISFIABLE |
static ExitCode |
UPPER_BOUND |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
int |
value() |