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.SatParameters.MaxSatStratificationAlgorithm Enum Reference
Inheritance diagram for com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm:

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 MaxSatStratificationAlgorithm valueOf (int value)
 
static MaxSatStratificationAlgorithm forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap ()
 
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ()
 
static MaxSatStratificationAlgorithm valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)
 

Public Attributes

 STRATIFICATION_NONE =(0)
 
 STRATIFICATION_DESCENT =(1)
 
 STRATIFICATION_ASCENT =(2)
 

Static Public Attributes

static final int STRATIFICATION_NONE_VALUE = 0
 
static final int STRATIFICATION_DESCENT_VALUE = 1
 
static final int STRATIFICATION_ASCENT_VALUE = 2
 

Detailed Description

What stratification algorithm we use in the presence of weight.

Protobuf enum operations_research.sat.SatParameters.MaxSatStratificationAlgorithm

Definition at line 1215 of file SatParameters.java.

Member Function Documentation

◆ forNumber()

static MaxSatStratificationAlgorithm com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.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 1295 of file SatParameters.java.

◆ getDescriptor()

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

Definition at line 1325 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 1321 of file SatParameters.java.

◆ getNumber()

final int com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.getNumber ( )

Definition at line 1277 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 1317 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 1305 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 1331 of file SatParameters.java.

◆ valueOf() [2/2]

static MaxSatStratificationAlgorithm com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.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 1287 of file SatParameters.java.

Member Data Documentation

◆ STRATIFICATION_ASCENT

com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_ASCENT =(2) 
Start with all literals. Each time a core is found with a given minimum
weight, do not consider literals with a lower weight for the next core
computation. If the subproblem is SAT, do like in STRATIFICATION_DESCENT
and just add the literals with the next highest weight.

STRATIFICATION_ASCENT = 2;

Definition at line 1244 of file SatParameters.java.

◆ STRATIFICATION_ASCENT_VALUE

final int com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_ASCENT_VALUE = 2
static 
Start with all literals. Each time a core is found with a given minimum
weight, do not consider literals with a lower weight for the next core
computation. If the subproblem is SAT, do like in STRATIFICATION_DESCENT
and just add the literals with the next highest weight.

STRATIFICATION_ASCENT = 2;

Definition at line 1274 of file SatParameters.java.

◆ STRATIFICATION_DESCENT

com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT =(1) 
Start with literals with the highest weight, and when SAT, add the
literals with the next highest weight and so on.

STRATIFICATION_DESCENT = 1;

Definition at line 1233 of file SatParameters.java.

◆ STRATIFICATION_DESCENT_VALUE

final int com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT_VALUE = 1
static 
Start with literals with the highest weight, and when SAT, add the
literals with the next highest weight and so on.

STRATIFICATION_DESCENT = 1;

Definition at line 1263 of file SatParameters.java.

◆ STRATIFICATION_NONE

com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_NONE =(0) 
No stratification of the problem.

STRATIFICATION_NONE = 0;

Definition at line 1224 of file SatParameters.java.

◆ STRATIFICATION_NONE_VALUE

final int com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_NONE_VALUE = 0
static 
No stratification of the problem.

STRATIFICATION_NONE = 0;

Definition at line 1254 of file SatParameters.java.

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