public enum SolverStatus extends Enum<SolverStatus>
problem submitted to the SolverManager.
Retrieve this status with SolverManager.getSolverStatus(Object) or SolverJob.getSolverStatus().| Enum Constant and Description |
|---|
NOT_SOLVING
The problem's solving has terminated or the problem was never submitted to the
SolverManager. |
SOLVING_ACTIVE
A solver thread started solving the problem, but hasn't finished yet.
|
SOLVING_SCHEDULED
No solver thread started solving this problem yet, but sooner or later a solver thread will solve it.
|
| Modifier and Type | Method and Description |
|---|---|
static SolverStatus |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static SolverStatus[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final SolverStatus SOLVING_SCHEDULED
For example, submitting 7 problems to a SolverManager
with a SolverManagerConfig.getParallelSolverCount() of 4,
puts 3 into this state for non-trivial amount of time.
Transitions into SOLVING_ACTIVE (or NOT_SOLVING if it is
terminated early, before it starts).
public static final SolverStatus SOLVING_ACTIVE
If CPU resource are scarce and that solver thread is waiting for CPU time, the state doesn't change, it's still considered solving active.
Transitions into NOT_SOLVING when terminated.
public static final SolverStatus NOT_SOLVING
SolverManager.
SolverManager.getSolverStatus(Object) cannot tell the difference,
but SolverJob.getSolverStatus() can.public static SolverStatus[] values()
for (SolverStatus c : SolverStatus.values()) System.out.println(c);
public static SolverStatus valueOf(String name)
name - the name of the enum constant to be returned.IllegalArgumentException - if this enum type has no constant with the specified nameNullPointerException - if the argument is nullCopyright © 2006–2020 JBoss by Red Hat. All rights reserved.