Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy Enum Reference

Detailed Description

Protobuf enum operations_research.sat.SatParameters.SharedTreeSplitStrategy

Definition at line 1738 of file SatParameters.java.

Inheritance diagram for com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy:

Public Member Functions

final int getNumber ()
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor ()
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType ()

Static Public Member Functions

 [static initializer]
static SharedTreeSplitStrategy valueOf (int value)
static SharedTreeSplitStrategy forNumber (int value)
static com.google.protobuf.Internal.EnumLiteMap< SharedTreeSplitStrategy > internalGetValueMap ()
static com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ()
static SharedTreeSplitStrategy valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)

Public Attributes

 SPLIT_STRATEGY_AUTO =(0)
 SPLIT_STRATEGY_DISCREPANCY =(1)
 SPLIT_STRATEGY_OBJECTIVE_LB =(2)
 SPLIT_STRATEGY_BALANCED_TREE =(3)
 SPLIT_STRATEGY_FIRST_PROPOSAL =(4)

Static Public Attributes

static final int SPLIT_STRATEGY_AUTO_VALUE = 0
static final int SPLIT_STRATEGY_DISCREPANCY_VALUE = 1
static final int SPLIT_STRATEGY_OBJECTIVE_LB_VALUE = 2
static final int SPLIT_STRATEGY_BALANCED_TREE_VALUE = 3
static final int SPLIT_STRATEGY_FIRST_PROPOSAL_VALUE = 4

Member Function Documentation

◆ [static initializer]()

com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.[static initializer]
static

◆ forNumber()

SharedTreeSplitStrategy com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.forNumber ( int value)
static
Parameters
valueThe numeric wire value of the corresponding enum entry.
Returns
The enum associated with the given numeric wire value.

Definition at line 1865 of file SatParameters.java.

◆ getDescriptor()

com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.getDescriptor ( )
static

Definition at line 1897 of file SatParameters.java.

◆ getDescriptorForType()

final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.getDescriptorForType ( )

Definition at line 1893 of file SatParameters.java.

◆ getNumber()

final int com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.getNumber ( )

Definition at line 1847 of file SatParameters.java.

◆ getValueDescriptor()

final com.google.protobuf.Descriptors.EnumValueDescriptor com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.getValueDescriptor ( )

Definition at line 1889 of file SatParameters.java.

◆ internalGetValueMap()

com.google.protobuf.Internal.EnumLiteMap< SharedTreeSplitStrategy > com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.internalGetValueMap ( )
static

Definition at line 1877 of file SatParameters.java.

◆ valueOf() [1/2]

SharedTreeSplitStrategy com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.valueOf ( com.google.protobuf.Descriptors.EnumValueDescriptor desc)
static

Definition at line 1903 of file SatParameters.java.

◆ valueOf() [2/2]

SharedTreeSplitStrategy com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.valueOf ( int value)
static
Parameters
valueThe numeric wire value of the corresponding enum entry.
Returns
The enum associated with the given numeric wire value.
Deprecated
Use forNumber(int) instead.

Definition at line 1857 of file SatParameters.java.

Member Data Documentation

◆ SPLIT_STRATEGY_AUTO

com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.SPLIT_STRATEGY_AUTO =(0) 
Uses the default strategy, currently equivalent to
SPLIT_STRATEGY_DISCREPANCY.

SPLIT_STRATEGY_AUTO = 0;

Definition at line 1748 of file SatParameters.java.

◆ SPLIT_STRATEGY_AUTO_VALUE

final int com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.SPLIT_STRATEGY_AUTO_VALUE = 0
static 
Uses the default strategy, currently equivalent to
SPLIT_STRATEGY_DISCREPANCY.

SPLIT_STRATEGY_AUTO = 0;

Definition at line 1806 of file SatParameters.java.

◆ SPLIT_STRATEGY_BALANCED_TREE

com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.SPLIT_STRATEGY_BALANCED_TREE =(3) 
Attempt to keep the shared tree balanced.

SPLIT_STRATEGY_BALANCED_TREE = 3;

Definition at line 1778 of file SatParameters.java.

◆ SPLIT_STRATEGY_BALANCED_TREE_VALUE

final int com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.SPLIT_STRATEGY_BALANCED_TREE_VALUE = 3
static 
Attempt to keep the shared tree balanced.

SPLIT_STRATEGY_BALANCED_TREE = 3;

Definition at line 1836 of file SatParameters.java.

◆ SPLIT_STRATEGY_DISCREPANCY

com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.SPLIT_STRATEGY_DISCREPANCY =(1) 
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;

Definition at line 1761 of file SatParameters.java.

◆ SPLIT_STRATEGY_DISCREPANCY_VALUE

final int com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.SPLIT_STRATEGY_DISCREPANCY_VALUE = 1
static 
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;

Definition at line 1819 of file SatParameters.java.

◆ SPLIT_STRATEGY_FIRST_PROPOSAL

com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.SPLIT_STRATEGY_FIRST_PROPOSAL =(4) 
Workers race to split their subtree, the winner's proposal is accepted.

SPLIT_STRATEGY_FIRST_PROPOSAL = 4;

Definition at line 1786 of file SatParameters.java.

◆ SPLIT_STRATEGY_FIRST_PROPOSAL_VALUE

final int com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.SPLIT_STRATEGY_FIRST_PROPOSAL_VALUE = 4
static 
Workers race to split their subtree, the winner's proposal is accepted.

SPLIT_STRATEGY_FIRST_PROPOSAL = 4;

Definition at line 1844 of file SatParameters.java.

◆ SPLIT_STRATEGY_OBJECTIVE_LB

com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.SPLIT_STRATEGY_OBJECTIVE_LB =(2) 
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;

Definition at line 1770 of file SatParameters.java.

◆ SPLIT_STRATEGY_OBJECTIVE_LB_VALUE

final int com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy.SPLIT_STRATEGY_OBJECTIVE_LB_VALUE = 2
static 
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;

Definition at line 1828 of file SatParameters.java.

The documentation for this enum was generated from the following file: