public static enum SatParameters.VariableOrder extends java.lang.Enum<SatParameters.VariableOrder> implements com.google.protobuf.ProtocolMessageEnum
Variables without activity (i.e. at the beginning of the search) will be tried in this preferred order.Protobuf enum
operations_research.sat.SatParameters.VariableOrder
Enum Constant and Description |
---|
IN_ORDER
As specified by the problem.
|
IN_RANDOM_ORDER
IN_RANDOM_ORDER = 2; |
IN_REVERSE_ORDER
IN_REVERSE_ORDER = 1; |
Modifier and Type | Field and Description |
---|---|
static int |
IN_ORDER_VALUE
As specified by the problem.
|
static int |
IN_RANDOM_ORDER_VALUE
IN_RANDOM_ORDER = 2; |
static int |
IN_REVERSE_ORDER_VALUE
IN_REVERSE_ORDER = 1; |
Modifier and Type | Method and Description |
---|---|
static SatParameters.VariableOrder |
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.VariableOrder> |
internalGetValueMap() |
static SatParameters.VariableOrder |
valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc) |
static SatParameters.VariableOrder |
valueOf(int value)
Deprecated.
Use
forNumber(int) instead. |
static SatParameters.VariableOrder |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static SatParameters.VariableOrder[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final SatParameters.VariableOrder IN_ORDER
As specified by the problem.
IN_ORDER = 0;
public static final SatParameters.VariableOrder IN_REVERSE_ORDER
IN_REVERSE_ORDER = 1;
public static final SatParameters.VariableOrder IN_RANDOM_ORDER
IN_RANDOM_ORDER = 2;
public static final int IN_ORDER_VALUE
As specified by the problem.
IN_ORDER = 0;
public static final int IN_REVERSE_ORDER_VALUE
IN_REVERSE_ORDER = 1;
public static final int IN_RANDOM_ORDER_VALUE
IN_RANDOM_ORDER = 2;
public static SatParameters.VariableOrder[] values()
for (SatParameters.VariableOrder c : SatParameters.VariableOrder.values()) System.out.println(c);
public static SatParameters.VariableOrder 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.VariableOrder valueOf(int value)
forNumber(int)
instead.value
- The numeric wire value of the corresponding enum entry.public static SatParameters.VariableOrder forNumber(int value)
value
- The numeric wire value of the corresponding enum entry.public static com.google.protobuf.Internal.EnumLiteMap<SatParameters.VariableOrder> 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.VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Copyright © 2025. All rights reserved.