Google OR-Tools v9.12
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Public Attributes | Static Public Attributes | List of all members
com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy Enum Reference
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 final 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
 

Detailed Description

Protobuf enum operations_research.sat.SatParameters.SharedTreeSplitStrategy

Definition at line 1729 of file SatParameters.java.

Member Function Documentation

◆ [static initializer]()

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

◆ forNumber()

static 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 1856 of file SatParameters.java.

◆ getDescriptor()

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

Definition at line 1888 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 1884 of file SatParameters.java.

◆ getNumber()

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

Definition at line 1838 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 1880 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 1868 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 1894 of file SatParameters.java.

◆ valueOf() [2/2]

static 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 1848 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 1739 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 1797 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 1769 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 1827 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 1752 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 1810 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 1777 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 1835 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 1761 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 1819 of file SatParameters.java.

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