public static enum DecisionStrategyProto.DomainReductionStrategy extends java.lang.Enum<DecisionStrategyProto.DomainReductionStrategy> implements com.google.protobuf.ProtocolMessageEnum
Once a variable (resp. affine expression) has been chosen, this enum describe what decision is taken on its domain. TODO(user): extend as needed.Protobuf enum
operations_research.sat.DecisionStrategyProto.DomainReductionStrategy
Enum Constant and Description |
---|
SELECT_LOWER_HALF
SELECT_LOWER_HALF = 2; |
SELECT_MAX_VALUE
SELECT_MAX_VALUE = 1; |
SELECT_MEDIAN_VALUE
SELECT_MEDIAN_VALUE = 4; |
SELECT_MIN_VALUE
SELECT_MIN_VALUE = 0; |
SELECT_RANDOM_HALF
SELECT_RANDOM_HALF = 5; |
SELECT_UPPER_HALF
SELECT_UPPER_HALF = 3; |
UNRECOGNIZED |
Modifier and Type | Field and Description |
---|---|
static int |
SELECT_LOWER_HALF_VALUE
SELECT_LOWER_HALF = 2; |
static int |
SELECT_MAX_VALUE_VALUE
SELECT_MAX_VALUE = 1; |
static int |
SELECT_MEDIAN_VALUE_VALUE
SELECT_MEDIAN_VALUE = 4; |
static int |
SELECT_MIN_VALUE_VALUE
SELECT_MIN_VALUE = 0; |
static int |
SELECT_RANDOM_HALF_VALUE
SELECT_RANDOM_HALF = 5; |
static int |
SELECT_UPPER_HALF_VALUE
SELECT_UPPER_HALF = 3; |
Modifier and Type | Method and Description |
---|---|
static DecisionStrategyProto.DomainReductionStrategy |
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.DomainReductionStrategy> |
internalGetValueMap() |
static DecisionStrategyProto.DomainReductionStrategy |
valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc) |
static DecisionStrategyProto.DomainReductionStrategy |
valueOf(int value)
Deprecated.
Use
forNumber(int) instead. |
static DecisionStrategyProto.DomainReductionStrategy |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static DecisionStrategyProto.DomainReductionStrategy[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final DecisionStrategyProto.DomainReductionStrategy SELECT_MIN_VALUE
SELECT_MIN_VALUE = 0;
public static final DecisionStrategyProto.DomainReductionStrategy SELECT_MAX_VALUE
SELECT_MAX_VALUE = 1;
public static final DecisionStrategyProto.DomainReductionStrategy SELECT_LOWER_HALF
SELECT_LOWER_HALF = 2;
public static final DecisionStrategyProto.DomainReductionStrategy SELECT_UPPER_HALF
SELECT_UPPER_HALF = 3;
public static final DecisionStrategyProto.DomainReductionStrategy SELECT_MEDIAN_VALUE
SELECT_MEDIAN_VALUE = 4;
public static final DecisionStrategyProto.DomainReductionStrategy SELECT_RANDOM_HALF
SELECT_RANDOM_HALF = 5;
public static final DecisionStrategyProto.DomainReductionStrategy UNRECOGNIZED
public static final int SELECT_MIN_VALUE_VALUE
SELECT_MIN_VALUE = 0;
public static final int SELECT_MAX_VALUE_VALUE
SELECT_MAX_VALUE = 1;
public static final int SELECT_LOWER_HALF_VALUE
SELECT_LOWER_HALF = 2;
public static final int SELECT_UPPER_HALF_VALUE
SELECT_UPPER_HALF = 3;
public static final int SELECT_MEDIAN_VALUE_VALUE
SELECT_MEDIAN_VALUE = 4;
public static final int SELECT_RANDOM_HALF_VALUE
SELECT_RANDOM_HALF = 5;
public static DecisionStrategyProto.DomainReductionStrategy[] values()
for (DecisionStrategyProto.DomainReductionStrategy c : DecisionStrategyProto.DomainReductionStrategy.values()) System.out.println(c);
public static DecisionStrategyProto.DomainReductionStrategy 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.DomainReductionStrategy valueOf(int value)
forNumber(int)
instead.value
- The numeric wire value of the corresponding enum entry.public static DecisionStrategyProto.DomainReductionStrategy forNumber(int value)
value
- The numeric wire value of the corresponding enum entry.public static com.google.protobuf.Internal.EnumLiteMap<DecisionStrategyProto.DomainReductionStrategy> 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.DomainReductionStrategy valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Copyright © 2025. All rights reserved.