The status returned by a solver trying to solve a CpModelProto.
Protobuf enum
operations_research.sat.CpSolverStatus
Definition at line 13 of file CpSolverStatus.java.
◆ forNumber()
- Parameters
-
| value | The numeric wire value of the corresponding enum entry. |
- Returns
- The enum associated with the given numeric wire value.
Definition at line 142 of file CpSolverStatus.java.
◆ getDescriptor()
| static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor |
( |
| ) |
|
|
inlinestatic |
◆ getDescriptorForType()
| final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType |
( |
| ) |
|
|
inline |
◆ getNumber()
◆ getValueDescriptor()
| final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor |
( |
| ) |
|
|
inline |
◆ internalGetValueMap()
| static com.google.protobuf.Internal.EnumLiteMap<CpSolverStatus> internalGetValueMap |
( |
| ) |
|
|
inlinestatic |
◆ valueOf() [1/2]
| static CpSolverStatus valueOf |
( |
com.google.protobuf.Descriptors.EnumValueDescriptor |
desc | ) |
|
|
inlinestatic |
◆ valueOf() [2/2]
◆ FEASIBLE
A feasible solution as been found. But the search was stopped before we
could prove optimality or before we enumerated all solutions of a
feasibility problem (if asked).
FEASIBLE = 2;
Definition at line 42 of file CpSolverStatus.java.
◆ FEASIBLE_VALUE
| final int FEASIBLE_VALUE = 2 |
|
static |
A feasible solution as been found. But the search was stopped before we
could prove optimality or before we enumerated all solutions of a
feasibility problem (if asked).
FEASIBLE = 2;
Definition at line 95 of file CpSolverStatus.java.
◆ INFEASIBLE
The problem has been proven infeasible.
INFEASIBLE = 3;
Definition at line 50 of file CpSolverStatus.java.
◆ INFEASIBLE_VALUE
| final int INFEASIBLE_VALUE = 3 |
|
static |
◆ MODEL_INVALID
The given CpModelProto didn't pass the validation step. You can get a
detailed error by calling ValidateCpModel(model_proto).
MODEL_INVALID = 1;
Definition at line 32 of file CpSolverStatus.java.
◆ MODEL_INVALID_VALUE
| final int MODEL_INVALID_VALUE = 1 |
|
static |
The given CpModelProto didn't pass the validation step. You can get a
detailed error by calling ValidateCpModel(model_proto).
MODEL_INVALID = 1;
Definition at line 85 of file CpSolverStatus.java.
◆ OPTIMAL
An optimal feasible solution has been found.
More generally, this status represent a success. So we also return OPTIMAL
if we find a solution for a pure feasiblity problem or if a gap limit has
been specified and we return a solution within this limit. In the case
where we need to return all the feasible solution, this status will only be
returned if we enumerated all of them; If we stopped before, we will return
FEASIBLE.
OPTIMAL = 4;
Definition at line 64 of file CpSolverStatus.java.
◆ OPTIMAL_VALUE
| final int OPTIMAL_VALUE = 4 |
|
static |
An optimal feasible solution has been found.
More generally, this status represent a success. So we also return OPTIMAL
if we find a solution for a pure feasiblity problem or if a gap limit has
been specified and we return a solution within this limit. In the case
where we need to return all the feasible solution, this status will only be
returned if we enumerated all of them; If we stopped before, we will return
FEASIBLE.
OPTIMAL = 4;
Definition at line 117 of file CpSolverStatus.java.
◆ UNKNOWN
The status of the model is still unknown. A search limit has been reached
before any of the statuses below could be determined.
UNKNOWN = 0;
Definition at line 23 of file CpSolverStatus.java.
◆ UNKNOWN_VALUE
| final int UNKNOWN_VALUE = 0 |
|
static |
The status of the model is still unknown. A search limit has been reached
before any of the statuses below could be determined.
UNKNOWN = 0;
Definition at line 76 of file CpSolverStatus.java.
◆ UNRECOGNIZED
The documentation for this enum was generated from the following file: