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

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

Public Attributes

 NONE =(0)
 
 SIMPLE =(1)
 
 RECURSIVE =(2)
 
 EXPERIMENTAL =(3)
 

Static Public Attributes

static final int NONE_VALUE = 0
 
static final int SIMPLE_VALUE = 1
 
static final int RECURSIVE_VALUE = 2
 
static final int EXPERIMENTAL_VALUE = 3
 

Detailed Description

Do we try to minimize conflicts (greedily) when creating them.

Protobuf enum operations_research.sat.SatParameters.ConflictMinimizationAlgorithm

Definition at line 445 of file SatParameters.java.

Member Function Documentation

◆ forNumber()

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

◆ getDescriptor()

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

Definition at line 532 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 528 of file SatParameters.java.

◆ getNumber()

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

Definition at line 483 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 524 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 512 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 538 of file SatParameters.java.

◆ valueOf() [2/2]

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

Member Data Documentation

◆ EXPERIMENTAL

com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.EXPERIMENTAL =(3)

EXPERIMENTAL = 3;

Definition at line 462 of file SatParameters.java.

◆ EXPERIMENTAL_VALUE

final int com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.EXPERIMENTAL_VALUE = 3
static

EXPERIMENTAL = 3;

Definition at line 480 of file SatParameters.java.

◆ NONE

com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.NONE =(0)

NONE = 0;

Definition at line 450 of file SatParameters.java.

◆ NONE_VALUE

final int com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.NONE_VALUE = 0
static

NONE = 0;

Definition at line 468 of file SatParameters.java.

◆ RECURSIVE

com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE =(2)

RECURSIVE = 2;

Definition at line 458 of file SatParameters.java.

◆ RECURSIVE_VALUE

final int com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE_VALUE = 2
static

RECURSIVE = 2;

Definition at line 476 of file SatParameters.java.

◆ SIMPLE

com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.SIMPLE =(1)

SIMPLE = 1;

Definition at line 454 of file SatParameters.java.

◆ SIMPLE_VALUE

final int com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.SIMPLE_VALUE = 1
static

SIMPLE = 1;

Definition at line 472 of file SatParameters.java.

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