Java Reference

Java Reference

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

Public Member Functions

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

Static Public Member Functions

.lang.Deprecated static SearchBranching valueOf (int value)
 
static SearchBranching forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< SearchBranchinginternalGetValueMap ()
 
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)
 

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
 

Member Function Documentation

◆ forNumber()

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

◆ getDescriptor()

static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ( )
static

Definition at line 2514 of file SatParameters.java.

◆ getDescriptorForType()

final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType ( )

Definition at line 2510 of file SatParameters.java.

◆ getNumber()

final int getNumber ( )

Definition at line 2462 of file SatParameters.java.

◆ getValueDescriptor()

final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor ( )

Definition at line 2506 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 2494 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 2520 of file SatParameters.java.

◆ valueOf() [2/2]

.lang.Deprecated static 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 2472 of file SatParameters.java.

Member Data Documentation

◆ AUTOMATIC_SEARCH

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.

AUTOMATIC_SEARCH = 0;

Definition at line 2332 of file SatParameters.java.

◆ AUTOMATIC_SEARCH_VALUE

final int 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.

AUTOMATIC_SEARCH = 0;

Definition at line 2401 of file SatParameters.java.

◆ FIXED_SEARCH

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

◆ FIXED_SEARCH_VALUE

final int 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 2411 of file SatParameters.java.

◆ HINT_SEARCH

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

◆ HINT_SEARCH_VALUE

final int 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 2459 of file SatParameters.java.

◆ LP_SEARCH

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.
TODO(user): Maybe rename REDUCED_COST_SEARCH?

LP_SEARCH = 3;

Definition at line 2360 of file SatParameters.java.

◆ LP_SEARCH_VALUE

final int 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.
TODO(user): Maybe rename REDUCED_COST_SEARCH?

LP_SEARCH = 3;

Definition at line 2429 of file SatParameters.java.

◆ PORTFOLIO_SEARCH

PORTFOLIO_SEARCH =(2)
If used, the solver will use various generic heuristics in turn.

PORTFOLIO_SEARCH = 2;

Definition at line 2350 of file SatParameters.java.

◆ PORTFOLIO_SEARCH_VALUE

final int PORTFOLIO_SEARCH_VALUE = 2
static
If used, the solver will use various generic heuristics in turn.

PORTFOLIO_SEARCH = 2;

Definition at line 2419 of file SatParameters.java.

◆ PORTFOLIO_WITH_QUICK_RESTART_SEARCH

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

◆ PORTFOLIO_WITH_QUICK_RESTART_SEARCH_VALUE

final int 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 2449 of file SatParameters.java.

◆ PSEUDO_COST_SEARCH

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.

PSEUDO_COST_SEARCH = 4;

Definition at line 2370 of file SatParameters.java.

◆ PSEUDO_COST_SEARCH_VALUE

final int 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.

PSEUDO_COST_SEARCH = 4;

Definition at line 2439 of file SatParameters.java.


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