Java Reference

Java Reference

SatParametersOrBuilder.java
Go to the documentation of this file.
1 // Generated by the protocol buffer compiler. DO NOT EDIT!
2 // source: ortools/sat/sat_parameters.proto
3 
4 package com.google.ortools.sat;
5 
6 public interface SatParametersOrBuilder extends
7  // @@protoc_insertion_point(interface_extends:operations_research.sat.SatParameters)
8  com.google.protobuf.MessageOrBuilder {
9 
19  boolean hasName();
29  java.lang.String getName();
39  com.google.protobuf.ByteString
41 
51  com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder();
52 
57  boolean hasInitialPolarity();
62  com.google.ortools.sat.SatParameters.Polarity getInitialPolarity();
63 
80  boolean hasUsePhaseSaving();
97  boolean getUsePhaseSaving();
98 
121 
148 
171 
194 
223 
248 
258  com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm();
259 
269  com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm();
270 
295 
314 
335 
345  com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection();
346 
367 
377  com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering();
378 
397 
402  boolean hasPbCleanupRatio();
408 
447 
458 
489 
500 
525 
536 
547 
566 
577 
593  java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList();
626  com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index);
627 
637  java.lang.String getDefaultRestartAlgorithms();
642  com.google.protobuf.ByteString
644 
654  boolean hasRestartPeriod();
665 
684 
705 
716 
739 
750 
761 
784 
805 
826 
849 
878 
890  boolean hasMaxMemoryInMb();
903 
940 
951 
974 
988  boolean hasRandomSeed();
1003 
1028 
1039 
1044  boolean hasUseAbslRandom();
1049  boolean getUseAbslRandom();
1050 
1071 
1080  boolean hasLogPrefix();
1089  java.lang.String getLogPrefix();
1098  com.google.protobuf.ByteString
1100 
1109  boolean hasLogToStdout();
1118  boolean getLogToStdout();
1119 
1128  boolean hasLogToResponse();
1137  boolean getLogToResponse();
1138 
1163 
1188 
1221 
1244 
1265 
1286 
1307 
1326 
1351 
1374 
1393 
1418 
1439 
1458 
1477 
1488 
1509 
1528 
1549 
1570 
1591 
1612 
1639 
1650 
1675 
1704 
1729 
1738  boolean hasMinimizeCore();
1747  boolean getMinimizeCore();
1748 
1769 
1790 
1800  com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder();
1801 
1822 
1832  com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification();
1833 
1866 
1895 
1924 
1957 
1982 
2003 
2015  boolean hasMaxNumCuts();
2028 
2049 
2072 
2082  boolean hasAddCgCuts();
2092  boolean getAddCgCuts();
2093 
2103  boolean hasAddMirCuts();
2113  boolean getAddMirCuts();
2114 
2135 
2146  boolean hasAddCliqueCuts();
2157  boolean getAddCliqueCuts();
2158 
2181 
2192  boolean hasAddLinMaxCuts();
2203  boolean getAddLinMaxCuts();
2204 
2235 
2260 
2287 
2306 
2329 
2352 
2363 
2382 
2403 
2413  com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching();
2414 
2433 
2445  boolean hasRepairHint();
2457  boolean getRepairHint();
2458 
2483 
2506 
2525 
2548 
2569 
2592 
2613 
2634 
2659 
2684 
2713 
2742 
2773 
2800 
2821 
2846 
2865 
2886 
2915 
2942 
2953 
2972 
2991 
3010 
3019  boolean hasUseLnsOnly();
3028  boolean getUseLnsOnly();
3029 
3040 
3051 
3060  boolean hasUseRinsLns();
3069  boolean getUseRinsLns();
3070 
3089 
3094  boolean hasFpRounding();
3099  com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding();
3100 
3121 
3140 
3159 
3190 
3213 
3238 
3261 
3284 
3307 
3330 
3355 
3378 
3390  boolean hasSymmetryLevel();
3403 
3414  boolean hasMipMaxBound();
3425  double getMipMaxBound();
3426 
3437  boolean hasMipVarScaling();
3449 
3476 
3513 
3544 
3567 }
com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
boolean getPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
com.google.protobuf.ByteString getLogPrefixBytes()
boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
boolean hasPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
boolean getLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
boolean getUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
boolean hasLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
boolean hasUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
com.google.protobuf.ByteString getNameBytes()
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];