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–2021 JBoss by Red Hat. All rights reserved.