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.SearchBranching Enum Reference
Inheritance diagram for com.google.ortools.sat.SatParameters.SearchBranching:

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 SearchBranching valueOf (int value)
 
static SearchBranching forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap ()
 
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ()
 
static SearchBranching valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)
 

Public Attributes

 AUTOMATIC_SEARCH =(0)
 
 FIXED_SEARCH =(1)
 
 PORTFOLIO_SEARCH =(2)
 
 LP_SEARCH =(3)
 
 PSEUDO_COST_SEARCH =(4)
 
 PORTFOLIO_WITH_QUICK_RESTART_SEARCH =(5)
 
 HINT_SEARCH =(6)
 
 PARTIAL_FIXED_SEARCH =(7)
 
 RANDOMIZED_SEARCH =(8)
 

Static Public Attributes

static final int AUTOMATIC_SEARCH_VALUE = 0
 
static final int FIXED_SEARCH_VALUE = 1
 
static final int PORTFOLIO_SEARCH_VALUE = 2
 
static final int LP_SEARCH_VALUE = 3
 
static final int PSEUDO_COST_SEARCH_VALUE = 4
 
static final int PORTFOLIO_WITH_QUICK_RESTART_SEARCH_VALUE = 5
 
static final int HINT_SEARCH_VALUE = 6
 
static final int PARTIAL_FIXED_SEARCH_VALUE = 7
 
static final int RANDOMIZED_SEARCH_VALUE = 8
 

Detailed Description

The search branching will be used to decide how to branch on unfixed nodes.

Protobuf enum operations_research.sat.SatParameters.SearchBranching

Definition at line 1356 of file SatParameters.java.

Member Function Documentation

◆ forNumber()

static SearchBranching com.google.ortools.sat.SatParameters.SearchBranching.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 1554 of file SatParameters.java.

◆ getDescriptor()

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

Definition at line 1590 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 1586 of file SatParameters.java.

◆ getNumber()

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

Definition at line 1536 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 1582 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 1570 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 1596 of file SatParameters.java.

◆ valueOf() [2/2]

static SearchBranching com.google.ortools.sat.SatParameters.SearchBranching.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 1546 of file SatParameters.java.

Member Data Documentation

◆ AUTOMATIC_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH =(0) 
Try to fix all literals using the underlying SAT solver's heuristics,
then generate and fix literals until integer variables are fixed. New
literals on integer variables are generated using the fixed search
specified by the user or our default one.

AUTOMATIC_SEARCH = 0;

Definition at line 1368 of file SatParameters.java.

◆ AUTOMATIC_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH_VALUE = 0
static 
Try to fix all literals using the underlying SAT solver's heuristics,
then generate and fix literals until integer variables are fixed. New
literals on integer variables are generated using the fixed search
specified by the user or our default one.

AUTOMATIC_SEARCH = 0;

Definition at line 1457 of file SatParameters.java.

◆ FIXED_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.FIXED_SEARCH =(1) 
If used then all decisions taken by the solver are made using a fixed
order as specified in the API or in the CpModelProto search_strategy
field.

FIXED_SEARCH = 1;

Definition at line 1378 of file SatParameters.java.

◆ FIXED_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.FIXED_SEARCH_VALUE = 1
static 
If used then all decisions taken by the solver are made using a fixed
order as specified in the API or in the CpModelProto search_strategy
field.

FIXED_SEARCH = 1;

Definition at line 1467 of file SatParameters.java.

◆ HINT_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.HINT_SEARCH =(6) 
Mainly used internally. This is like FIXED_SEARCH, except we follow the
solution_hint field of the CpModelProto rather than using the information
provided in the search_strategy.

HINT_SEARCH = 6;

Definition at line 1425 of file SatParameters.java.

◆ HINT_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.HINT_SEARCH_VALUE = 6
static 
Mainly used internally. This is like FIXED_SEARCH, except we follow the
solution_hint field of the CpModelProto rather than using the information
provided in the search_strategy.

HINT_SEARCH = 6;

Definition at line 1514 of file SatParameters.java.

◆ LP_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.LP_SEARCH =(3) 
If used, the solver will use heuristics from the LP relaxation. This
exploit the reduced costs of the variables in the relaxation.

LP_SEARCH = 3;

Definition at line 1395 of file SatParameters.java.

◆ LP_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.LP_SEARCH_VALUE = 3
static 
If used, the solver will use heuristics from the LP relaxation. This
exploit the reduced costs of the variables in the relaxation.

LP_SEARCH = 3;

Definition at line 1484 of file SatParameters.java.

◆ PARTIAL_FIXED_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.PARTIAL_FIXED_SEARCH =(7) 
Similar to FIXED_SEARCH, but differ in how the variable not listed into
the fixed search heuristics are branched on. This will always start the
search tree according to the specified fixed search strategy, but will
complete it using the default automatic search.

PARTIAL_FIXED_SEARCH = 7;

Definition at line 1436 of file SatParameters.java.

◆ PARTIAL_FIXED_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.PARTIAL_FIXED_SEARCH_VALUE = 7
static 
Similar to FIXED_SEARCH, but differ in how the variable not listed into
the fixed search heuristics are branched on. This will always start the
search tree according to the specified fixed search strategy, but will
complete it using the default automatic search.

PARTIAL_FIXED_SEARCH = 7;

Definition at line 1525 of file SatParameters.java.

◆ PORTFOLIO_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.PORTFOLIO_SEARCH =(2) 
Simple portfolio search used by LNS workers.

PORTFOLIO_SEARCH = 2;

Definition at line 1386 of file SatParameters.java.

◆ PORTFOLIO_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.PORTFOLIO_SEARCH_VALUE = 2
static 
Simple portfolio search used by LNS workers.

PORTFOLIO_SEARCH = 2;

Definition at line 1475 of file SatParameters.java.

◆ PORTFOLIO_WITH_QUICK_RESTART_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.PORTFOLIO_WITH_QUICK_RESTART_SEARCH =(5) 
Mainly exposed here for testing. This quickly tries a lot of randomized
heuristics with a low conflict limit. It usually provides a good first
solution.

PORTFOLIO_WITH_QUICK_RESTART_SEARCH = 5;

Definition at line 1415 of file SatParameters.java.

◆ PORTFOLIO_WITH_QUICK_RESTART_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.PORTFOLIO_WITH_QUICK_RESTART_SEARCH_VALUE = 5
static 
Mainly exposed here for testing. This quickly tries a lot of randomized
heuristics with a low conflict limit. It usually provides a good first
solution.

PORTFOLIO_WITH_QUICK_RESTART_SEARCH = 5;

Definition at line 1504 of file SatParameters.java.

◆ PSEUDO_COST_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.PSEUDO_COST_SEARCH =(4) 
If used, the solver uses the pseudo costs for branching. Pseudo costs
are computed using the historical change in objective bounds when some
decision are taken. Note that this works whether we use an LP or not.

PSEUDO_COST_SEARCH = 4;

Definition at line 1405 of file SatParameters.java.

◆ PSEUDO_COST_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.PSEUDO_COST_SEARCH_VALUE = 4
static 
If used, the solver uses the pseudo costs for branching. Pseudo costs
are computed using the historical change in objective bounds when some
decision are taken. Note that this works whether we use an LP or not.

PSEUDO_COST_SEARCH = 4;

Definition at line 1494 of file SatParameters.java.

◆ RANDOMIZED_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.RANDOMIZED_SEARCH =(8) 
Randomized search. Used to increase entropy in the search.

RANDOMIZED_SEARCH = 8;

Definition at line 1444 of file SatParameters.java.

◆ RANDOMIZED_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.RANDOMIZED_SEARCH_VALUE = 8
static 
Randomized search. Used to increase entropy in the search.

RANDOMIZED_SEARCH = 8;

Definition at line 1533 of file SatParameters.java.

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