public static enum DecisionStrategyProto.VariableSelectionStrategy extends java.lang.Enum<DecisionStrategyProto.VariableSelectionStrategy> implements com.google.protobuf.ProtocolMessageEnum
The order in which the variables (resp. affine expression) above should be considered. Note that only variables that are not already fixed are considered. TODO(user): extend as needed.Protobuf enum
operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy
Enum Constant and Description |
---|
CHOOSE_FIRST
CHOOSE_FIRST = 0; |
CHOOSE_HIGHEST_MAX
CHOOSE_HIGHEST_MAX = 2; |
CHOOSE_LOWEST_MIN
CHOOSE_LOWEST_MIN = 1; |
CHOOSE_MAX_DOMAIN_SIZE
CHOOSE_MAX_DOMAIN_SIZE = 4; |
CHOOSE_MIN_DOMAIN_SIZE
CHOOSE_MIN_DOMAIN_SIZE = 3; |
UNRECOGNIZED |
Modifier and Type | Field and Description |
---|---|
static int |
CHOOSE_FIRST_VALUE
CHOOSE_FIRST = 0; |
static int |
CHOOSE_HIGHEST_MAX_VALUE
CHOOSE_HIGHEST_MAX = 2; |
static int |
CHOOSE_LOWEST_MIN_VALUE
CHOOSE_LOWEST_MIN = 1; |
static int |
CHOOSE_MAX_DOMAIN_SIZE_VALUE
CHOOSE_MAX_DOMAIN_SIZE = 4; |
static int |
CHOOSE_MIN_DOMAIN_SIZE_VALUE
CHOOSE_MIN_DOMAIN_SIZE = 3; |
Modifier and Type | Method and Description |
---|---|
static DecisionStrategyProto.VariableSelectionStrategy |
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<DecisionStrategyProto.VariableSelectionStrategy> |
internalGetValueMap() |
static DecisionStrategyProto.VariableSelectionStrategy |
valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc) |
static DecisionStrategyProto.VariableSelectionStrategy |
valueOf(int value)
Deprecated.
Use
forNumber(int) instead. |
static DecisionStrategyProto.VariableSelectionStrategy |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static DecisionStrategyProto.VariableSelectionStrategy[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final DecisionStrategyProto.VariableSelectionStrategy CHOOSE_FIRST
CHOOSE_FIRST = 0;
public static final DecisionStrategyProto.VariableSelectionStrategy CHOOSE_LOWEST_MIN
CHOOSE_LOWEST_MIN = 1;
public static final DecisionStrategyProto.VariableSelectionStrategy CHOOSE_HIGHEST_MAX
CHOOSE_HIGHEST_MAX = 2;
public static final DecisionStrategyProto.VariableSelectionStrategy CHOOSE_MIN_DOMAIN_SIZE
CHOOSE_MIN_DOMAIN_SIZE = 3;
public static final DecisionStrategyProto.VariableSelectionStrategy CHOOSE_MAX_DOMAIN_SIZE
CHOOSE_MAX_DOMAIN_SIZE = 4;
public static final DecisionStrategyProto.VariableSelectionStrategy UNRECOGNIZED
public static final int CHOOSE_FIRST_VALUE
CHOOSE_FIRST = 0;
public static final int CHOOSE_LOWEST_MIN_VALUE
CHOOSE_LOWEST_MIN = 1;
public static final int CHOOSE_HIGHEST_MAX_VALUE
CHOOSE_HIGHEST_MAX = 2;
public static final int CHOOSE_MIN_DOMAIN_SIZE_VALUE
CHOOSE_MIN_DOMAIN_SIZE = 3;
public static final int CHOOSE_MAX_DOMAIN_SIZE_VALUE
CHOOSE_MAX_DOMAIN_SIZE = 4;
public static DecisionStrategyProto.VariableSelectionStrategy[] values()
for (DecisionStrategyProto.VariableSelectionStrategy c : DecisionStrategyProto.VariableSelectionStrategy.values()) System.out.println(c);
public static DecisionStrategyProto.VariableSelectionStrategy 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 DecisionStrategyProto.VariableSelectionStrategy valueOf(int value)
forNumber(int)
instead.value
- The numeric wire value of the corresponding enum entry.public static DecisionStrategyProto.VariableSelectionStrategy forNumber(int value)
value
- The numeric wire value of the corresponding enum entry.public static com.google.protobuf.Internal.EnumLiteMap<DecisionStrategyProto.VariableSelectionStrategy> 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 DecisionStrategyProto.VariableSelectionStrategy valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Copyright © 2025. All rights reserved.