The status returned by a solver trying to solve a CpModelProto.
Protobuf enum operations_research.sat.CpSolverStatus
Definition at line 14 of file CpSolverStatus.java.
◆ [static initializer]()
| com.google.ortools.sat.CpSolverStatus.[static initializer] |
|
static |
◆ forNumber()
| static CpSolverStatus com.google.ortools.sat.CpSolverStatus.forNumber |
( |
int | value | ) |
|
|
static |
- Parameters
-
| value | The numeric wire value of the corresponding enum entry. |
- Returns
- The enum associated with the given numeric wire value.
Definition at line 154 of file CpSolverStatus.java.
◆ getDescriptor()
| static final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.CpSolverStatus.getDescriptor |
( |
| ) |
|
|
static |
◆ getDescriptorForType()
| final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.CpSolverStatus.getDescriptorForType |
( |
| ) |
|
◆ getNumber()
| final int com.google.ortools.sat.CpSolverStatus.getNumber |
( |
| ) |
|
◆ getValueDescriptor()
| final com.google.protobuf.Descriptors.EnumValueDescriptor com.google.ortools.sat.CpSolverStatus.getValueDescriptor |
( |
| ) |
|
◆ internalGetValueMap()
| static com.google.protobuf.Internal.EnumLiteMap< CpSolverStatus > com.google.ortools.sat.CpSolverStatus.internalGetValueMap |
( |
| ) |
|
|
static |
◆ valueOf() [1/2]
| static CpSolverStatus com.google.ortools.sat.CpSolverStatus.valueOf |
( |
com.google.protobuf.Descriptors.EnumValueDescriptor | desc | ) |
|
|
static |
◆ valueOf() [2/2]
| static CpSolverStatus com.google.ortools.sat.CpSolverStatus.valueOf |
( |
int | value | ) |
|
|
static |
◆ FEASIBLE
| com.google.ortools.sat.CpSolverStatus.FEASIBLE =(2) |
A feasible solution has 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 43 of file CpSolverStatus.java.
◆ FEASIBLE_VALUE
| final int com.google.ortools.sat.CpSolverStatus.FEASIBLE_VALUE = 2 |
|
static |
A feasible solution has 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 106 of file CpSolverStatus.java.
◆ INFEASIBLE
| com.google.ortools.sat.CpSolverStatus.INFEASIBLE =(3) |
The problem has been proven infeasible.
INFEASIBLE = 3;
Definition at line 51 of file CpSolverStatus.java.
◆ INFEASIBLE_VALUE
| final int com.google.ortools.sat.CpSolverStatus.INFEASIBLE_VALUE = 3 |
|
static |
◆ MODEL_INVALID
| com.google.ortools.sat.CpSolverStatus.MODEL_INVALID =(1) |
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 33 of file CpSolverStatus.java.
◆ MODEL_INVALID_VALUE
| final int com.google.ortools.sat.CpSolverStatus.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 96 of file CpSolverStatus.java.
◆ OPTIMAL
| com.google.ortools.sat.CpSolverStatus.OPTIMAL =(4) |
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 feasibility 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 66 of file CpSolverStatus.java.
◆ OPTIMAL_VALUE
| final int com.google.ortools.sat.CpSolverStatus.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 feasibility 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 129 of file CpSolverStatus.java.
◆ UNKNOWN
| com.google.ortools.sat.CpSolverStatus.UNKNOWN =(0) |
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 24 of file CpSolverStatus.java.
◆ UNKNOWN_VALUE
| final int com.google.ortools.sat.CpSolverStatus.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 87 of file CpSolverStatus.java.
◆ UNRECOGNIZED
| com.google.ortools.sat.CpSolverStatus.UNRECOGNIZED =(-1) |
The documentation for this enum was generated from the following file:
1.12.0