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 © 2025. All rights reserved.