Java Reference

Java Reference

Detailed Description

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.

Public Member Functions

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

Static Public Member Functions

.lang.Deprecated static CpSolverStatus valueOf (int value)
 
static CpSolverStatus forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< CpSolverStatusinternalGetValueMap ()
 
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
 

Member Function Documentation

◆ forNumber()

static 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 142 of file CpSolverStatus.java.

◆ getDescriptor()

static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ( )
static

Definition at line 178 of file CpSolverStatus.java.

◆ getDescriptorForType()

final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType ( )

Definition at line 174 of file CpSolverStatus.java.

◆ getNumber()

final int getNumber ( )

Definition at line 120 of file CpSolverStatus.java.

◆ getValueDescriptor()

final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor ( )

Definition at line 166 of file CpSolverStatus.java.

◆ internalGetValueMap()

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

Definition at line 154 of file CpSolverStatus.java.

◆ valueOf() [1/2]

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

Definition at line 184 of file CpSolverStatus.java.

◆ valueOf() [2/2]

.lang.Deprecated static 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 134 of file CpSolverStatus.java.

Member Data Documentation

◆ FEASIBLE

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 42 of file CpSolverStatus.java.

◆ FEASIBLE_VALUE

final int 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 95 of file CpSolverStatus.java.

◆ INFEASIBLE

INFEASIBLE =(3)
The problem has been proven infeasible.

INFEASIBLE = 3;

Definition at line 50 of file CpSolverStatus.java.

◆ INFEASIBLE_VALUE

final int INFEASIBLE_VALUE = 3
static
The problem has been proven infeasible.

INFEASIBLE = 3;

Definition at line 103 of file CpSolverStatus.java.

◆ MODEL_INVALID

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 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

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 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

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 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

UNRECOGNIZED =(-1)

Definition at line 65 of file CpSolverStatus.java.


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