Google OR-Tools v9.9
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 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 1617 of file SatParameters.java.

Member Function Documentation

◆ 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 1733 of file SatParameters.java.

◆ getDescriptor()

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

Definition at line 1765 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 1761 of file SatParameters.java.

◆ getNumber()

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

Definition at line 1715 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 1757 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 1745 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 1771 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 1725 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 1627 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 1675 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 1656 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 1704 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 1640 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 1688 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 1664 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 1712 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.

SPLIT_STRATEGY_OBJECTIVE_LB = 2;

Definition at line 1648 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.

SPLIT_STRATEGY_OBJECTIVE_LB = 2;

Definition at line 1696 of file SatParameters.java.

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