Google OR-Tools v9.9
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Public Attributes | Static Public Attributes | List of all members
com.google.ortools.sat.CpSolverStatus Enum Reference
Inheritance diagram for com.google.ortools.sat.CpSolverStatus:

Public Member Functions

final int getNumber ()
 
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor ()
 
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType ()
 

Static Public Member Functions

static CpSolverStatus valueOf (int value)
 
static CpSolverStatus forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< CpSolverStatus > internalGetValueMap ()
 
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ()
 
static CpSolverStatus valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)
 

Public Attributes

 UNKNOWN =(0)
 
 MODEL_INVALID =(1)
 
 FEASIBLE =(2)
 
 INFEASIBLE =(3)
 
 OPTIMAL =(4)
 
 UNRECOGNIZED =(-1)
 

Static Public Attributes

static final int UNKNOWN_VALUE = 0
 
static final int MODEL_INVALID_VALUE = 1
 
static final int FEASIBLE_VALUE = 2
 
static final int INFEASIBLE_VALUE = 3
 
static final int OPTIMAL_VALUE = 4
 

Detailed Description

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.

Member Function Documentation

◆ forNumber()

static CpSolverStatus com.google.ortools.sat.CpSolverStatus.forNumber ( int value)
static
Parameters
valueThe numeric wire value of the corresponding enum entry.
Returns
The enum associated with the given numeric wire value.

Definition at line 145 of file CpSolverStatus.java.

◆ getDescriptor()

static final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.CpSolverStatus.getDescriptor ( )
static

Definition at line 181 of file CpSolverStatus.java.

◆ getDescriptorForType()

final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.CpSolverStatus.getDescriptorForType ( )

Definition at line 177 of file CpSolverStatus.java.

◆ getNumber()

final int com.google.ortools.sat.CpSolverStatus.getNumber ( )

Definition at line 123 of file CpSolverStatus.java.

◆ getValueDescriptor()

final com.google.protobuf.Descriptors.EnumValueDescriptor com.google.ortools.sat.CpSolverStatus.getValueDescriptor ( )

Definition at line 169 of file CpSolverStatus.java.

◆ internalGetValueMap()

static com.google.protobuf.Internal.EnumLiteMap< CpSolverStatus > com.google.ortools.sat.CpSolverStatus.internalGetValueMap ( )
static

Definition at line 157 of file CpSolverStatus.java.

◆ valueOf() [1/2]

static CpSolverStatus com.google.ortools.sat.CpSolverStatus.valueOf ( com.google.protobuf.Descriptors.EnumValueDescriptor desc)
static

Definition at line 187 of file CpSolverStatus.java.

◆ valueOf() [2/2]

static CpSolverStatus com.google.ortools.sat.CpSolverStatus.valueOf ( int value)
static
Parameters
valueThe numeric wire value of the corresponding enum entry.
Returns
The enum associated with the given numeric wire value.
Deprecated
Use forNumber(int) instead.

Definition at line 137 of file CpSolverStatus.java.

Member Data Documentation

◆ 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 97 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 
The problem has been proven infeasible.

INFEASIBLE = 3;

Definition at line 105 of file CpSolverStatus.java.

◆ 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 87 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 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 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 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 120 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 78 of file CpSolverStatus.java.

◆ UNRECOGNIZED

com.google.ortools.sat.CpSolverStatus.UNRECOGNIZED =(-1)

Definition at line 67 of file CpSolverStatus.java.

The documentation for this enum was generated from the following file: