| Package | Description |
|---|---|
| com.google.ortools.sat |
| Modifier and Type | Class and Description |
|---|---|
class |
DecisionStrategyProto
Define the strategy to follow when the solver needs to take a new decision.
|
static class |
DecisionStrategyProto.Builder
Define the strategy to follow when the solver needs to take a new decision.
|
| Modifier and Type | Method and Description |
|---|---|
DecisionStrategyProtoOrBuilder |
CpModelProto.getSearchStrategyOrBuilder(int index)
Defines the strategy that the solver should follow when the
search_branching parameter is set to FIXED_SEARCH.
|
DecisionStrategyProtoOrBuilder |
CpModelProto.Builder.getSearchStrategyOrBuilder(int index)
Defines the strategy that the solver should follow when the
search_branching parameter is set to FIXED_SEARCH.
|
DecisionStrategyProtoOrBuilder |
CpModelProtoOrBuilder.getSearchStrategyOrBuilder(int index)
Defines the strategy that the solver should follow when the
search_branching parameter is set to FIXED_SEARCH.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.List<? extends DecisionStrategyProtoOrBuilder> |
CpModelProto.getSearchStrategyOrBuilderList()
Defines the strategy that the solver should follow when the
search_branching parameter is set to FIXED_SEARCH.
|
java.util.List<? extends DecisionStrategyProtoOrBuilder> |
CpModelProto.Builder.getSearchStrategyOrBuilderList()
Defines the strategy that the solver should follow when the
search_branching parameter is set to FIXED_SEARCH.
|
java.util.List<? extends DecisionStrategyProtoOrBuilder> |
CpModelProtoOrBuilder.getSearchStrategyOrBuilderList()
Defines the strategy that the solver should follow when the
search_branching parameter is set to FIXED_SEARCH.
|
Copyright © 2024. All rights reserved.