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.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 initializer]
 
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 1459 of file SatParameters.java.

Member Function Documentation

◆ [static initializer]()

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

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

◆ getDescriptor()

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

Definition at line 1702 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 1698 of file SatParameters.java.

◆ getNumber()

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

Definition at line 1648 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 1694 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 1682 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 1708 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 1658 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 1471 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 1569 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 1481 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 1579 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 1528 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 1626 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 1498 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 1596 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 1539 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 1637 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 1489 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 1587 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 1518 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 1616 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 1508 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 1606 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 1547 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 1645 of file SatParameters.java.

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