Java Reference

Java Reference

Detailed Description

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

Protobuf enum

operations_research.sat.SatParameters.ConflictMinimizationAlgorithm

Definition at line 1411 of file SatParameters.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 ConflictMinimizationAlgorithm valueOf (int value)
 
static ConflictMinimizationAlgorithm forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithminternalGetValueMap ()
 
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ()
 
static ConflictMinimizationAlgorithm valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)
 

Public Attributes

 NONE =(0)
 NONE = 0; More...
 
 SIMPLE =(1)
 SIMPLE = 1; More...
 
 RECURSIVE =(2)
 RECURSIVE = 2; More...
 
 EXPERIMENTAL =(3)
 EXPERIMENTAL = 3; More...
 

Static Public Attributes

static final int NONE_VALUE = 0
 NONE = 0; More...
 
static final int SIMPLE_VALUE = 1
 SIMPLE = 1; More...
 
static final int RECURSIVE_VALUE = 2
 RECURSIVE = 2; More...
 
static final int EXPERIMENTAL_VALUE = 3
 EXPERIMENTAL = 3; More...
 

Member Function Documentation

◆ forNumber()

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

◆ getDescriptor()

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

Definition at line 1498 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 1494 of file SatParameters.java.

◆ getNumber()

final int getNumber ( )

Definition at line 1449 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 1490 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 1478 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 1504 of file SatParameters.java.

◆ valueOf() [2/2]

.lang.Deprecated static 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 1459 of file SatParameters.java.

Member Data Documentation

◆ EXPERIMENTAL

EXPERIMENTAL =(3)

EXPERIMENTAL = 3;

Definition at line 1428 of file SatParameters.java.

◆ EXPERIMENTAL_VALUE

final int EXPERIMENTAL_VALUE = 3
static

EXPERIMENTAL = 3;

Definition at line 1446 of file SatParameters.java.

◆ NONE

NONE =(0)

NONE = 0;

Definition at line 1416 of file SatParameters.java.

◆ NONE_VALUE

final int NONE_VALUE = 0
static

NONE = 0;

Definition at line 1434 of file SatParameters.java.

◆ RECURSIVE

RECURSIVE =(2)

RECURSIVE = 2;

Definition at line 1424 of file SatParameters.java.

◆ RECURSIVE_VALUE

final int RECURSIVE_VALUE = 2
static

RECURSIVE = 2;

Definition at line 1442 of file SatParameters.java.

◆ SIMPLE

SIMPLE =(1)

SIMPLE = 1;

Definition at line 1420 of file SatParameters.java.

◆ SIMPLE_VALUE

final int SIMPLE_VALUE = 1
static

SIMPLE = 1;

Definition at line 1438 of file SatParameters.java.


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