public static enum SatParameters.SharedTreeSplitStrategy extends java.lang.Enum<SatParameters.SharedTreeSplitStrategy> implements com.google.protobuf.ProtocolMessageEnum
operations_research.sat.SatParameters.SharedTreeSplitStrategy
Enum Constant and Description |
---|
SPLIT_STRATEGY_AUTO
Uses the default strategy, currently equivalent to
SPLIT_STRATEGY_DISCREPANCY.
|
SPLIT_STRATEGY_BALANCED_TREE
Attempt to keep the shared tree balanced.
|
SPLIT_STRATEGY_DISCREPANCY
Only accept splits if the node to be split's depth+discrepancy is minimal
for the desired number of leaves.
|
SPLIT_STRATEGY_FIRST_PROPOSAL
Workers race to split their subtree, the winner's proposal is accepted.
|
SPLIT_STRATEGY_OBJECTIVE_LB
Only split nodes with an objective lb equal to the global lb.
|
Modifier and Type | Field and Description |
---|---|
static int |
SPLIT_STRATEGY_AUTO_VALUE
Uses the default strategy, currently equivalent to
SPLIT_STRATEGY_DISCREPANCY.
|
static int |
SPLIT_STRATEGY_BALANCED_TREE_VALUE
Attempt to keep the shared tree balanced.
|
static int |
SPLIT_STRATEGY_DISCREPANCY_VALUE
Only accept splits if the node to be split's depth+discrepancy is minimal
for the desired number of leaves.
|
static int |
SPLIT_STRATEGY_FIRST_PROPOSAL_VALUE
Workers race to split their subtree, the winner's proposal is accepted.
|
static int |
SPLIT_STRATEGY_OBJECTIVE_LB_VALUE
Only split nodes with an objective lb equal to the global lb.
|
Modifier and Type | Method and Description |
---|---|
static SatParameters.SharedTreeSplitStrategy |
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.SharedTreeSplitStrategy> |
internalGetValueMap() |
static SatParameters.SharedTreeSplitStrategy |
valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc) |
static SatParameters.SharedTreeSplitStrategy |
valueOf(int value)
Deprecated.
Use
forNumber(int) instead. |
static SatParameters.SharedTreeSplitStrategy |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static SatParameters.SharedTreeSplitStrategy[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final SatParameters.SharedTreeSplitStrategy SPLIT_STRATEGY_AUTO
Uses the default strategy, currently equivalent to SPLIT_STRATEGY_DISCREPANCY.
SPLIT_STRATEGY_AUTO = 0;
public static final SatParameters.SharedTreeSplitStrategy SPLIT_STRATEGY_DISCREPANCY
Only accept splits if the node to be split's depth+discrepancy is minimal for the desired number of leaves. The preferred child for discrepancy calculation is the one with the lowest objective lower bound or the original branch direction if the bounds are equal. This rule allows twice as many workers to work in the preferred subtree as non-preferred.
SPLIT_STRATEGY_DISCREPANCY = 1;
public static final SatParameters.SharedTreeSplitStrategy SPLIT_STRATEGY_OBJECTIVE_LB
Only split nodes with an objective lb equal to the global lb. If there is no objective, this is equivalent to SPLIT_STRATEGY_FIRST_PROPOSAL.
SPLIT_STRATEGY_OBJECTIVE_LB = 2;
public static final SatParameters.SharedTreeSplitStrategy SPLIT_STRATEGY_BALANCED_TREE
Attempt to keep the shared tree balanced.
SPLIT_STRATEGY_BALANCED_TREE = 3;
public static final SatParameters.SharedTreeSplitStrategy SPLIT_STRATEGY_FIRST_PROPOSAL
Workers race to split their subtree, the winner's proposal is accepted.
SPLIT_STRATEGY_FIRST_PROPOSAL = 4;
public static final int SPLIT_STRATEGY_AUTO_VALUE
Uses the default strategy, currently equivalent to SPLIT_STRATEGY_DISCREPANCY.
SPLIT_STRATEGY_AUTO = 0;
public static final int SPLIT_STRATEGY_DISCREPANCY_VALUE
Only accept splits if the node to be split's depth+discrepancy is minimal for the desired number of leaves. The preferred child for discrepancy calculation is the one with the lowest objective lower bound or the original branch direction if the bounds are equal. This rule allows twice as many workers to work in the preferred subtree as non-preferred.
SPLIT_STRATEGY_DISCREPANCY = 1;
public static final int SPLIT_STRATEGY_OBJECTIVE_LB_VALUE
Only split nodes with an objective lb equal to the global lb. If there is no objective, this is equivalent to SPLIT_STRATEGY_FIRST_PROPOSAL.
SPLIT_STRATEGY_OBJECTIVE_LB = 2;
public static final int SPLIT_STRATEGY_BALANCED_TREE_VALUE
Attempt to keep the shared tree balanced.
SPLIT_STRATEGY_BALANCED_TREE = 3;
public static final int SPLIT_STRATEGY_FIRST_PROPOSAL_VALUE
Workers race to split their subtree, the winner's proposal is accepted.
SPLIT_STRATEGY_FIRST_PROPOSAL = 4;
public static SatParameters.SharedTreeSplitStrategy[] values()
for (SatParameters.SharedTreeSplitStrategy c : SatParameters.SharedTreeSplitStrategy.values()) System.out.println(c);
public static SatParameters.SharedTreeSplitStrategy 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.SharedTreeSplitStrategy valueOf(int value)
forNumber(int)
instead.value
- The numeric wire value of the corresponding enum entry.public static SatParameters.SharedTreeSplitStrategy forNumber(int value)
value
- The numeric wire value of the corresponding enum entry.public static com.google.protobuf.Internal.EnumLiteMap<SatParameters.SharedTreeSplitStrategy> 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.SharedTreeSplitStrategy valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Copyright © 2025. All rights reserved.