Java Reference
Java Reference
Detailed Description
The search branching will be used to decide how to branch on unfixed nodes.
Protobuf enum
Definition at line 2185 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< 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) | |
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()
|
inlinestatic |
- Parameters
-
value The numeric wire value of the corresponding enum entry.
- Returns
- The enum associated with the given numeric wire value.
Definition at line 2343 of file SatParameters.java.
◆ getDescriptor()
|
inlinestatic |
Definition at line 2377 of file SatParameters.java.
◆ getDescriptorForType()
|
inline |
Definition at line 2373 of file SatParameters.java.
◆ getNumber()
|
inline |
Definition at line 2325 of file SatParameters.java.
◆ getValueDescriptor()
|
inline |
Definition at line 2369 of file SatParameters.java.
◆ internalGetValueMap()
|
inlinestatic |
Definition at line 2357 of file SatParameters.java.
◆ valueOf() [1/2]
|
inlinestatic |
Definition at line 2383 of file SatParameters.java.
◆ valueOf() [2/2]
|
inlinestatic |
- Parameters
-
value The 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 2335 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 2195 of file SatParameters.java.
◆ AUTOMATIC_SEARCH_VALUE
|
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 2264 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 2205 of file SatParameters.java.
◆ FIXED_SEARCH_VALUE
|
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 2274 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 2253 of file SatParameters.java.
◆ HINT_SEARCH_VALUE
|
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 2322 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 2223 of file SatParameters.java.
◆ LP_SEARCH_VALUE
|
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 2292 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 2213 of file SatParameters.java.
◆ PORTFOLIO_SEARCH_VALUE
|
static |
If used, the solver will use various generic heuristics in turn.
PORTFOLIO_SEARCH = 2;
Definition at line 2282 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 2243 of file SatParameters.java.
◆ PORTFOLIO_WITH_QUICK_RESTART_SEARCH_VALUE
|
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 2312 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 2233 of file SatParameters.java.
◆ PSEUDO_COST_SEARCH_VALUE
|
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 2302 of file SatParameters.java.
The documentation for this enum was generated from the following file: