Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm Enum Reference

Detailed Description

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

Protobuf enum operations_research.sat.SatParameters.ConflictMinimizationAlgorithm

Definition at line 510 of file SatParameters.java.

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

Public Attributes

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

Static Public Attributes

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

Member Function Documentation

◆ [static initializer]()

com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.[static initializer]
static

◆ forNumber()

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 567 of file SatParameters.java.

◆ getDescriptor()

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

Definition at line 597 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 593 of file SatParameters.java.

◆ getNumber()

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

Definition at line 549 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 589 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 577 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 603 of file SatParameters.java.

◆ valueOf() [2/2]

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 559 of file SatParameters.java.

Member Data Documentation

◆ NONE

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

NONE = 0;

Definition at line 515 of file SatParameters.java.

◆ NONE_VALUE

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

NONE = 0;

Definition at line 538 of file SatParameters.java.

◆ RECURSIVE

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

RECURSIVE = 2;

Definition at line 523 of file SatParameters.java.

◆ RECURSIVE_VALUE

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

RECURSIVE = 2;

Definition at line 546 of file SatParameters.java.

◆ SIMPLE

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

SIMPLE = 1;

Definition at line 519 of file SatParameters.java.

◆ SIMPLE_VALUE

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

SIMPLE = 1;

Definition at line 542 of file SatParameters.java.

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