public static enum SatParameters.ConflictMinimizationAlgorithm extends java.lang.Enum<SatParameters.ConflictMinimizationAlgorithm> implements com.google.protobuf.ProtocolMessageEnum
Do we try to minimize conflicts (greedily) when creating them.Protobuf enum
operations_research.sat.SatParameters.ConflictMinimizationAlgorithm
Enum Constant and Description |
---|
EXPERIMENTAL
EXPERIMENTAL = 3; |
NONE
NONE = 0; |
RECURSIVE
RECURSIVE = 2; |
SIMPLE
SIMPLE = 1; |
Modifier and Type | Field and Description |
---|---|
static int |
EXPERIMENTAL_VALUE
EXPERIMENTAL = 3; |
static int |
NONE_VALUE
NONE = 0; |
static int |
RECURSIVE_VALUE
RECURSIVE = 2; |
static int |
SIMPLE_VALUE
SIMPLE = 1; |
Modifier and Type | Method and Description |
---|---|
static SatParameters.ConflictMinimizationAlgorithm |
forNumber(int value) |
static com.google.protobuf.Descriptors.EnumDescriptor |
getDescriptor() |
com.google.protobuf.Descriptors.EnumDescriptor |
getDescriptorForType() |
int |
getNumber() |
com.google.protobuf.Descriptors.EnumValueDescriptor |
getValueDescriptor() |
static com.google.protobuf.Internal.EnumLiteMap<SatParameters.ConflictMinimizationAlgorithm> |
internalGetValueMap() |
static SatParameters.ConflictMinimizationAlgorithm |
valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc) |
static SatParameters.ConflictMinimizationAlgorithm |
valueOf(int value)
Deprecated.
Use
forNumber(int) instead. |
static SatParameters.ConflictMinimizationAlgorithm |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static SatParameters.ConflictMinimizationAlgorithm[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final SatParameters.ConflictMinimizationAlgorithm NONE
NONE = 0;
public static final SatParameters.ConflictMinimizationAlgorithm SIMPLE
SIMPLE = 1;
public static final SatParameters.ConflictMinimizationAlgorithm RECURSIVE
RECURSIVE = 2;
public static final SatParameters.ConflictMinimizationAlgorithm EXPERIMENTAL
EXPERIMENTAL = 3;
public static final int NONE_VALUE
NONE = 0;
public static final int SIMPLE_VALUE
SIMPLE = 1;
public static final int RECURSIVE_VALUE
RECURSIVE = 2;
public static final int EXPERIMENTAL_VALUE
EXPERIMENTAL = 3;
public static SatParameters.ConflictMinimizationAlgorithm[] values()
for (SatParameters.ConflictMinimizationAlgorithm c : SatParameters.ConflictMinimizationAlgorithm.values()) System.out.println(c);
public static SatParameters.ConflictMinimizationAlgorithm valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is nullpublic final int getNumber()
getNumber
in interface com.google.protobuf.Internal.EnumLite
getNumber
in interface com.google.protobuf.ProtocolMessageEnum
@Deprecated public static SatParameters.ConflictMinimizationAlgorithm valueOf(int value)
forNumber(int)
instead.value
- The numeric wire value of the corresponding enum entry.public static SatParameters.ConflictMinimizationAlgorithm forNumber(int value)
value
- The numeric wire value of the corresponding enum entry.public static com.google.protobuf.Internal.EnumLiteMap<SatParameters.ConflictMinimizationAlgorithm> internalGetValueMap()
public final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
getValueDescriptor
in interface com.google.protobuf.ProtocolMessageEnum
public final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
getDescriptorForType
in interface com.google.protobuf.ProtocolMessageEnum
public static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
public static SatParameters.ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Copyright © 2025. All rights reserved.