BopParameters.Builder |
BopParameters.Builder.addAllSolverOptimizerSets(java.lang.Iterable<? extends BopSolverOptimizerSet> values) |
List of set of optimizers to be run by the solvers.
|
BopParameters.Builder |
BopParameters.Builder.addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field,
java.lang.Object value) |
|
BopParameters.Builder |
BopParameters.Builder.addSolverOptimizerSets(int index,
BopSolverOptimizerSet value) |
List of set of optimizers to be run by the solvers.
|
BopParameters.Builder |
BopParameters.Builder.addSolverOptimizerSets(int index,
BopSolverOptimizerSet.Builder builderForValue) |
List of set of optimizers to be run by the solvers.
|
BopParameters.Builder |
BopParameters.Builder.addSolverOptimizerSets(BopSolverOptimizerSet value) |
List of set of optimizers to be run by the solvers.
|
BopParameters.Builder |
BopParameters.Builder.addSolverOptimizerSets(BopSolverOptimizerSet.Builder builderForValue) |
List of set of optimizers to be run by the solvers.
|
BopParameters.Builder |
BopParameters.Builder.clear() |
|
BopParameters.Builder |
BopParameters.Builder.clearComputeEstimatedImpact() |
Compute estimated impact at each iteration when true; only once when false.
|
BopParameters.Builder |
BopParameters.Builder.clearDecomposedProblemMinTimeInSeconds() |
HACK.
|
BopParameters.Builder |
BopParameters.Builder.clearDecomposerNumVariablesThreshold() |
Only try to decompose the problem when the number of variables is greater
than the threshold.
|
BopParameters.Builder |
BopParameters.Builder.clearDefaultSolverOptimizerSets() |
optional string default_solver_optimizer_sets = 33 [default = "methods:{type:LOCAL_SEARCH } methods:{type:RANDOM_FIRST_SOLUTION } methods:{type:LINEAR_RELAXATION } methods:{type:LP_FIRST_SOLUTION } methods:{type:OBJECTIVE_FIRST_SOLUTION } methods:{type:USER_GUIDED_FIRST_SOLUTION } methods:{type:RANDOM_CONSTRAINT_LNS_GUIDED_BY_LP } methods:{type:RANDOM_VARIABLE_LNS_GUIDED_BY_LP } methods:{type:RELATION_GRAPH_LNS } methods:{type:RELATION_GRAPH_LNS_GUIDED_BY_LP } methods:{type:RANDOM_CONSTRAINT_LNS } methods:{type:RANDOM_VARIABLE_LNS } methods:{type:SAT_CORE_BASED } methods:{type:COMPLETE_LNS } "];
|
BopParameters.Builder |
BopParameters.Builder.clearExploitSymmetryInSatFirstSolution() |
If true, find and exploit symmetries in proving satisfiability in the first
problem.
|
BopParameters.Builder |
BopParameters.Builder.clearField(com.google.protobuf.Descriptors.FieldDescriptor field) |
|
BopParameters.Builder |
BopParameters.Builder.clearGuidedSatConflictsChunk() |
The first solutions based on guided SAT will work in chunk of that many
conflicts at the time.
|
BopParameters.Builder |
BopParameters.Builder.clearLogSearchProgress() |
Whether the solver should log the search progress to LOG(INFO).
|
BopParameters.Builder |
BopParameters.Builder.clearLpMaxDeterministicTime() |
The max deterministic time given to the LP solver each time it is called.
|
BopParameters.Builder |
BopParameters.Builder.clearMaxDeterministicTime() |
Maximum time allowed in deterministic time to solve a problem.
|
BopParameters.Builder |
BopParameters.Builder.clearMaxLpSolveForFeasibilityProblems() |
The maximum number of time the LP solver will run to feasibility for pure
feasibility problems (with a constant-valued objective function).
|
BopParameters.Builder |
BopParameters.Builder.clearMaxNumberOfBacktracksInLs() |
Maximum number of backtracks times the number of variables in Local Search,
ie.
|
BopParameters.Builder |
BopParameters.Builder.clearMaxNumberOfConflictsForQuickCheck() |
The number of conflicts the SAT solver has to solve a random LNS
subproblem for the quick check of infeasibility.
|
BopParameters.Builder |
BopParameters.Builder.clearMaxNumberOfConflictsInRandomLns() |
The number of conflicts the SAT solver has to solve a random LNS
subproblem.
|
BopParameters.Builder |
BopParameters.Builder.clearMaxNumberOfConflictsInRandomSolutionGeneration() |
The number of conflicts the SAT solver has to generate a random solution.
|
BopParameters.Builder |
BopParameters.Builder.clearMaxNumberOfConsecutiveFailingOptimizerCalls() |
Maximum number of consecutive optimizer calls without improving the
current solution.
|
BopParameters.Builder |
BopParameters.Builder.clearMaxNumberOfExploredAssignmentsPerTryInLs() |
The maximum number of assignments the Local Search iterates on during one
try.
|
BopParameters.Builder |
BopParameters.Builder.clearMaxNumBrokenConstraintsInLs() |
Abort the LS search tree as soon as strictly more than this number of
constraints are broken.
|
BopParameters.Builder |
BopParameters.Builder.clearMaxNumDecisionsInLs() |
Maximum number of cascading decisions the solver might use to repair the
current solution in the LS.
|
BopParameters.Builder |
BopParameters.Builder.clearMaxTimeInSeconds() |
Maximum time allowed in seconds to solve a problem.
|
BopParameters.Builder |
BopParameters.Builder.clearNumberOfSolvers() |
The number of solvers used to run Bop.
|
BopParameters.Builder |
BopParameters.Builder.clearNumBopSolversUsedByDecomposition() |
The number of BopSolver created (thread pool workers) used by the integral
solver to solve a decomposed problem.
|
BopParameters.Builder |
BopParameters.Builder.clearNumRandomLnsTries() |
Number of tries in the random lns.
|
BopParameters.Builder |
BopParameters.Builder.clearNumRelaxedVars() |
Number of variables to relax in the exhaustive Large Neighborhood Search.
|
BopParameters.Builder |
BopParameters.Builder.clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof) |
|
BopParameters.Builder |
BopParameters.Builder.clearPruneSearchTree() |
Avoid exploring both branches (b, a, ...) and (a, b, ...).
|
BopParameters.Builder |
BopParameters.Builder.clearRandomSeed() |
The seed used to initialize the random generator.
|
BopParameters.Builder |
BopParameters.Builder.clearRelativeGapLimit() |
Limit used to stop the optimization as soon as the relative gap is smaller
than the given value.
|
BopParameters.Builder |
BopParameters.Builder.clearSolverOptimizerSets() |
List of set of optimizers to be run by the solvers.
|
BopParameters.Builder |
BopParameters.Builder.clearSortConstraintsByNumTerms() |
Sort constraints by increasing total number of terms instead of number of
contributing terms.
|
BopParameters.Builder |
BopParameters.Builder.clearSynchronizationType() |
optional .operations_research.bop.BopParameters.ThreadSynchronizationType synchronization_type = 25 [default = NO_SYNCHRONIZATION];
|
BopParameters.Builder |
BopParameters.Builder.clearUseLearnedBinaryClausesInLp() |
Whether we use the learned binary clauses in the Linear Relaxation.
|
BopParameters.Builder |
BopParameters.Builder.clearUseLpLns() |
Use Large Neighborhood Search based on the LP relaxation.
|
BopParameters.Builder |
BopParameters.Builder.clearUseLpStrongBranching() |
Use strong branching in the linear relaxation optimizer.
|
BopParameters.Builder |
BopParameters.Builder.clearUsePotentialOneFlipRepairsInLs() |
Whether we keep a list of variable that can potentially repair in one flip
all the current infeasible constraints (such variable must at least appear
in all the infeasible constraints for this to happen).
|
BopParameters.Builder |
BopParameters.Builder.clearUseRandomLns() |
Use the random Large Neighborhood Search instead of the exhaustive one.
|
BopParameters.Builder |
BopParameters.Builder.clearUseSatToChooseLnsNeighbourhood() |
Whether we use sat propagation to choose the lns neighbourhood.
|
BopParameters.Builder |
BopParameters.Builder.clearUseSymmetry() |
If true, find and exploit the eventual symmetries of the problem.
|
BopParameters.Builder |
BopParameters.Builder.clearUseTranspositionTableInLs() |
Whether we use an hash set during the LS to avoid exploring more than once
the "same" state.
|
BopParameters.Builder |
BopParameters.Builder.clone() |
|
BopParameters.Builder |
BopParameters.Builder.mergeFrom(BopParameters other) |
|
BopParameters.Builder |
BopParameters.Builder.mergeFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
|
BopParameters.Builder |
BopParameters.Builder.mergeFrom(com.google.protobuf.Message other) |
|
BopParameters.Builder |
BopParameters.Builder.mergeUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields) |
|
static BopParameters.Builder |
BopParameters.newBuilder() |
|
static BopParameters.Builder |
BopParameters.newBuilder(BopParameters prototype) |
|
BopParameters.Builder |
BopParameters.newBuilderForType() |
|
protected BopParameters.Builder |
BopParameters.newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent) |
|
BopParameters.Builder |
BopParameters.Builder.removeSolverOptimizerSets(int index) |
List of set of optimizers to be run by the solvers.
|
BopParameters.Builder |
BopParameters.Builder.setComputeEstimatedImpact(boolean value) |
Compute estimated impact at each iteration when true; only once when false.
|
BopParameters.Builder |
BopParameters.Builder.setDecomposedProblemMinTimeInSeconds(double value) |
HACK.
|
BopParameters.Builder |
BopParameters.Builder.setDecomposerNumVariablesThreshold(int value) |
Only try to decompose the problem when the number of variables is greater
than the threshold.
|
BopParameters.Builder |
BopParameters.Builder.setDefaultSolverOptimizerSets(java.lang.String value) |
optional string default_solver_optimizer_sets = 33 [default = "methods:{type:LOCAL_SEARCH } methods:{type:RANDOM_FIRST_SOLUTION } methods:{type:LINEAR_RELAXATION } methods:{type:LP_FIRST_SOLUTION } methods:{type:OBJECTIVE_FIRST_SOLUTION } methods:{type:USER_GUIDED_FIRST_SOLUTION } methods:{type:RANDOM_CONSTRAINT_LNS_GUIDED_BY_LP } methods:{type:RANDOM_VARIABLE_LNS_GUIDED_BY_LP } methods:{type:RELATION_GRAPH_LNS } methods:{type:RELATION_GRAPH_LNS_GUIDED_BY_LP } methods:{type:RANDOM_CONSTRAINT_LNS } methods:{type:RANDOM_VARIABLE_LNS } methods:{type:SAT_CORE_BASED } methods:{type:COMPLETE_LNS } "];
|
BopParameters.Builder |
BopParameters.Builder.setDefaultSolverOptimizerSetsBytes(com.google.protobuf.ByteString value) |
optional string default_solver_optimizer_sets = 33 [default = "methods:{type:LOCAL_SEARCH } methods:{type:RANDOM_FIRST_SOLUTION } methods:{type:LINEAR_RELAXATION } methods:{type:LP_FIRST_SOLUTION } methods:{type:OBJECTIVE_FIRST_SOLUTION } methods:{type:USER_GUIDED_FIRST_SOLUTION } methods:{type:RANDOM_CONSTRAINT_LNS_GUIDED_BY_LP } methods:{type:RANDOM_VARIABLE_LNS_GUIDED_BY_LP } methods:{type:RELATION_GRAPH_LNS } methods:{type:RELATION_GRAPH_LNS_GUIDED_BY_LP } methods:{type:RANDOM_CONSTRAINT_LNS } methods:{type:RANDOM_VARIABLE_LNS } methods:{type:SAT_CORE_BASED } methods:{type:COMPLETE_LNS } "];
|
BopParameters.Builder |
BopParameters.Builder.setExploitSymmetryInSatFirstSolution(boolean value) |
If true, find and exploit symmetries in proving satisfiability in the first
problem.
|
BopParameters.Builder |
BopParameters.Builder.setField(com.google.protobuf.Descriptors.FieldDescriptor field,
java.lang.Object value) |
|
BopParameters.Builder |
BopParameters.Builder.setGuidedSatConflictsChunk(int value) |
The first solutions based on guided SAT will work in chunk of that many
conflicts at the time.
|
BopParameters.Builder |
BopParameters.Builder.setLogSearchProgress(boolean value) |
Whether the solver should log the search progress to LOG(INFO).
|
BopParameters.Builder |
BopParameters.Builder.setLpMaxDeterministicTime(double value) |
The max deterministic time given to the LP solver each time it is called.
|
BopParameters.Builder |
BopParameters.Builder.setMaxDeterministicTime(double value) |
Maximum time allowed in deterministic time to solve a problem.
|
BopParameters.Builder |
BopParameters.Builder.setMaxLpSolveForFeasibilityProblems(int value) |
The maximum number of time the LP solver will run to feasibility for pure
feasibility problems (with a constant-valued objective function).
|
BopParameters.Builder |
BopParameters.Builder.setMaxNumberOfBacktracksInLs(long value) |
Maximum number of backtracks times the number of variables in Local Search,
ie.
|
BopParameters.Builder |
BopParameters.Builder.setMaxNumberOfConflictsForQuickCheck(int value) |
The number of conflicts the SAT solver has to solve a random LNS
subproblem for the quick check of infeasibility.
|
BopParameters.Builder |
BopParameters.Builder.setMaxNumberOfConflictsInRandomLns(int value) |
The number of conflicts the SAT solver has to solve a random LNS
subproblem.
|
BopParameters.Builder |
BopParameters.Builder.setMaxNumberOfConflictsInRandomSolutionGeneration(int value) |
The number of conflicts the SAT solver has to generate a random solution.
|
BopParameters.Builder |
BopParameters.Builder.setMaxNumberOfConsecutiveFailingOptimizerCalls(int value) |
Maximum number of consecutive optimizer calls without improving the
current solution.
|
BopParameters.Builder |
BopParameters.Builder.setMaxNumberOfExploredAssignmentsPerTryInLs(long value) |
The maximum number of assignments the Local Search iterates on during one
try.
|
BopParameters.Builder |
BopParameters.Builder.setMaxNumBrokenConstraintsInLs(int value) |
Abort the LS search tree as soon as strictly more than this number of
constraints are broken.
|
BopParameters.Builder |
BopParameters.Builder.setMaxNumDecisionsInLs(int value) |
Maximum number of cascading decisions the solver might use to repair the
current solution in the LS.
|
BopParameters.Builder |
BopParameters.Builder.setMaxTimeInSeconds(double value) |
Maximum time allowed in seconds to solve a problem.
|
BopParameters.Builder |
BopParameters.Builder.setNumberOfSolvers(int value) |
The number of solvers used to run Bop.
|
BopParameters.Builder |
BopParameters.Builder.setNumBopSolversUsedByDecomposition(int value) |
The number of BopSolver created (thread pool workers) used by the integral
solver to solve a decomposed problem.
|
BopParameters.Builder |
BopParameters.Builder.setNumRandomLnsTries(int value) |
Number of tries in the random lns.
|
BopParameters.Builder |
BopParameters.Builder.setNumRelaxedVars(int value) |
Number of variables to relax in the exhaustive Large Neighborhood Search.
|
BopParameters.Builder |
BopParameters.Builder.setPruneSearchTree(boolean value) |
Avoid exploring both branches (b, a, ...) and (a, b, ...).
|
BopParameters.Builder |
BopParameters.Builder.setRandomSeed(int value) |
The seed used to initialize the random generator.
|
BopParameters.Builder |
BopParameters.Builder.setRelativeGapLimit(double value) |
Limit used to stop the optimization as soon as the relative gap is smaller
than the given value.
|
BopParameters.Builder |
BopParameters.Builder.setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field,
int index,
java.lang.Object value) |
|
BopParameters.Builder |
BopParameters.Builder.setSolverOptimizerSets(int index,
BopSolverOptimizerSet value) |
List of set of optimizers to be run by the solvers.
|
BopParameters.Builder |
BopParameters.Builder.setSolverOptimizerSets(int index,
BopSolverOptimizerSet.Builder builderForValue) |
List of set of optimizers to be run by the solvers.
|
BopParameters.Builder |
BopParameters.Builder.setSortConstraintsByNumTerms(boolean value) |
Sort constraints by increasing total number of terms instead of number of
contributing terms.
|
BopParameters.Builder |
BopParameters.Builder.setSynchronizationType(BopParameters.ThreadSynchronizationType value) |
optional .operations_research.bop.BopParameters.ThreadSynchronizationType synchronization_type = 25 [default = NO_SYNCHRONIZATION];
|
BopParameters.Builder |
BopParameters.Builder.setUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields) |
|
BopParameters.Builder |
BopParameters.Builder.setUseLearnedBinaryClausesInLp(boolean value) |
Whether we use the learned binary clauses in the Linear Relaxation.
|
BopParameters.Builder |
BopParameters.Builder.setUseLpLns(boolean value) |
Use Large Neighborhood Search based on the LP relaxation.
|
BopParameters.Builder |
BopParameters.Builder.setUseLpStrongBranching(boolean value) |
Use strong branching in the linear relaxation optimizer.
|
BopParameters.Builder |
BopParameters.Builder.setUsePotentialOneFlipRepairsInLs(boolean value) |
Whether we keep a list of variable that can potentially repair in one flip
all the current infeasible constraints (such variable must at least appear
in all the infeasible constraints for this to happen).
|
BopParameters.Builder |
BopParameters.Builder.setUseRandomLns(boolean value) |
Use the random Large Neighborhood Search instead of the exhaustive one.
|
BopParameters.Builder |
BopParameters.Builder.setUseSatToChooseLnsNeighbourhood(boolean value) |
Whether we use sat propagation to choose the lns neighbourhood.
|
BopParameters.Builder |
BopParameters.Builder.setUseSymmetry(boolean value) |
If true, find and exploit the eventual symmetries of the problem.
|
BopParameters.Builder |
BopParameters.Builder.setUseTranspositionTableInLs(boolean value) |
Whether we use an hash set during the LS to avoid exploring more than once
the "same" state.
|
BopParameters.Builder |
BopParameters.toBuilder() |
|