Detailed Description

Contains the definitions for all the bop algorithm parameters and their
default values.

NEXT TAG: 42

Protobuf type operations_research.bop.BopParameters

Definition at line 19 of file BopParameters.java.

Inheritance diagram for com.google.ortools.bop.BopParameters:

Classes
class	Builder
enum	ThreadSynchronizationType

Public Member Functions
boolean	hasMaxTimeInSeconds ()
double	getMaxTimeInSeconds ()
boolean	hasMaxDeterministicTime ()
double	getMaxDeterministicTime ()
boolean	hasLpMaxDeterministicTime ()
double	getLpMaxDeterministicTime ()
boolean	hasMaxNumberOfConsecutiveFailingOptimizerCalls ()
int	getMaxNumberOfConsecutiveFailingOptimizerCalls ()
boolean	hasRelativeGapLimit ()
double	getRelativeGapLimit ()
boolean	hasMaxNumDecisionsInLs ()
int	getMaxNumDecisionsInLs ()
boolean	hasMaxNumBrokenConstraintsInLs ()
int	getMaxNumBrokenConstraintsInLs ()
boolean	hasLogSearchProgress ()
boolean	getLogSearchProgress ()
boolean	hasComputeEstimatedImpact ()
boolean	getComputeEstimatedImpact ()
boolean	hasPruneSearchTree ()
boolean	getPruneSearchTree ()
boolean	hasSortConstraintsByNumTerms ()
boolean	getSortConstraintsByNumTerms ()
boolean	hasUseRandomLns ()
boolean	getUseRandomLns ()
boolean	hasRandomSeed ()
int	getRandomSeed ()
boolean	hasNumRelaxedVars ()
int	getNumRelaxedVars ()
boolean	hasMaxNumberOfConflictsInRandomLns ()
int	getMaxNumberOfConflictsInRandomLns ()
boolean	hasNumRandomLnsTries ()
int	getNumRandomLnsTries ()
boolean	hasMaxNumberOfBacktracksInLs ()
long	getMaxNumberOfBacktracksInLs ()
boolean	hasUseLpLns ()
boolean	getUseLpLns ()
boolean	hasUseSatToChooseLnsNeighbourhood ()
boolean	getUseSatToChooseLnsNeighbourhood ()
boolean	hasMaxNumberOfConflictsForQuickCheck ()
int	getMaxNumberOfConflictsForQuickCheck ()
boolean	hasUseSymmetry ()
boolean	getUseSymmetry ()
boolean	hasExploitSymmetryInSatFirstSolution ()
boolean	getExploitSymmetryInSatFirstSolution ()
boolean	hasMaxNumberOfConflictsInRandomSolutionGeneration ()
int	getMaxNumberOfConflictsInRandomSolutionGeneration ()
boolean	hasMaxNumberOfExploredAssignmentsPerTryInLs ()
long	getMaxNumberOfExploredAssignmentsPerTryInLs ()
boolean	hasUseTranspositionTableInLs ()
boolean	getUseTranspositionTableInLs ()
boolean	hasUsePotentialOneFlipRepairsInLs ()
boolean	getUsePotentialOneFlipRepairsInLs ()
boolean	hasUseLearnedBinaryClausesInLp ()
boolean	getUseLearnedBinaryClausesInLp ()
boolean	hasNumberOfSolvers ()
int	getNumberOfSolvers ()
boolean	hasSynchronizationType ()
com.google.ortools.bop.BopParameters.ThreadSynchronizationType	getSynchronizationType ()
java.util.List< com.google.ortools.bop.BopSolverOptimizerSet >	getSolverOptimizerSetsList ()
java.util.List<? extends com.google.ortools.bop.BopSolverOptimizerSetOrBuilder >	getSolverOptimizerSetsOrBuilderList ()
int	getSolverOptimizerSetsCount ()
com.google.ortools.bop.BopSolverOptimizerSet	getSolverOptimizerSets (int index)
com.google.ortools.bop.BopSolverOptimizerSetOrBuilder	getSolverOptimizerSetsOrBuilder (int index)
boolean	hasDefaultSolverOptimizerSets ()
java.lang.String	getDefaultSolverOptimizerSets ()
com.google.protobuf.ByteString	getDefaultSolverOptimizerSetsBytes ()
boolean	hasUseLpStrongBranching ()
boolean	getUseLpStrongBranching ()
boolean	hasDecomposerNumVariablesThreshold ()
int	getDecomposerNumVariablesThreshold ()
boolean	hasNumBopSolversUsedByDecomposition ()
int	getNumBopSolversUsedByDecomposition ()
boolean	hasDecomposedProblemMinTimeInSeconds ()
double	getDecomposedProblemMinTimeInSeconds ()
boolean	hasGuidedSatConflictsChunk ()
int	getGuidedSatConflictsChunk ()
boolean	hasMaxLpSolveForFeasibilityProblems ()
int	getMaxLpSolveForFeasibilityProblems ()
final boolean	isInitialized ()
void	writeTo (com.google.protobuf.CodedOutputStream output) throws java.io.IOException
int	getSerializedSize ()
boolean	equals (final java.lang.Object obj)
int	hashCode ()
Builder	newBuilderForType ()
Builder	toBuilder ()
com.google.protobuf.Parser< BopParameters >	getParserForType ()
com.google.ortools.bop.BopParameters	getDefaultInstanceForType ()

Static Public Member Functions
static final com.google.protobuf.Descriptors.Descriptor	getDescriptor ()
static com.google.ortools.bop.BopParameters	parseFrom (java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.bop.BopParameters	parseFrom (java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.bop.BopParameters	parseFrom (com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.bop.BopParameters	parseFrom (com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.bop.BopParameters	parseFrom (byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.bop.BopParameters	parseFrom (byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.bop.BopParameters	parseFrom (java.io.InputStream input) throws java.io.IOException
static com.google.ortools.bop.BopParameters	parseFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static com.google.ortools.bop.BopParameters	parseDelimitedFrom (java.io.InputStream input) throws java.io.IOException
static com.google.ortools.bop.BopParameters	parseDelimitedFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static com.google.ortools.bop.BopParameters	parseFrom (com.google.protobuf.CodedInputStream input) throws java.io.IOException
static com.google.ortools.bop.BopParameters	parseFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static Builder	newBuilder ()
static Builder	newBuilder (com.google.ortools.bop.BopParameters prototype)
static com.google.ortools.bop.BopParameters	getDefaultInstance ()
static com.google.protobuf.Parser< BopParameters >	parser ()

Static Public Attributes
static final int	MAX_TIME_IN_SECONDS_FIELD_NUMBER = 1
static final int	MAX_DETERMINISTIC_TIME_FIELD_NUMBER = 27
static final int	LP_MAX_DETERMINISTIC_TIME_FIELD_NUMBER = 37
static final int	MAX_NUMBER_OF_CONSECUTIVE_FAILING_OPTIMIZER_CALLS_FIELD_NUMBER = 35
static final int	RELATIVE_GAP_LIMIT_FIELD_NUMBER = 28
static final int	MAX_NUM_DECISIONS_IN_LS_FIELD_NUMBER = 2
static final int	MAX_NUM_BROKEN_CONSTRAINTS_IN_LS_FIELD_NUMBER = 38
static final int	LOG_SEARCH_PROGRESS_FIELD_NUMBER = 14
static final int	COMPUTE_ESTIMATED_IMPACT_FIELD_NUMBER = 3
static final int	PRUNE_SEARCH_TREE_FIELD_NUMBER = 4
static final int	SORT_CONSTRAINTS_BY_NUM_TERMS_FIELD_NUMBER = 5
static final int	USE_RANDOM_LNS_FIELD_NUMBER = 6
static final int	RANDOM_SEED_FIELD_NUMBER = 7
static final int	NUM_RELAXED_VARS_FIELD_NUMBER = 8
static final int	MAX_NUMBER_OF_CONFLICTS_IN_RANDOM_LNS_FIELD_NUMBER = 9
static final int	NUM_RANDOM_LNS_TRIES_FIELD_NUMBER = 10
static final int	MAX_NUMBER_OF_BACKTRACKS_IN_LS_FIELD_NUMBER = 11
static final int	USE_LP_LNS_FIELD_NUMBER = 12
static final int	USE_SAT_TO_CHOOSE_LNS_NEIGHBOURHOOD_FIELD_NUMBER = 15
static final int	MAX_NUMBER_OF_CONFLICTS_FOR_QUICK_CHECK_FIELD_NUMBER = 16
static final int	USE_SYMMETRY_FIELD_NUMBER = 17
static final int	EXPLOIT_SYMMETRY_IN_SAT_FIRST_SOLUTION_FIELD_NUMBER = 40
static final int	MAX_NUMBER_OF_CONFLICTS_IN_RANDOM_SOLUTION_GENERATION_FIELD_NUMBER = 20
static final int	MAX_NUMBER_OF_EXPLORED_ASSIGNMENTS_PER_TRY_IN_LS_FIELD_NUMBER = 21
static final int	USE_TRANSPOSITION_TABLE_IN_LS_FIELD_NUMBER = 22
static final int	USE_POTENTIAL_ONE_FLIP_REPAIRS_IN_LS_FIELD_NUMBER = 39
static final int	USE_LEARNED_BINARY_CLAUSES_IN_LP_FIELD_NUMBER = 23
static final int	NUMBER_OF_SOLVERS_FIELD_NUMBER = 24
static final int	SYNCHRONIZATION_TYPE_FIELD_NUMBER = 25
static final int	SOLVER_OPTIMIZER_SETS_FIELD_NUMBER = 26
static final int	DEFAULT_SOLVER_OPTIMIZER_SETS_FIELD_NUMBER = 33
static final int	USE_LP_STRONG_BRANCHING_FIELD_NUMBER = 29
static final int	DECOMPOSER_NUM_VARIABLES_THRESHOLD_FIELD_NUMBER = 30
static final int	NUM_BOP_SOLVERS_USED_BY_DECOMPOSITION_FIELD_NUMBER = 31
static final int	DECOMPOSED_PROBLEM_MIN_TIME_IN_SECONDS_FIELD_NUMBER = 36
static final int	GUIDED_SAT_CONFLICTS_CHUNK_FIELD_NUMBER = 34
static final int	MAX_LP_SOLVE_FOR_FEASIBILITY_PROBLEMS_FIELD_NUMBER = 41

Protected Member Functions
com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable ()
Builder	newBuilderForType (com.google.protobuf.GeneratedMessage.BuilderParent parent)

Member Function Documentation

◆ equals()

boolean com.google.ortools.bop.BopParameters.equals ( final java.lang.Object obj )

Definition at line 1750 of file BopParameters.java.

◆ getComputeEstimatedImpact()

boolean com.google.ortools.bop.BopParameters.getComputeEstimatedImpact ( )

Compute estimated impact at each iteration when true; only once when false.

optional bool compute_estimated_impact = 3 [default = true];

Returns: The computeEstimatedImpact.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 551 of file BopParameters.java.

◆ getDecomposedProblemMinTimeInSeconds()

double com.google.ortools.bop.BopParameters.getDecomposedProblemMinTimeInSeconds ( )

HACK. To avoid spending too little time on small problems, spend at least
this time solving each of the decomposed sub-problem. This only make sense
if num_bop_solvers_used_by_decomposition is greater than 1 so that the
overhead can be "absorbed" by the other threads.

optional double decomposed_problem_min_time_in_seconds = 36 [default = 0];

Returns: The decomposedProblemMinTimeInSeconds.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 1395 of file BopParameters.java.

◆ getDecomposerNumVariablesThreshold()

int com.google.ortools.bop.BopParameters.getDecomposerNumVariablesThreshold ( )

Only try to decompose the problem when the number of variables is greater
than the threshold.

optional int32 decomposer_num_variables_threshold = 30 [default = 50];

Returns: The decomposerNumVariablesThreshold.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 1331 of file BopParameters.java.

◆ getDefaultInstance()

com.google.ortools.bop.BopParameters com.google.ortools.bop.BopParameters.getDefaultInstance ( )

static

Definition at line 5552 of file BopParameters.java.

◆ getDefaultInstanceForType()

com.google.ortools.bop.BopParameters com.google.ortools.bop.BopParameters.getDefaultInstanceForType ( )

Definition at line 5588 of file BopParameters.java.

◆ getDefaultSolverOptimizerSets()

java.lang.String com.google.ortools.bop.BopParameters.getDefaultSolverOptimizerSets ( )

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 } "];

Returns: The defaultSolverOptimizerSets.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 1230 of file BopParameters.java.

◆ getDefaultSolverOptimizerSetsBytes()

com.google.protobuf.ByteString com.google.ortools.bop.BopParameters.getDefaultSolverOptimizerSetsBytes ( )

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 } "];

Returns: The bytes for defaultSolverOptimizerSets.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 1250 of file BopParameters.java.

◆ getDescriptor()

final com.google.protobuf.Descriptors.Descriptor com.google.ortools.bop.BopParameters.getDescriptor ( )

static

Definition at line 68 of file BopParameters.java.

◆ getExploitSymmetryInSatFirstSolution()

boolean com.google.ortools.bop.BopParameters.getExploitSymmetryInSatFirstSolution ( )

If true, find and exploit symmetries in proving satisfiability in the first
problem.
This feature is experimental. On some problems, computing symmetries may
run forever. You may also run into unforseen problems as this feature was
not extensively tested.

optional bool exploit_symmetry_in_sat_first_solution = 40 [default = false];

Returns: The exploitSymmetryInSatFirstSolution.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 934 of file BopParameters.java.

◆ getGuidedSatConflictsChunk()

int com.google.ortools.bop.BopParameters.getGuidedSatConflictsChunk ( )

The first solutions based on guided SAT will work in chunk of that many
conflicts at the time. This allows to simulate parallelism between the
different guiding strategy on a single core.

optional int32 guided_sat_conflicts_chunk = 34 [default = 1000];

Returns: The guidedSatConflictsChunk.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 1426 of file BopParameters.java.

◆ getLogSearchProgress()

boolean com.google.ortools.bop.BopParameters.getLogSearchProgress ( )

Whether the solver should log the search progress to LOG(INFO).

optional bool log_search_progress = 14 [default = false];

Returns: The logSearchProgress.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 524 of file BopParameters.java.

◆ getLpMaxDeterministicTime()

double com.google.ortools.bop.BopParameters.getLpMaxDeterministicTime ( )

The max deterministic time given to the LP solver each time it is called.
If this is not enough to solve the LP at hand, it will simply be called
again later (and the solve will resume from where it stopped).

optional double lp_max_deterministic_time = 37 [default = 1];

Returns: The lpMaxDeterministicTime.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 367 of file BopParameters.java.

◆ getMaxDeterministicTime()

double com.google.ortools.bop.BopParameters.getMaxDeterministicTime ( )

Maximum time allowed in deterministic time to solve a problem.
The deterministic time should be correlated with the real time used by the
solver, the time unit being roughly the order of magnitude of a second.
The counter will starts as soon as SetParameters() or SolveWithTimeLimit()
is called.

optional double max_deterministic_time = 27 [default = inf];

Returns: The maxDeterministicTime.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 336 of file BopParameters.java.

◆ getMaxLpSolveForFeasibilityProblems()

int com.google.ortools.bop.BopParameters.getMaxLpSolveForFeasibilityProblems ( )

The maximum number of time the LP solver will run to feasibility for pure
feasibility problems (with a constant-valued objective function). Set this
to a small value, e.g., 1, if fractional solutions offer useful guidance to
other solvers in the portfolio. A negative value means no limit.

optional int32 max_lp_solve_for_feasibility_problems = 41 [default = 0];

Returns: The maxLpSolveForFeasibilityProblems.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 1459 of file BopParameters.java.

◆ getMaxNumberOfBacktracksInLs()

long com.google.ortools.bop.BopParameters.getMaxNumberOfBacktracksInLs ( )

Maximum number of backtracks times the number of variables in Local Search,
ie. max num backtracks == max_number_of_backtracks_in_ls / num variables.

optional int64 max_number_of_backtracks_in_ls = 11 [default = 100000000];

Returns: The maxNumberOfBacktracksInLs.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 781 of file BopParameters.java.

◆ getMaxNumberOfConflictsForQuickCheck()

int com.google.ortools.bop.BopParameters.getMaxNumberOfConflictsForQuickCheck ( )

The number of conflicts the SAT solver has to solve a random LNS
subproblem for the quick check of infeasibility.

optional int32 max_number_of_conflicts_for_quick_check = 16 [default = 10];

Returns: The maxNumberOfConflictsForQuickCheck.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 864 of file BopParameters.java.

◆ getMaxNumberOfConflictsInRandomLns()

int com.google.ortools.bop.BopParameters.getMaxNumberOfConflictsInRandomLns ( )

The number of conflicts the SAT solver has to solve a random LNS
subproblem.

optional int32 max_number_of_conflicts_in_random_lns = 9 [default = 2500];

Returns: The maxNumberOfConflictsInRandomLns.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 725 of file BopParameters.java.

◆ getMaxNumberOfConflictsInRandomSolutionGeneration()

int com.google.ortools.bop.BopParameters.getMaxNumberOfConflictsInRandomSolutionGeneration ( )

The number of conflicts the SAT solver has to generate a random solution.

optional int32 max_number_of_conflicts_in_random_solution_generation = 20 [default = 500];

Returns: The maxNumberOfConflictsInRandomSolutionGeneration.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 961 of file BopParameters.java.

◆ getMaxNumberOfConsecutiveFailingOptimizerCalls()

int com.google.ortools.bop.BopParameters.getMaxNumberOfConsecutiveFailingOptimizerCalls ( )

Maximum number of consecutive optimizer calls without improving the
current solution. If this number is reached, the search will be aborted.
Note that this parameter only applies when an initial solution has been
found or is provided. Also note that there is no limit to the number of
calls, when the parameter is not set.

optional int32 max_number_of_consecutive_failing_optimizer_calls = 35;

Returns: The maxNumberOfConsecutiveFailingOptimizerCalls.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 402 of file BopParameters.java.

◆ getMaxNumberOfExploredAssignmentsPerTryInLs()

long com.google.ortools.bop.BopParameters.getMaxNumberOfExploredAssignmentsPerTryInLs ( )

The maximum number of assignments the Local Search iterates on during one
try. Note that if the Local Search is called again on the same solution
it will not restart from scratch but will iterate on the next
max_number_of_explored_assignments_per_try_in_ls assignments.

optional int64 max_number_of_explored_assignments_per_try_in_ls = 21 [default = 10000];

Returns: The maxNumberOfExploredAssignmentsPerTryInLs.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 994 of file BopParameters.java.

◆ getMaxNumBrokenConstraintsInLs()

int com.google.ortools.bop.BopParameters.getMaxNumBrokenConstraintsInLs ( )

Abort the LS search tree as soon as strictly more than this number of
constraints are broken. The default is a large value which basically
disable this heuristic.

optional int32 max_num_broken_constraints_in_ls = 38 [default = 2147483647];

Returns: The maxNumBrokenConstraintsInLs.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 497 of file BopParameters.java.

◆ getMaxNumDecisionsInLs()

int com.google.ortools.bop.BopParameters.getMaxNumDecisionsInLs ( )

Maximum number of cascading decisions the solver might use to repair the
current solution in the LS.

optional int32 max_num_decisions_in_ls = 2 [default = 4];

Returns: The maxNumDecisionsInLs.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 466 of file BopParameters.java.

◆ getMaxTimeInSeconds()

double com.google.ortools.bop.BopParameters.getMaxTimeInSeconds ( )

Maximum time allowed in seconds to solve a problem.
The counter will starts as soon as Solve() is called.

optional double max_time_in_seconds = 1 [default = inf];

Returns: The maxTimeInSeconds.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 301 of file BopParameters.java.

◆ getNumberOfSolvers()

int com.google.ortools.bop.BopParameters.getNumberOfSolvers ( )

The number of solvers used to run Bop. Note that one thread will be created
per solver. The type of communication between solvers is specified by the
synchronization_type parameter.

optional int32 number_of_solvers = 24 [default = 1];

Returns: The numberOfSolvers.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 1116 of file BopParameters.java.

◆ getNumBopSolversUsedByDecomposition()

int com.google.ortools.bop.BopParameters.getNumBopSolversUsedByDecomposition ( )

The number of BopSolver created (thread pool workers) used by the integral
solver to solve a decomposed problem.
TODO(user): Merge this with the number_of_solvers parameter.

optional int32 num_bop_solvers_used_by_decomposition = 31 [default = 1];

Returns: The numBopSolversUsedByDecomposition.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 1362 of file BopParameters.java.

◆ getNumRandomLnsTries()

int com.google.ortools.bop.BopParameters.getNumRandomLnsTries ( )

Number of tries in the random lns.

optional int32 num_random_lns_tries = 10 [default = 1];

Returns: The numRandomLnsTries.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 752 of file BopParameters.java.

◆ getNumRelaxedVars()

int com.google.ortools.bop.BopParameters.getNumRelaxedVars ( )

Number of variables to relax in the exhaustive Large Neighborhood Search.

optional int32 num_relaxed_vars = 8 [default = 10];

Returns: The numRelaxedVars.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 696 of file BopParameters.java.

◆ getParserForType()

com.google.protobuf.Parser< BopParameters > com.google.ortools.bop.BopParameters.getParserForType ( )

Definition at line 5583 of file BopParameters.java.

◆ getPruneSearchTree()

boolean com.google.ortools.bop.BopParameters.getPruneSearchTree ( )

Avoid exploring both branches (b, a, ...) and (a, b, ...).

optional bool prune_search_tree = 4 [default = false];

Returns: The pruneSearchTree.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 578 of file BopParameters.java.

◆ getRandomSeed()

int com.google.ortools.bop.BopParameters.getRandomSeed ( )

The seed used to initialize the random generator.

TODO(user): Some of our client test fail depending on this value! we need
to fix them and ideally randomize our behavior from on test to the next so
that this doesn't happen in the future.

optional int32 random_seed = 7 [default = 8];

Returns: The randomSeed.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 669 of file BopParameters.java.

◆ getRelativeGapLimit()

double com.google.ortools.bop.BopParameters.getRelativeGapLimit ( )

Limit used to stop the optimization as soon as the relative gap is smaller
than the given value.
The relative gap is defined as:
abs(solution_cost - best_bound)
/ max(abs(solution_cost), abs(best_bound)).

optional double relative_gap_limit = 28 [default = 0.0001];

Returns: The relativeGapLimit.

Implements com.google.ortools.bop.BopParametersOrBuilder.

Definition at line 437 of file BopParameters.java.

◆ getSerializedSize()

int com.google.ortools.bop.BopParameters.getSerializedSize ( )

Definition at line 1592 of file BopParameters.java.

◆ getSolverOptimizerSets()

com.google.ortools.bop.BopSolverOptimizerSet com.google.ortools.bop.BopParameters.getSolverOptimizerSets ( int index )

List of set of optimizers to be run by the solvers.
Note that the i_th solver will run the
min(i, solver_optimizer_sets_size())_th optimizer set.
The default is defined by default_solver_optimizer_sets (only one set).