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_SOLVINGThe problem's solving has terminated or the problem was never submitted to the  SolverManager. | 
| SOLVING_ACTIVEA solver thread started solving the problem, but hasn't finished yet. | 
| SOLVING_SCHEDULEDNo 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.