Package | Description |
---|---|
com.google.ortools.sat |
Modifier and Type | Method and Description |
---|---|
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.addAllExprs(java.lang.Iterable<? extends LinearExpressionProto> values)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.addAllVariables(java.lang.Iterable<? extends java.lang.Integer> values)
The variables to be considered for the next decision.
|
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.addExprs(int index,
LinearExpressionProto.Builder builderForValue)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.addExprs(int index,
LinearExpressionProto value)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.addExprs(LinearExpressionProto.Builder builderForValue)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.addExprs(LinearExpressionProto value)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
CpModelProto.Builder.addSearchStrategyBuilder()
Defines the strategy that the solver should follow when the
search_branching parameter is set to FIXED_SEARCH.
|
DecisionStrategyProto.Builder |
CpModelProto.Builder.addSearchStrategyBuilder(int index)
Defines the strategy that the solver should follow when the
search_branching parameter is set to FIXED_SEARCH.
|
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.addVariables(int value)
The variables to be considered for the next decision.
|
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.clear() |
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.clearDomainReductionStrategy()
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3; |
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.clearExprs()
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.clearVariables()
The variables to be considered for the next decision.
|
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.clearVariableSelectionStrategy()
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2; |
DecisionStrategyProto.Builder |
CpModelProto.Builder.getSearchStrategyBuilder(int index)
Defines the strategy that the solver should follow when the
search_branching parameter is set to FIXED_SEARCH.
|
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.mergeFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.mergeFrom(DecisionStrategyProto other) |
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.mergeFrom(com.google.protobuf.Message other) |
static DecisionStrategyProto.Builder |
DecisionStrategyProto.newBuilder() |
static DecisionStrategyProto.Builder |
DecisionStrategyProto.newBuilder(DecisionStrategyProto prototype) |
DecisionStrategyProto.Builder |
DecisionStrategyProto.newBuilderForType() |
protected DecisionStrategyProto.Builder |
DecisionStrategyProto.newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent) |
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.removeExprs(int index)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.setDomainReductionStrategy(DecisionStrategyProto.DomainReductionStrategy value)
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3; |
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.setDomainReductionStrategyValue(int value)
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3; |
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.setExprs(int index,
LinearExpressionProto.Builder builderForValue)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.setExprs(int index,
LinearExpressionProto value)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.setVariables(int index,
int value)
The variables to be considered for the next decision.
|
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.setVariableSelectionStrategy(DecisionStrategyProto.VariableSelectionStrategy value)
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2; |
DecisionStrategyProto.Builder |
DecisionStrategyProto.Builder.setVariableSelectionStrategyValue(int value)
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2; |
DecisionStrategyProto.Builder |
DecisionStrategyProto.toBuilder() |
Modifier and Type | Method and Description |
---|---|
java.util.List<DecisionStrategyProto.Builder> |
CpModelProto.Builder.getSearchStrategyBuilderList()
Defines the strategy that the solver should follow when the
search_branching parameter is set to FIXED_SEARCH.
|
Modifier and Type | Method and Description |
---|---|
CpModelProto.Builder |
CpModelProto.Builder.addSearchStrategy(DecisionStrategyProto.Builder builderForValue)
Defines the strategy that the solver should follow when the
search_branching parameter is set to FIXED_SEARCH.
|
CpModelProto.Builder |
CpModelProto.Builder.addSearchStrategy(int index,
DecisionStrategyProto.Builder builderForValue)
Defines the strategy that the solver should follow when the
search_branching parameter is set to FIXED_SEARCH.
|
CpModelProto.Builder |
CpModelProto.Builder.setSearchStrategy(int index,
DecisionStrategyProto.Builder builderForValue)
Defines the strategy that the solver should follow when the
search_branching parameter is set to FIXED_SEARCH.
|
Copyright © 2025. All rights reserved.