![]() |
Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
|
Definition at line 548 of file sat_parameters.pb.h.
#include <sat_parameters.pb.h>
Classes | |
class | _Internal |
Public Member Functions | |
SatParameters () | |
~SatParameters () PROTOBUF_FINAL | |
template<typename = void> | |
PROTOBUF_CONSTEXPR | SatParameters (::google::protobuf::internal::ConstantInitialized) |
SatParameters (const SatParameters &from) | |
SatParameters (SatParameters &&from) noexcept | |
SatParameters & | operator= (const SatParameters &from) |
SatParameters & | operator= (SatParameters &&from) noexcept |
const ::google::protobuf::UnknownFieldSet & | unknown_fields () const ABSL_ATTRIBUTE_LIFETIME_BOUND |
inline ::google::protobuf::UnknownFieldSet *PROTOBUF_NONNULL | mutable_unknown_fields () ABSL_ATTRIBUTE_LIFETIME_BOUND |
void | Swap (SatParameters *PROTOBUF_NONNULL other) |
void | UnsafeArenaSwap (SatParameters *PROTOBUF_NONNULL other) |
SatParameters *PROTOBUF_NONNULL | New (::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const |
implements Message -------------------------------------------— | |
void | CopyFrom (const SatParameters &from) |
void | MergeFrom (const SatParameters &from) |
bool | IsInitialized () const |
ABSL_ATTRIBUTE_REINITIALIZES void | Clear () PROTOBUF_FINAL |
::size_t | ByteSizeLong () const final |
::uint8_t *PROTOBUF_NONNULL | _InternalSerialize (::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final |
int | GetCachedSize () const |
::google::protobuf::Metadata | GetMetadata () const |
int | restart_algorithms_size () const |
repeated .operations_research.sat.SatParameters.RestartAlgorithm restart_algorithms = 61; | |
void | clear_restart_algorithms () |
::operations_research::sat::SatParameters_RestartAlgorithm | restart_algorithms (int index) const |
void | set_restart_algorithms (int index, ::operations_research::sat::SatParameters_RestartAlgorithm value) |
void | add_restart_algorithms (::operations_research::sat::SatParameters_RestartAlgorithm value) |
const ::google::protobuf::RepeatedField< int > & | restart_algorithms () const |
::google::protobuf::RepeatedField< int > *PROTOBUF_NONNULL | mutable_restart_algorithms () |
int | subsolvers_size () const |
repeated string subsolvers = 207; | |
void | clear_subsolvers () |
const ::std::string & | subsolvers (int index) const |
::std::string *PROTOBUF_NONNULL | mutable_subsolvers (int index) |
template<typename Arg_ = const ::std::string&, typename... Args_> | |
void | set_subsolvers (int index, Arg_ &&value, Args_... args) |
::std::string *PROTOBUF_NONNULL | add_subsolvers () |
template<typename Arg_ = const ::std::string&, typename... Args_> | |
void | add_subsolvers (Arg_ &&value, Args_... args) |
const ::google::protobuf::RepeatedPtrField<::std::string > & | subsolvers () const |
::google::protobuf::RepeatedPtrField<::std::string > *PROTOBUF_NONNULL | mutable_subsolvers () |
int | ignore_subsolvers_size () const |
repeated string ignore_subsolvers = 209; | |
void | clear_ignore_subsolvers () |
const ::std::string & | ignore_subsolvers (int index) const |
::std::string *PROTOBUF_NONNULL | mutable_ignore_subsolvers (int index) |
template<typename Arg_ = const ::std::string&, typename... Args_> | |
void | set_ignore_subsolvers (int index, Arg_ &&value, Args_... args) |
::std::string *PROTOBUF_NONNULL | add_ignore_subsolvers () |
template<typename Arg_ = const ::std::string&, typename... Args_> | |
void | add_ignore_subsolvers (Arg_ &&value, Args_... args) |
const ::google::protobuf::RepeatedPtrField<::std::string > & | ignore_subsolvers () const |
::google::protobuf::RepeatedPtrField<::std::string > *PROTOBUF_NONNULL | mutable_ignore_subsolvers () |
int | subsolver_params_size () const |
repeated .operations_research.sat.SatParameters subsolver_params = 210; | |
void | clear_subsolver_params () |
::operations_research::sat::SatParameters *PROTOBUF_NONNULL | mutable_subsolver_params (int index) |
::google::protobuf::RepeatedPtrField<::operations_research::sat::SatParameters > *PROTOBUF_NONNULL | mutable_subsolver_params () |
const ::operations_research::sat::SatParameters & | subsolver_params (int index) const |
::operations_research::sat::SatParameters *PROTOBUF_NONNULL | add_subsolver_params () |
const ::google::protobuf::RepeatedPtrField<::operations_research::sat::SatParameters > & | subsolver_params () const |
int | extra_subsolvers_size () const |
repeated string extra_subsolvers = 219; | |
void | clear_extra_subsolvers () |
const ::std::string & | extra_subsolvers (int index) const |
::std::string *PROTOBUF_NONNULL | mutable_extra_subsolvers (int index) |
template<typename Arg_ = const ::std::string&, typename... Args_> | |
void | set_extra_subsolvers (int index, Arg_ &&value, Args_... args) |
::std::string *PROTOBUF_NONNULL | add_extra_subsolvers () |
template<typename Arg_ = const ::std::string&, typename... Args_> | |
void | add_extra_subsolvers (Arg_ &&value, Args_... args) |
const ::google::protobuf::RepeatedPtrField<::std::string > & | extra_subsolvers () const |
::google::protobuf::RepeatedPtrField<::std::string > *PROTOBUF_NONNULL | mutable_extra_subsolvers () |
int | filter_subsolvers_size () const |
repeated string filter_subsolvers = 293; | |
void | clear_filter_subsolvers () |
const ::std::string & | filter_subsolvers (int index) const |
::std::string *PROTOBUF_NONNULL | mutable_filter_subsolvers (int index) |
template<typename Arg_ = const ::std::string&, typename... Args_> | |
void | set_filter_subsolvers (int index, Arg_ &&value, Args_... args) |
::std::string *PROTOBUF_NONNULL | add_filter_subsolvers () |
template<typename Arg_ = const ::std::string&, typename... Args_> | |
void | add_filter_subsolvers (Arg_ &&value, Args_... args) |
const ::google::protobuf::RepeatedPtrField<::std::string > & | filter_subsolvers () const |
::google::protobuf::RepeatedPtrField<::std::string > *PROTOBUF_NONNULL | mutable_filter_subsolvers () |
bool | has_default_restart_algorithms () const |
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART"]; | |
void | clear_default_restart_algorithms () |
const ::std::string & | default_restart_algorithms () const |
template<typename Arg_ = const ::std::string&, typename... Args_> | |
void | set_default_restart_algorithms (Arg_ &&arg, Args_... args) |
::std::string *PROTOBUF_NONNULL | mutable_default_restart_algorithms () |
::std::string *PROTOBUF_NULLABLE | release_default_restart_algorithms () |
void | set_allocated_default_restart_algorithms (::std::string *PROTOBUF_NULLABLE value) |
bool | has_name () const |
optional string name = 171 [default = ""]; | |
void | clear_name () |
const ::std::string & | name () const |
template<typename Arg_ = const ::std::string&, typename... Args_> | |
void | set_name (Arg_ &&arg, Args_... args) |
::std::string *PROTOBUF_NONNULL | mutable_name () |
::std::string *PROTOBUF_NULLABLE | release_name () |
void | set_allocated_name (::std::string *PROTOBUF_NULLABLE value) |
bool | has_log_prefix () const |
optional string log_prefix = 185 [default = ""]; | |
void | clear_log_prefix () |
const ::std::string & | log_prefix () const |
template<typename Arg_ = const ::std::string&, typename... Args_> | |
void | set_log_prefix (Arg_ &&arg, Args_... args) |
::std::string *PROTOBUF_NONNULL | mutable_log_prefix () |
::std::string *PROTOBUF_NULLABLE | release_log_prefix () |
void | set_allocated_log_prefix (::std::string *PROTOBUF_NULLABLE value) |
bool | has_preferred_variable_order () const |
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default = IN_ORDER]; | |
void | clear_preferred_variable_order () |
::operations_research::sat::SatParameters_VariableOrder | preferred_variable_order () const |
void | set_preferred_variable_order (::operations_research::sat::SatParameters_VariableOrder value) |
bool | has_clause_cleanup_target () const |
optional int32 clause_cleanup_target = 13 [default = 0]; | |
void | clear_clause_cleanup_target () |
::int32_t | clause_cleanup_target () const |
void | set_clause_cleanup_target (::int32_t value) |
bool | has_random_branches_ratio () const |
optional double random_branches_ratio = 32 [default = 0]; | |
void | clear_random_branches_ratio () |
double | random_branches_ratio () const |
void | set_random_branches_ratio (double value) |
bool | has_random_polarity_ratio () const |
optional double random_polarity_ratio = 45 [default = 0]; | |
void | clear_random_polarity_ratio () |
double | random_polarity_ratio () const |
void | set_random_polarity_ratio (double value) |
bool | has_log_search_progress () const |
optional bool log_search_progress = 41 [default = false]; | |
void | clear_log_search_progress () |
bool | log_search_progress () const |
void | set_log_search_progress (bool value) |
bool | has_use_pb_resolution () const |
optional bool use_pb_resolution = 43 [default = false]; | |
void | clear_use_pb_resolution () |
bool | use_pb_resolution () const |
void | set_use_pb_resolution (bool value) |
bool | has_minimize_reduction_during_pb_resolution () const |
optional bool minimize_reduction_during_pb_resolution = 48 [default = false]; | |
void | clear_minimize_reduction_during_pb_resolution () |
bool | minimize_reduction_during_pb_resolution () const |
void | set_minimize_reduction_during_pb_resolution (bool value) |
bool | has_max_sat_reverse_assumption_order () const |
optional bool max_sat_reverse_assumption_order = 52 [default = false]; | |
void | clear_max_sat_reverse_assumption_order () |
bool | max_sat_reverse_assumption_order () const |
void | set_max_sat_reverse_assumption_order (bool value) |
bool | has_max_sat_assumption_order () const |
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [default = DEFAULT_ASSUMPTION_ORDER]; | |
void | clear_max_sat_assumption_order () |
::operations_research::sat::SatParameters_MaxSatAssumptionOrder | max_sat_assumption_order () const |
void | set_max_sat_assumption_order (::operations_research::sat::SatParameters_MaxSatAssumptionOrder value) |
bool | has_clause_cleanup_protection () const |
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [default = PROTECTION_NONE]; | |
void | clear_clause_cleanup_protection () |
::operations_research::sat::SatParameters_ClauseProtection | clause_cleanup_protection () const |
void | set_clause_cleanup_protection (::operations_research::sat::SatParameters_ClauseProtection value) |
bool | has_clause_cleanup_ordering () const |
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default = CLAUSE_ACTIVITY]; | |
void | clear_clause_cleanup_ordering () |
::operations_research::sat::SatParameters_ClauseOrdering | clause_cleanup_ordering () const |
void | set_clause_cleanup_ordering (::operations_research::sat::SatParameters_ClauseOrdering value) |
bool | has_strategy_change_increase_ratio () const |
optional double strategy_change_increase_ratio = 69 [default = 0]; | |
void | clear_strategy_change_increase_ratio () |
double | strategy_change_increase_ratio () const |
void | set_strategy_change_increase_ratio (double value) |
bool | has_num_conflicts_before_strategy_changes () const |
optional int32 num_conflicts_before_strategy_changes = 68 [default = 0]; | |
void | clear_num_conflicts_before_strategy_changes () |
::int32_t | num_conflicts_before_strategy_changes () const |
void | set_num_conflicts_before_strategy_changes (::int32_t value) |
bool | has_use_blocking_restart () const |
optional bool use_blocking_restart = 64 [default = false]; | |
void | clear_use_blocking_restart () |
bool | use_blocking_restart () const |
void | set_use_blocking_restart (bool value) |
bool | has_use_erwa_heuristic () const |
optional bool use_erwa_heuristic = 75 [default = false]; | |
void | clear_use_erwa_heuristic () |
bool | use_erwa_heuristic () const |
void | set_use_erwa_heuristic (bool value) |
bool | has_also_bump_variables_in_conflict_reasons () const |
optional bool also_bump_variables_in_conflict_reasons = 77 [default = false]; | |
void | clear_also_bump_variables_in_conflict_reasons () |
bool | also_bump_variables_in_conflict_reasons () const |
void | set_also_bump_variables_in_conflict_reasons (bool value) |
bool | has_use_overload_checker_in_cumulative () const |
optional bool use_overload_checker_in_cumulative = 78 [default = false]; | |
void | clear_use_overload_checker_in_cumulative () |
bool | use_overload_checker_in_cumulative () const |
void | set_use_overload_checker_in_cumulative (bool value) |
bool | has_initial_variables_activity () const |
optional double initial_variables_activity = 76 [default = 0]; | |
void | clear_initial_variables_activity () |
double | initial_variables_activity () const |
void | set_initial_variables_activity (double value) |
bool | has_search_branching () const |
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTOMATIC_SEARCH]; | |
void | clear_search_branching () |
::operations_research::sat::SatParameters_SearchBranching | search_branching () const |
void | set_search_branching (::operations_research::sat::SatParameters_SearchBranching value) |
bool | has_use_timetable_edge_finding_in_cumulative () const |
optional bool use_timetable_edge_finding_in_cumulative = 79 [default = false]; | |
void | clear_use_timetable_edge_finding_in_cumulative () |
bool | use_timetable_edge_finding_in_cumulative () const |
void | set_use_timetable_edge_finding_in_cumulative (bool value) |
bool | has_optimize_with_core () const |
optional bool optimize_with_core = 83 [default = false]; | |
void | clear_optimize_with_core () |
bool | optimize_with_core () const |
void | set_optimize_with_core (bool value) |
bool | has_optimize_with_max_hs () const |
optional bool optimize_with_max_hs = 85 [default = false]; | |
void | clear_optimize_with_max_hs () |
bool | optimize_with_max_hs () const |
void | set_optimize_with_max_hs (bool value) |
bool | has_enumerate_all_solutions () const |
optional bool enumerate_all_solutions = 87 [default = false]; | |
void | clear_enumerate_all_solutions () |
bool | enumerate_all_solutions () const |
void | set_enumerate_all_solutions (bool value) |
bool | has_only_add_cuts_at_level_zero () const |
optional bool only_add_cuts_at_level_zero = 92 [default = false]; | |
void | clear_only_add_cuts_at_level_zero () |
bool | only_add_cuts_at_level_zero () const |
void | set_only_add_cuts_at_level_zero (bool value) |
bool | has_stop_after_first_solution () const |
optional bool stop_after_first_solution = 98 [default = false]; | |
void | clear_stop_after_first_solution () |
bool | stop_after_first_solution () const |
void | set_stop_after_first_solution (bool value) |
bool | has_use_lns_only () const |
optional bool use_lns_only = 101 [default = false]; | |
void | clear_use_lns_only () |
bool | use_lns_only () const |
void | set_use_lns_only (bool value) |
bool | has_randomize_search () const |
optional bool randomize_search = 103 [default = false]; | |
void | clear_randomize_search () |
bool | randomize_search () const |
void | set_randomize_search (bool value) |
bool | has_num_search_workers () const |
optional int32 num_search_workers = 100 [default = 0]; | |
void | clear_num_search_workers () |
::int32_t | num_search_workers () const |
void | set_num_search_workers (::int32_t value) |
bool | has_search_random_variable_pool_size () const |
optional int64 search_random_variable_pool_size = 104 [default = 0]; | |
void | clear_search_random_variable_pool_size () |
::int64_t | search_random_variable_pool_size () const |
void | set_search_random_variable_pool_size (::int64_t value) |
bool | has_use_optional_variables () const |
optional bool use_optional_variables = 108 [default = false]; | |
void | clear_use_optional_variables () |
bool | use_optional_variables () const |
void | set_use_optional_variables (bool value) |
bool | has_exploit_best_solution () const |
optional bool exploit_best_solution = 130 [default = false]; | |
void | clear_exploit_best_solution () |
bool | exploit_best_solution () const |
void | set_exploit_best_solution (bool value) |
bool | has_fill_tightened_domains_in_response () const |
optional bool fill_tightened_domains_in_response = 132 [default = false]; | |
void | clear_fill_tightened_domains_in_response () |
bool | fill_tightened_domains_in_response () const |
void | set_fill_tightened_domains_in_response (bool value) |
bool | has_use_combined_no_overlap () const |
optional bool use_combined_no_overlap = 133 [default = false]; | |
void | clear_use_combined_no_overlap () |
bool | use_combined_no_overlap () const |
void | set_use_combined_no_overlap (bool value) |
bool | has_interleave_batch_size () const |
optional int32 interleave_batch_size = 134 [default = 0]; | |
void | clear_interleave_batch_size () |
::int32_t | interleave_batch_size () const |
void | set_interleave_batch_size (::int32_t value) |
bool | has_interleave_search () const |
optional bool interleave_search = 136 [default = false]; | |
void | clear_interleave_search () |
bool | interleave_search () const |
void | set_interleave_search (bool value) |
bool | has_diversify_lns_params () const |
optional bool diversify_lns_params = 137 [default = false]; | |
void | clear_diversify_lns_params () |
bool | diversify_lns_params () const |
void | set_diversify_lns_params (bool value) |
bool | has_stop_after_presolve () const |
optional bool stop_after_presolve = 149 [default = false]; | |
void | clear_stop_after_presolve () |
bool | stop_after_presolve () const |
void | set_stop_after_presolve (bool value) |
bool | has_exploit_relaxation_solution () const |
optional bool exploit_relaxation_solution = 161 [default = false]; | |
void | clear_exploit_relaxation_solution () |
bool | exploit_relaxation_solution () const |
void | set_exploit_relaxation_solution (bool value) |
bool | has_debug_max_num_presolve_operations () const |
optional int32 debug_max_num_presolve_operations = 151 [default = 0]; | |
void | clear_debug_max_num_presolve_operations () |
::int32_t | debug_max_num_presolve_operations () const |
void | set_debug_max_num_presolve_operations (::int32_t value) |
bool | has_relative_gap_limit () const |
optional double relative_gap_limit = 160 [default = 0]; | |
void | clear_relative_gap_limit () |
double | relative_gap_limit () const |
void | set_relative_gap_limit (double value) |
bool | has_debug_postsolve_with_full_solver () const |
optional bool debug_postsolve_with_full_solver = 162 [default = false]; | |
void | clear_debug_postsolve_with_full_solver () |
bool | debug_postsolve_with_full_solver () const |
void | set_debug_postsolve_with_full_solver (bool value) |
bool | has_repair_hint () const |
optional bool repair_hint = 167 [default = false]; | |
void | clear_repair_hint () |
bool | repair_hint () const |
void | set_repair_hint (bool value) |
bool | has_expand_alldiff_constraints () const |
optional bool expand_alldiff_constraints = 170 [default = false]; | |
void | clear_expand_alldiff_constraints () |
bool | expand_alldiff_constraints () const |
void | set_expand_alldiff_constraints (bool value) |
bool | has_keep_all_feasible_solutions_in_presolve () const |
optional bool keep_all_feasible_solutions_in_presolve = 173 [default = false]; | |
void | clear_keep_all_feasible_solutions_in_presolve () |
bool | keep_all_feasible_solutions_in_presolve () const |
void | set_keep_all_feasible_solutions_in_presolve (bool value) |
bool | has_presolve_extract_integer_enforcement () const |
optional bool presolve_extract_integer_enforcement = 174 [default = false]; | |
void | clear_presolve_extract_integer_enforcement () |
bool | presolve_extract_integer_enforcement () const |
void | set_presolve_extract_integer_enforcement (bool value) |
bool | has_polish_lp_solution () const |
optional bool polish_lp_solution = 175 [default = false]; | |
void | clear_polish_lp_solution () |
bool | polish_lp_solution () const |
void | set_polish_lp_solution (bool value) |
bool | has_use_probing_search () const |
optional bool use_probing_search = 176 [default = false]; | |
void | clear_use_probing_search () |
bool | use_probing_search () const |
void | set_use_probing_search (bool value) |
bool | has_permute_variable_randomly () const |
optional bool permute_variable_randomly = 178 [default = false]; | |
void | clear_permute_variable_randomly () |
bool | permute_variable_randomly () const |
void | set_permute_variable_randomly (bool value) |
bool | has_permute_presolve_constraint_order () const |
optional bool permute_presolve_constraint_order = 179 [default = false]; | |
void | clear_permute_presolve_constraint_order () |
bool | permute_presolve_constraint_order () const |
void | set_permute_presolve_constraint_order (bool value) |
bool | has_use_absl_random () const |
optional bool use_absl_random = 180 [default = false]; | |
void | clear_use_absl_random () |
bool | use_absl_random () const |
void | set_use_absl_random (bool value) |
bool | has_disable_constraint_expansion () const |
optional bool disable_constraint_expansion = 181 [default = false]; | |
void | clear_disable_constraint_expansion () |
bool | disable_constraint_expansion () const |
void | set_disable_constraint_expansion (bool value) |
bool | has_log_to_response () const |
optional bool log_to_response = 187 [default = false]; | |
void | clear_log_to_response () |
bool | log_to_response () const |
void | set_log_to_response (bool value) |
bool | has_optimize_with_lb_tree_search () const |
optional bool optimize_with_lb_tree_search = 188 [default = false]; | |
void | clear_optimize_with_lb_tree_search () |
bool | optimize_with_lb_tree_search () const |
void | set_optimize_with_lb_tree_search (bool value) |
bool | has_log_subsolver_statistics () const |
optional bool log_subsolver_statistics = 189 [default = false]; | |
void | clear_log_subsolver_statistics () |
bool | log_subsolver_statistics () const |
void | set_log_subsolver_statistics (bool value) |
bool | has_fix_variables_to_their_hinted_value () const |
optional bool fix_variables_to_their_hinted_value = 192 [default = false]; | |
void | clear_fix_variables_to_their_hinted_value () |
bool | fix_variables_to_their_hinted_value () const |
void | set_fix_variables_to_their_hinted_value (bool value) |
bool | has_fill_additional_solutions_in_response () const |
optional bool fill_additional_solutions_in_response = 194 [default = false]; | |
void | clear_fill_additional_solutions_in_response () |
bool | fill_additional_solutions_in_response () const |
void | set_fill_additional_solutions_in_response (bool value) |
bool | has_debug_crash_on_bad_hint () const |
optional bool debug_crash_on_bad_hint = 195 [default = false]; | |
void | clear_debug_crash_on_bad_hint () |
bool | debug_crash_on_bad_hint () const |
void | set_debug_crash_on_bad_hint (bool value) |
bool | has_add_objective_cut () const |
optional bool add_objective_cut = 197 [default = false]; | |
void | clear_add_objective_cut () |
bool | add_objective_cut () const |
void | set_add_objective_cut (bool value) |
bool | has_use_timetabling_in_no_overlap_2d () const |
optional bool use_timetabling_in_no_overlap_2d = 200 [default = false]; | |
void | clear_use_timetabling_in_no_overlap_2d () |
bool | use_timetabling_in_no_overlap_2d () const |
void | set_use_timetabling_in_no_overlap_2d (bool value) |
bool | has_use_energetic_reasoning_in_no_overlap_2d () const |
optional bool use_energetic_reasoning_in_no_overlap_2d = 213 [default = false]; | |
void | clear_use_energetic_reasoning_in_no_overlap_2d () |
bool | use_energetic_reasoning_in_no_overlap_2d () const |
void | set_use_energetic_reasoning_in_no_overlap_2d (bool value) |
bool | has_num_workers () const |
optional int32 num_workers = 206 [default = 0]; | |
void | clear_num_workers () |
::int32_t | num_workers () const |
void | set_num_workers (::int32_t value) |
bool | has_use_hard_precedences_in_cumulative () const |
optional bool use_hard_precedences_in_cumulative = 215 [default = false]; | |
void | clear_use_hard_precedences_in_cumulative () |
bool | use_hard_precedences_in_cumulative () const |
void | set_use_hard_precedences_in_cumulative (bool value) |
bool | has_detect_table_with_cost () const |
optional bool detect_table_with_cost = 216 [default = false]; | |
void | clear_detect_table_with_cost () |
bool | detect_table_with_cost () const |
void | set_detect_table_with_cost (bool value) |
bool | has_exploit_all_precedences () const |
optional bool exploit_all_precedences = 220 [default = false]; | |
void | clear_exploit_all_precedences () |
bool | exploit_all_precedences () const |
void | set_exploit_all_precedences (bool value) |
bool | has_only_solve_ip () const |
optional bool only_solve_ip = 222 [default = false]; | |
void | clear_only_solve_ip () |
bool | only_solve_ip () const |
void | set_only_solve_ip (bool value) |
bool | has_encode_complex_linear_constraint_with_integer () const |
optional bool encode_complex_linear_constraint_with_integer = 223 [default = false]; | |
void | clear_encode_complex_linear_constraint_with_integer () |
bool | encode_complex_linear_constraint_with_integer () const |
void | set_encode_complex_linear_constraint_with_integer (bool value) |
bool | has_mip_scale_large_domain () const |
optional bool mip_scale_large_domain = 225 [default = false]; | |
void | clear_mip_scale_large_domain () |
bool | mip_scale_large_domain () const |
void | set_mip_scale_large_domain (bool value) |
bool | has_use_objective_lb_search () const |
optional bool use_objective_lb_search = 228 [default = false]; | |
void | clear_use_objective_lb_search () |
bool | use_objective_lb_search () const |
void | set_use_objective_lb_search (bool value) |
bool | has_use_strong_propagation_in_disjunctive () const |
optional bool use_strong_propagation_in_disjunctive = 230 [default = false]; | |
void | clear_use_strong_propagation_in_disjunctive () |
bool | use_strong_propagation_in_disjunctive () const |
void | set_use_strong_propagation_in_disjunctive (bool value) |
bool | has_shared_tree_num_workers () const |
optional int32 shared_tree_num_workers = 235 [default = 0]; | |
void | clear_shared_tree_num_workers () |
::int32_t | shared_tree_num_workers () const |
void | set_shared_tree_num_workers (::int32_t value) |
bool | has_shared_tree_split_strategy () const |
optional .operations_research.sat.SatParameters.SharedTreeSplitStrategy shared_tree_split_strategy = 239 [default = SPLIT_STRATEGY_AUTO]; | |
void | clear_shared_tree_split_strategy () |
::operations_research::sat::SatParameters_SharedTreeSplitStrategy | shared_tree_split_strategy () const |
void | set_shared_tree_split_strategy (::operations_research::sat::SatParameters_SharedTreeSplitStrategy value) |
bool | has_num_violation_ls () const |
optional int32 num_violation_ls = 244 [default = 0]; | |
void | clear_num_violation_ls () |
::int32_t | num_violation_ls () const |
void | set_num_violation_ls (::int32_t value) |
bool | has_use_shared_tree_search () const |
optional bool use_shared_tree_search = 236 [default = false]; | |
void | clear_use_shared_tree_search () |
bool | use_shared_tree_search () const |
void | set_use_shared_tree_search (bool value) |
bool | has_use_ls_only () const |
optional bool use_ls_only = 240 [default = false]; | |
void | clear_use_ls_only () |
bool | use_ls_only () const |
void | set_use_ls_only (bool value) |
bool | has_stop_after_root_propagation () const |
optional bool stop_after_root_propagation = 252 [default = false]; | |
void | clear_stop_after_root_propagation () |
bool | stop_after_root_propagation () const |
void | set_stop_after_root_propagation (bool value) |
bool | has_use_objective_shaving_search () const |
optional bool use_objective_shaving_search = 253 [default = false]; | |
void | clear_use_objective_shaving_search () |
bool | use_objective_shaving_search () const |
void | set_use_objective_shaving_search (bool value) |
bool | has_push_all_tasks_toward_start () const |
optional bool push_all_tasks_toward_start = 262 [default = false]; | |
void | clear_push_all_tasks_toward_start () |
bool | push_all_tasks_toward_start () const |
void | set_push_all_tasks_toward_start (bool value) |
bool | has_use_dynamic_precedence_in_disjunctive () const |
optional bool use_dynamic_precedence_in_disjunctive = 263 [default = false]; | |
void | clear_use_dynamic_precedence_in_disjunctive () |
bool | use_dynamic_precedence_in_disjunctive () const |
void | set_use_dynamic_precedence_in_disjunctive (bool value) |
bool | has_use_dynamic_precedence_in_cumulative () const |
optional bool use_dynamic_precedence_in_cumulative = 268 [default = false]; | |
void | clear_use_dynamic_precedence_in_cumulative () |
bool | use_dynamic_precedence_in_cumulative () const |
void | set_use_dynamic_precedence_in_cumulative (bool value) |
bool | has_use_area_energetic_reasoning_in_no_overlap_2d () const |
optional bool use_area_energetic_reasoning_in_no_overlap_2d = 271 [default = false]; | |
void | clear_use_area_energetic_reasoning_in_no_overlap_2d () |
bool | use_area_energetic_reasoning_in_no_overlap_2d () const |
void | set_use_area_energetic_reasoning_in_no_overlap_2d (bool value) |
bool | has_max_lin_max_size_for_expansion () const |
optional int32 max_lin_max_size_for_expansion = 280 [default = 0]; | |
void | clear_max_lin_max_size_for_expansion () |
::int32_t | max_lin_max_size_for_expansion () const |
void | set_max_lin_max_size_for_expansion (::int32_t value) |
bool | has_detect_linearized_product () const |
optional bool detect_linearized_product = 277 [default = false]; | |
void | clear_detect_linearized_product () |
bool | detect_linearized_product () const |
void | set_detect_linearized_product (bool value) |
bool | has_mip_treat_high_magnitude_bounds_as_infinity () const |
optional bool mip_treat_high_magnitude_bounds_as_infinity = 278 [default = false]; | |
void | clear_mip_treat_high_magnitude_bounds_as_infinity () |
bool | mip_treat_high_magnitude_bounds_as_infinity () const |
void | set_mip_treat_high_magnitude_bounds_as_infinity (bool value) |
bool | has_save_lp_basis_in_lb_tree_search () const |
optional bool save_lp_basis_in_lb_tree_search = 284 [default = false]; | |
void | clear_save_lp_basis_in_lb_tree_search () |
bool | save_lp_basis_in_lb_tree_search () const |
void | set_save_lp_basis_in_lb_tree_search (bool value) |
bool | has_share_glue_clauses () const |
optional bool share_glue_clauses = 285 [default = false]; | |
void | clear_share_glue_clauses () |
bool | share_glue_clauses () const |
void | set_share_glue_clauses (bool value) |
bool | has_use_conservative_scale_overload_checker () const |
optional bool use_conservative_scale_overload_checker = 286 [default = false]; | |
void | clear_use_conservative_scale_overload_checker () |
bool | use_conservative_scale_overload_checker () const |
void | set_use_conservative_scale_overload_checker (bool value) |
bool | has_encode_cumulative_as_reservoir () const |
optional bool encode_cumulative_as_reservoir = 287 [default = false]; | |
void | clear_encode_cumulative_as_reservoir () |
bool | encode_cumulative_as_reservoir () const |
void | set_encode_cumulative_as_reservoir (bool value) |
bool | has_expand_reservoir_using_circuit () const |
optional bool expand_reservoir_using_circuit = 288 [default = false]; | |
void | clear_expand_reservoir_using_circuit () |
bool | expand_reservoir_using_circuit () const |
void | set_expand_reservoir_using_circuit (bool value) |
bool | has_inprocessing_minimization_use_all_orderings () const |
optional bool inprocessing_minimization_use_all_orderings = 298 [default = false]; | |
void | clear_inprocessing_minimization_use_all_orderings () |
bool | inprocessing_minimization_use_all_orderings () const |
void | set_inprocessing_minimization_use_all_orderings (bool value) |
bool | has_max_num_deterministic_batches () const |
optional int32 max_num_deterministic_batches = 291 [default = 0]; | |
void | clear_max_num_deterministic_batches () |
::int32_t | max_num_deterministic_batches () const |
void | set_max_num_deterministic_batches (::int32_t value) |
bool | has_num_full_subsolvers () const |
optional int32 num_full_subsolvers = 294 [default = 0]; | |
void | clear_num_full_subsolvers () |
::int32_t | num_full_subsolvers () const |
void | set_num_full_subsolvers (::int32_t value) |
bool | has_use_try_edge_reasoning_in_no_overlap_2d () const |
optional bool use_try_edge_reasoning_in_no_overlap_2d = 299 [default = false]; | |
void | clear_use_try_edge_reasoning_in_no_overlap_2d () |
bool | use_try_edge_reasoning_in_no_overlap_2d () const |
void | set_use_try_edge_reasoning_in_no_overlap_2d (bool value) |
bool | has_use_symmetry_in_lp () const |
optional bool use_symmetry_in_lp = 301 [default = false]; | |
void | clear_use_symmetry_in_lp () |
bool | use_symmetry_in_lp () const |
void | set_use_symmetry_in_lp (bool value) |
bool | has_keep_symmetry_in_presolve () const |
optional bool keep_symmetry_in_presolve = 303 [default = false]; | |
void | clear_keep_symmetry_in_presolve () |
bool | keep_symmetry_in_presolve () const |
void | set_keep_symmetry_in_presolve (bool value) |
bool | has_debug_crash_if_presolve_breaks_hint () const |
optional bool debug_crash_if_presolve_breaks_hint = 306 [default = false]; | |
void | clear_debug_crash_if_presolve_breaks_hint () |
bool | debug_crash_if_presolve_breaks_hint () const |
void | set_debug_crash_if_presolve_breaks_hint (bool value) |
bool | has_routing_cut_subset_size_for_binary_relation_bound () const |
optional int32 routing_cut_subset_size_for_binary_relation_bound = 312 [default = 0]; | |
void | clear_routing_cut_subset_size_for_binary_relation_bound () |
::int32_t | routing_cut_subset_size_for_binary_relation_bound () const |
void | set_routing_cut_subset_size_for_binary_relation_bound (::int32_t value) |
bool | has_routing_cut_subset_size_for_tight_binary_relation_bound () const |
optional int32 routing_cut_subset_size_for_tight_binary_relation_bound = 313 [default = 0]; | |
void | clear_routing_cut_subset_size_for_tight_binary_relation_bound () |
::int32_t | routing_cut_subset_size_for_tight_binary_relation_bound () const |
void | set_routing_cut_subset_size_for_tight_binary_relation_bound (::int32_t value) |
bool | has_polarity_exploit_ls_hints () const |
optional bool polarity_exploit_ls_hints = 309 [default = false]; | |
void | clear_polarity_exploit_ls_hints () |
bool | polarity_exploit_ls_hints () const |
void | set_polarity_exploit_ls_hints (bool value) |
bool | has_use_all_different_for_circuit () const |
optional bool use_all_different_for_circuit = 311 [default = false]; | |
void | clear_use_all_different_for_circuit () |
bool | use_all_different_for_circuit () const |
void | set_use_all_different_for_circuit (bool value) |
bool | has_filter_sat_postsolve_clauses () const |
optional bool filter_sat_postsolve_clauses = 324 [default = false]; | |
void | clear_filter_sat_postsolve_clauses () |
bool | filter_sat_postsolve_clauses () const |
void | set_filter_sat_postsolve_clauses (bool value) |
bool | has_maximum_regions_to_split_in_disconnected_no_overlap_2d () const |
optional int32 maximum_regions_to_split_in_disconnected_no_overlap_2d = 315 [default = 0]; | |
void | clear_maximum_regions_to_split_in_disconnected_no_overlap_2d () |
::int32_t | maximum_regions_to_split_in_disconnected_no_overlap_2d () const |
void | set_maximum_regions_to_split_in_disconnected_no_overlap_2d (::int32_t value) |
bool | has_initial_polarity () const |
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FALSE]; | |
void | clear_initial_polarity () |
::operations_research::sat::SatParameters_Polarity | initial_polarity () const |
void | set_initial_polarity (::operations_research::sat::SatParameters_Polarity value) |
bool | has_minimization_algorithm () const |
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm = 4 [default = RECURSIVE]; | |
void | clear_minimization_algorithm () |
::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm | minimization_algorithm () const |
void | set_minimization_algorithm (::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm value) |
bool | has_variable_activity_decay () const |
optional double variable_activity_decay = 15 [default = 0.8]; | |
void | clear_variable_activity_decay () |
double | variable_activity_decay () const |
void | set_variable_activity_decay (double value) |
bool | has_max_variable_activity_value () const |
optional double max_variable_activity_value = 16 [default = 1e+100]; | |
void | clear_max_variable_activity_value () |
double | max_variable_activity_value () const |
void | set_max_variable_activity_value (double value) |
bool | has_clause_activity_decay () const |
optional double clause_activity_decay = 17 [default = 0.999]; | |
void | clear_clause_activity_decay () |
double | clause_activity_decay () const |
void | set_clause_activity_decay (double value) |
bool | has_clause_cleanup_period () const |
optional int32 clause_cleanup_period = 11 [default = 10000]; | |
void | clear_clause_cleanup_period () |
::int32_t | clause_cleanup_period () const |
void | set_clause_cleanup_period (::int32_t value) |
bool | has_glucose_decay_increment_period () const |
optional int32 glucose_decay_increment_period = 24 [default = 5000]; | |
void | clear_glucose_decay_increment_period () |
::int32_t | glucose_decay_increment_period () const |
void | set_glucose_decay_increment_period (::int32_t value) |
bool | has_max_clause_activity_value () const |
optional double max_clause_activity_value = 18 [default = 1e+20]; | |
void | clear_max_clause_activity_value () |
double | max_clause_activity_value () const |
void | set_max_clause_activity_value (double value) |
bool | has_glucose_max_decay () const |
optional double glucose_max_decay = 22 [default = 0.95]; | |
void | clear_glucose_max_decay () |
double | glucose_max_decay () const |
void | set_glucose_max_decay (double value) |
bool | has_glucose_decay_increment () const |
optional double glucose_decay_increment = 23 [default = 0.01]; | |
void | clear_glucose_decay_increment () |
double | glucose_decay_increment () const |
void | set_glucose_decay_increment (double value) |
bool | has_restart_period () const |
optional int32 restart_period = 30 [default = 50]; | |
void | clear_restart_period () |
::int32_t | restart_period () const |
void | set_restart_period (::int32_t value) |
bool | has_random_seed () const |
optional int32 random_seed = 31 [default = 1]; | |
void | clear_random_seed () |
::int32_t | random_seed () const |
void | set_random_seed (::int32_t value) |
bool | has_max_time_in_seconds () const |
optional double max_time_in_seconds = 36 [default = inf]; | |
void | clear_max_time_in_seconds () |
double | max_time_in_seconds () const |
void | set_max_time_in_seconds (double value) |
bool | has_max_number_of_conflicts () const |
optional int64 max_number_of_conflicts = 37 [default = 9223372036854775807]; | |
void | clear_max_number_of_conflicts () |
::int64_t | max_number_of_conflicts () const |
void | set_max_number_of_conflicts (::int64_t value) |
bool | has_max_memory_in_mb () const |
optional int64 max_memory_in_mb = 40 [default = 10000]; | |
void | clear_max_memory_in_mb () |
::int64_t | max_memory_in_mb () const |
void | set_max_memory_in_mb (::int64_t value) |
bool | has_binary_minimization_algorithm () const |
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorithm = 34 [default = BINARY_MINIMIZATION_FIRST]; | |
void | clear_binary_minimization_algorithm () |
::operations_research::sat::SatParameters_BinaryMinizationAlgorithm | binary_minimization_algorithm () const |
void | set_binary_minimization_algorithm (::operations_research::sat::SatParameters_BinaryMinizationAlgorithm value) |
bool | has_pb_cleanup_increment () const |
optional int32 pb_cleanup_increment = 46 [default = 200]; | |
void | clear_pb_cleanup_increment () |
::int32_t | pb_cleanup_increment () const |
void | set_pb_cleanup_increment (::int32_t value) |
bool | has_use_optimization_hints () const |
optional bool use_optimization_hints = 35 [default = true]; | |
void | clear_use_optimization_hints () |
bool | use_optimization_hints () const |
void | set_use_optimization_hints (bool value) |
bool | has_use_phase_saving () const |
optional bool use_phase_saving = 44 [default = true]; | |
void | clear_use_phase_saving () |
bool | use_phase_saving () const |
void | set_use_phase_saving (bool value) |
bool | has_count_assumption_levels_in_lbd () const |
optional bool count_assumption_levels_in_lbd = 49 [default = true]; | |
void | clear_count_assumption_levels_in_lbd () |
bool | count_assumption_levels_in_lbd () const |
void | set_count_assumption_levels_in_lbd (bool value) |
bool | has_subsumption_during_conflict_analysis () const |
optional bool subsumption_during_conflict_analysis = 56 [default = true]; | |
void | clear_subsumption_during_conflict_analysis () |
bool | subsumption_during_conflict_analysis () const |
void | set_subsumption_during_conflict_analysis (bool value) |
bool | has_core_minimization_level () const |
optional int32 core_minimization_level = 50 [default = 2]; | |
void | clear_core_minimization_level () |
::int32_t | core_minimization_level () const |
void | set_core_minimization_level (::int32_t value) |
bool | has_pb_cleanup_ratio () const |
optional double pb_cleanup_ratio = 47 [default = 0.5]; | |
void | clear_pb_cleanup_ratio () |
double | pb_cleanup_ratio () const |
void | set_pb_cleanup_ratio (double value) |
bool | has_max_sat_stratification () const |
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification = 53 [default = STRATIFICATION_DESCENT]; | |
void | clear_max_sat_stratification () |
::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm | max_sat_stratification () const |
void | set_max_sat_stratification (::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm value) |
bool | has_presolve_bve_threshold () const |
optional int32 presolve_bve_threshold = 54 [default = 500]; | |
void | clear_presolve_bve_threshold () |
::int32_t | presolve_bve_threshold () const |
void | set_presolve_bve_threshold (::int32_t value) |
bool | has_presolve_probing_deterministic_time_limit () const |
optional double presolve_probing_deterministic_time_limit = 57 [default = 30]; | |
void | clear_presolve_probing_deterministic_time_limit () |
double | presolve_probing_deterministic_time_limit () const |
void | set_presolve_probing_deterministic_time_limit (double value) |
bool | has_presolve_bve_clause_weight () const |
optional int32 presolve_bve_clause_weight = 55 [default = 3]; | |
void | clear_presolve_bve_clause_weight () |
::int32_t | presolve_bve_clause_weight () const |
void | set_presolve_bve_clause_weight (::int32_t value) |
bool | has_clause_cleanup_lbd_bound () const |
optional int32 clause_cleanup_lbd_bound = 59 [default = 5]; | |
void | clear_clause_cleanup_lbd_bound () |
::int32_t | clause_cleanup_lbd_bound () const |
void | set_clause_cleanup_lbd_bound (::int32_t value) |
bool | has_restart_dl_average_ratio () const |
optional double restart_dl_average_ratio = 63 [default = 1]; | |
void | clear_restart_dl_average_ratio () |
double | restart_dl_average_ratio () const |
void | set_restart_dl_average_ratio (double value) |
bool | has_restart_running_window_size () const |
optional int32 restart_running_window_size = 62 [default = 50]; | |
void | clear_restart_running_window_size () |
::int32_t | restart_running_window_size () const |
void | set_restart_running_window_size (::int32_t value) |
bool | has_blocking_restart_window_size () const |
optional int32 blocking_restart_window_size = 65 [default = 5000]; | |
void | clear_blocking_restart_window_size () |
::int32_t | blocking_restart_window_size () const |
void | set_blocking_restart_window_size (::int32_t value) |
bool | has_blocking_restart_multiplier () const |
optional double blocking_restart_multiplier = 66 [default = 1.4]; | |
void | clear_blocking_restart_multiplier () |
double | blocking_restart_multiplier () const |
void | set_blocking_restart_multiplier (double value) |
bool | has_max_deterministic_time () const |
optional double max_deterministic_time = 67 [default = inf]; | |
void | clear_max_deterministic_time () |
double | max_deterministic_time () const |
void | set_max_deterministic_time (double value) |
bool | has_restart_lbd_average_ratio () const |
optional double restart_lbd_average_ratio = 71 [default = 1]; | |
void | clear_restart_lbd_average_ratio () |
double | restart_lbd_average_ratio () const |
void | set_restart_lbd_average_ratio (double value) |
bool | has_presolve_bva_threshold () const |
optional int32 presolve_bva_threshold = 73 [default = 1]; | |
void | clear_presolve_bva_threshold () |
::int32_t | presolve_bva_threshold () const |
void | set_presolve_bva_threshold (::int32_t value) |
bool | has_presolve_use_bva () const |
optional bool presolve_use_bva = 72 [default = true]; | |
void | clear_presolve_use_bva () |
bool | presolve_use_bva () const |
void | set_presolve_use_bva (bool value) |
bool | has_use_precedences_in_disjunctive_constraint () const |
optional bool use_precedences_in_disjunctive_constraint = 74 [default = true]; | |
void | clear_use_precedences_in_disjunctive_constraint () |
bool | use_precedences_in_disjunctive_constraint () const |
void | set_use_precedences_in_disjunctive_constraint (bool value) |
bool | has_use_disjunctive_constraint_in_cumulative () const |
optional bool use_disjunctive_constraint_in_cumulative = 80 [default = true]; | |
void | clear_use_disjunctive_constraint_in_cumulative () |
bool | use_disjunctive_constraint_in_cumulative () const |
void | set_use_disjunctive_constraint_in_cumulative (bool value) |
bool | has_find_multiple_cores () const |
optional bool find_multiple_cores = 84 [default = true]; | |
void | clear_find_multiple_cores () |
bool | find_multiple_cores () const |
void | set_find_multiple_cores (bool value) |
bool | has_cp_model_presolve () const |
optional bool cp_model_presolve = 86 [default = true]; | |
void | clear_cp_model_presolve () |
bool | cp_model_presolve () const |
void | set_cp_model_presolve (bool value) |
bool | has_presolve_blocked_clause () const |
optional bool presolve_blocked_clause = 88 [default = true]; | |
void | clear_presolve_blocked_clause () |
bool | presolve_blocked_clause () const |
void | set_presolve_blocked_clause (bool value) |
bool | has_cover_optimization () const |
optional bool cover_optimization = 89 [default = true]; | |
void | clear_cover_optimization () |
bool | cover_optimization () const |
void | set_cover_optimization (bool value) |
bool | has_cp_model_use_sat_presolve () const |
optional bool cp_model_use_sat_presolve = 93 [default = true]; | |
void | clear_cp_model_use_sat_presolve () |
bool | cp_model_use_sat_presolve () const |
void | set_cp_model_use_sat_presolve (bool value) |
bool | has_linearization_level () const |
optional int32 linearization_level = 90 [default = 1]; | |
void | clear_linearization_level () |
::int32_t | linearization_level () const |
void | set_linearization_level (::int32_t value) |
bool | has_max_num_cuts () const |
optional int32 max_num_cuts = 91 [default = 10000]; | |
void | clear_max_num_cuts () |
::int32_t | max_num_cuts () const |
void | set_max_num_cuts (::int32_t value) |
bool | has_binary_search_num_conflicts () const |
optional int32 binary_search_num_conflicts = 99 [default = -1]; | |
void | clear_binary_search_num_conflicts () |
::int32_t | binary_search_num_conflicts () const |
void | set_binary_search_num_conflicts (::int32_t value) |
bool | has_exploit_integer_lp_solution () const |
optional bool exploit_integer_lp_solution = 94 [default = true]; | |
void | clear_exploit_integer_lp_solution () |
bool | exploit_integer_lp_solution () const |
void | set_exploit_integer_lp_solution (bool value) |
bool | has_auto_detect_greater_than_at_least_one_of () const |
optional bool auto_detect_greater_than_at_least_one_of = 95 [default = true]; | |
void | clear_auto_detect_greater_than_at_least_one_of () |
bool | auto_detect_greater_than_at_least_one_of () const |
void | set_auto_detect_greater_than_at_least_one_of (bool value) |
bool | has_instantiate_all_variables () const |
optional bool instantiate_all_variables = 106 [default = true]; | |
void | clear_instantiate_all_variables () |
bool | instantiate_all_variables () const |
void | set_instantiate_all_variables (bool value) |
bool | has_use_exact_lp_reason () const |
optional bool use_exact_lp_reason = 109 [default = true]; | |
void | clear_use_exact_lp_reason () |
bool | use_exact_lp_reason () const |
void | set_use_exact_lp_reason (bool value) |
bool | has_boolean_encoding_level () const |
optional int32 boolean_encoding_level = 107 [default = 1]; | |
void | clear_boolean_encoding_level () |
::int32_t | boolean_encoding_level () const |
void | set_boolean_encoding_level (::int32_t value) |
bool | has_cp_model_probing_level () const |
optional int32 cp_model_probing_level = 110 [default = 2]; | |
void | clear_cp_model_probing_level () |
::int32_t | cp_model_probing_level () const |
void | set_cp_model_probing_level (::int32_t value) |
bool | has_add_lp_constraints_lazily () const |
optional bool add_lp_constraints_lazily = 112 [default = true]; | |
void | clear_add_lp_constraints_lazily () |
bool | add_lp_constraints_lazily () const |
void | set_add_lp_constraints_lazily (bool value) |
bool | has_share_objective_bounds () const |
optional bool share_objective_bounds = 113 [default = true]; | |
void | clear_share_objective_bounds () |
bool | share_objective_bounds () const |
void | set_share_objective_bounds (bool value) |
bool | has_share_level_zero_bounds () const |
optional bool share_level_zero_bounds = 114 [default = true]; | |
void | clear_share_level_zero_bounds () |
bool | share_level_zero_bounds () const |
void | set_share_level_zero_bounds (bool value) |
bool | has_exploit_all_lp_solution () const |
optional bool exploit_all_lp_solution = 116 [default = true]; | |
void | clear_exploit_all_lp_solution () |
bool | exploit_all_lp_solution () const |
void | set_exploit_all_lp_solution (bool value) |
bool | has_min_orthogonality_for_lp_constraints () const |
optional double min_orthogonality_for_lp_constraints = 115 [default = 0.05]; | |
void | clear_min_orthogonality_for_lp_constraints () |
double | min_orthogonality_for_lp_constraints () const |
void | set_min_orthogonality_for_lp_constraints (double value) |
bool | has_max_integer_rounding_scaling () const |
optional int32 max_integer_rounding_scaling = 119 [default = 600]; | |
void | clear_max_integer_rounding_scaling () |
::int32_t | max_integer_rounding_scaling () const |
void | set_max_integer_rounding_scaling (::int32_t value) |
bool | has_max_consecutive_inactive_count () const |
optional int32 max_consecutive_inactive_count = 121 [default = 100]; | |
void | clear_max_consecutive_inactive_count () |
::int32_t | max_consecutive_inactive_count () const |
void | set_max_consecutive_inactive_count (::int32_t value) |
bool | has_pseudo_cost_reliability_threshold () const |
optional int64 pseudo_cost_reliability_threshold = 123 [default = 100]; | |
void | clear_pseudo_cost_reliability_threshold () |
::int64_t | pseudo_cost_reliability_threshold () const |
void | set_pseudo_cost_reliability_threshold (::int64_t value) |
bool | has_new_constraints_batch_size () const |
optional int32 new_constraints_batch_size = 122 [default = 50]; | |
void | clear_new_constraints_batch_size () |
::int32_t | new_constraints_batch_size () const |
void | set_new_constraints_batch_size (::int32_t value) |
bool | has_add_cg_cuts () const |
optional bool add_cg_cuts = 117 [default = true]; | |
void | clear_add_cg_cuts () |
bool | add_cg_cuts () const |
void | set_add_cg_cuts (bool value) |
bool | has_add_mir_cuts () const |
optional bool add_mir_cuts = 120 [default = true]; | |
void | clear_add_mir_cuts () |
bool | add_mir_cuts () const |
void | set_add_mir_cuts (bool value) |
bool | has_use_rins_lns () const |
optional bool use_rins_lns = 129 [default = true]; | |
void | clear_use_rins_lns () |
bool | use_rins_lns () const |
void | set_use_rins_lns (bool value) |
bool | has_exploit_objective () const |
optional bool exploit_objective = 131 [default = true]; | |
void | clear_exploit_objective () |
bool | exploit_objective () const |
void | set_exploit_objective (bool value) |
bool | has_mip_max_bound () const |
optional double mip_max_bound = 124 [default = 10000000]; | |
void | clear_mip_max_bound () |
double | mip_max_bound () const |
void | set_mip_max_bound (double value) |
bool | has_mip_var_scaling () const |
optional double mip_var_scaling = 125 [default = 1]; | |
void | clear_mip_var_scaling () |
double | mip_var_scaling () const |
void | set_mip_var_scaling (double value) |
bool | has_mip_wanted_precision () const |
optional double mip_wanted_precision = 126 [default = 1e-06]; | |
void | clear_mip_wanted_precision () |
double | mip_wanted_precision () const |
void | set_mip_wanted_precision (double value) |
bool | has_mip_check_precision () const |
optional double mip_check_precision = 128 [default = 0.0001]; | |
void | clear_mip_check_precision () |
double | mip_check_precision () const |
void | set_mip_check_precision (double value) |
bool | has_mip_max_activity_exponent () const |
optional int32 mip_max_activity_exponent = 127 [default = 53]; | |
void | clear_mip_max_activity_exponent () |
::int32_t | mip_max_activity_exponent () const |
void | set_mip_max_activity_exponent (::int32_t value) |
bool | has_max_presolve_iterations () const |
optional int32 max_presolve_iterations = 138 [default = 3]; | |
void | clear_max_presolve_iterations () |
::int32_t | max_presolve_iterations () const |
void | set_max_presolve_iterations (::int32_t value) |
bool | has_merge_no_overlap_work_limit () const |
optional double merge_no_overlap_work_limit = 145 [default = 1000000000000]; | |
void | clear_merge_no_overlap_work_limit () |
double | merge_no_overlap_work_limit () const |
void | set_merge_no_overlap_work_limit (double value) |
bool | has_merge_at_most_one_work_limit () const |
optional double merge_at_most_one_work_limit = 146 [default = 100000000]; | |
void | clear_merge_at_most_one_work_limit () |
double | merge_at_most_one_work_limit () const |
void | set_merge_at_most_one_work_limit (double value) |
bool | has_presolve_substitution_level () const |
optional int32 presolve_substitution_level = 147 [default = 1]; | |
void | clear_presolve_substitution_level () |
::int32_t | presolve_substitution_level () const |
void | set_presolve_substitution_level (::int32_t value) |
bool | has_max_all_diff_cut_size () const |
optional int32 max_all_diff_cut_size = 148 [default = 64]; | |
void | clear_max_all_diff_cut_size () |
::int32_t | max_all_diff_cut_size () const |
void | set_max_all_diff_cut_size (::int32_t value) |
bool | has_catch_sigint_signal () const |
optional bool catch_sigint_signal = 135 [default = true]; | |
void | clear_catch_sigint_signal () |
bool | catch_sigint_signal () const |
void | set_catch_sigint_signal (bool value) |
bool | has_use_implied_bounds () const |
optional bool use_implied_bounds = 144 [default = true]; | |
void | clear_use_implied_bounds () |
bool | use_implied_bounds () const |
void | set_use_implied_bounds (bool value) |
bool | has_add_lin_max_cuts () const |
optional bool add_lin_max_cuts = 152 [default = true]; | |
void | clear_add_lin_max_cuts () |
bool | add_lin_max_cuts () const |
void | set_add_lin_max_cuts (bool value) |
bool | has_use_sat_inprocessing () const |
optional bool use_sat_inprocessing = 163 [default = true]; | |
void | clear_use_sat_inprocessing () |
bool | use_sat_inprocessing () const |
void | set_use_sat_inprocessing (bool value) |
bool | has_hint_conflict_limit () const |
optional int32 hint_conflict_limit = 153 [default = 10]; | |
void | clear_hint_conflict_limit () |
::int32_t | hint_conflict_limit () const |
void | set_hint_conflict_limit (::int32_t value) |
bool | has_cut_max_active_count_value () const |
optional double cut_max_active_count_value = 155 [default = 10000000000]; | |
void | clear_cut_max_active_count_value () |
double | cut_max_active_count_value () const |
void | set_cut_max_active_count_value (double value) |
bool | has_max_cut_rounds_at_level_zero () const |
optional int32 max_cut_rounds_at_level_zero = 154 [default = 1]; | |
void | clear_max_cut_rounds_at_level_zero () |
::int32_t | max_cut_rounds_at_level_zero () const |
void | set_max_cut_rounds_at_level_zero (::int32_t value) |
bool | has_cut_cleanup_target () const |
optional int32 cut_cleanup_target = 157 [default = 1000]; | |
void | clear_cut_cleanup_target () |
::int32_t | cut_cleanup_target () const |
void | set_cut_cleanup_target (::int32_t value) |
bool | has_cut_active_count_decay () const |
optional double cut_active_count_decay = 156 [default = 0.8]; | |
void | clear_cut_active_count_decay () |
double | cut_active_count_decay () const |
void | set_cut_active_count_decay (double value) |
bool | has_absolute_gap_limit () const |
optional double absolute_gap_limit = 159 [default = 0.0001]; | |
void | clear_absolute_gap_limit () |
double | absolute_gap_limit () const |
void | set_absolute_gap_limit (double value) |
bool | has_fp_rounding () const |
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGATION_ASSISTED]; | |
void | clear_fp_rounding () |
::operations_research::sat::SatParameters_FPRoundingMethod | fp_rounding () const |
void | set_fp_rounding (::operations_research::sat::SatParameters_FPRoundingMethod value) |
bool | has_use_feasibility_pump () const |
optional bool use_feasibility_pump = 164 [default = true]; | |
void | clear_use_feasibility_pump () |
bool | use_feasibility_pump () const |
void | set_use_feasibility_pump (bool value) |
bool | has_mip_automatically_scale_variables () const |
optional bool mip_automatically_scale_variables = 166 [default = true]; | |
void | clear_mip_automatically_scale_variables () |
bool | mip_automatically_scale_variables () const |
void | set_mip_automatically_scale_variables (bool value) |
bool | has_add_zero_half_cuts () const |
optional bool add_zero_half_cuts = 169 [default = true]; | |
void | clear_add_zero_half_cuts () |
bool | add_zero_half_cuts () const |
void | set_add_zero_half_cuts (bool value) |
bool | has_add_clique_cuts () const |
optional bool add_clique_cuts = 172 [default = true]; | |
void | clear_add_clique_cuts () |
bool | add_clique_cuts () const |
void | set_add_clique_cuts (bool value) |
bool | has_polarity_rephase_increment () const |
optional int32 polarity_rephase_increment = 168 [default = 1000]; | |
void | clear_polarity_rephase_increment () |
::int32_t | polarity_rephase_increment () const |
void | set_polarity_rephase_increment (::int32_t value) |
bool | has_symmetry_level () const |
optional int32 symmetry_level = 183 [default = 2]; | |
void | clear_symmetry_level () |
::int32_t | symmetry_level () const |
void | set_symmetry_level (::int32_t value) |
bool | has_convert_intervals () const |
optional bool convert_intervals = 177 [default = true]; | |
void | clear_convert_intervals () |
bool | convert_intervals () const |
void | set_convert_intervals (bool value) |
bool | has_expand_reservoir_constraints () const |
optional bool expand_reservoir_constraints = 182 [default = true]; | |
void | clear_expand_reservoir_constraints () |
bool | expand_reservoir_constraints () const |
void | set_expand_reservoir_constraints (bool value) |
bool | has_log_to_stdout () const |
optional bool log_to_stdout = 186 [default = true]; | |
void | clear_log_to_stdout () |
bool | log_to_stdout () const |
void | set_log_to_stdout (bool value) |
bool | has_mip_compute_true_objective_bound () const |
optional bool mip_compute_true_objective_bound = 198 [default = true]; | |
void | clear_mip_compute_true_objective_bound () |
bool | mip_compute_true_objective_bound () const |
void | set_mip_compute_true_objective_bound (bool value) |
bool | has_max_domain_size_when_encoding_eq_neq_constraints () const |
optional int32 max_domain_size_when_encoding_eq_neq_constraints = 191 [default = 16]; | |
void | clear_max_domain_size_when_encoding_eq_neq_constraints () |
::int32_t | max_domain_size_when_encoding_eq_neq_constraints () const |
void | set_max_domain_size_when_encoding_eq_neq_constraints (::int32_t value) |
bool | has_clause_cleanup_ratio () const |
optional double clause_cleanup_ratio = 190 [default = 0.5]; | |
void | clear_clause_cleanup_ratio () |
double | clause_cleanup_ratio () const |
void | set_clause_cleanup_ratio (double value) |
bool | has_solution_pool_size () const |
optional int32 solution_pool_size = 193 [default = 3]; | |
void | clear_solution_pool_size () |
::int32_t | solution_pool_size () const |
void | set_solution_pool_size (::int32_t value) |
bool | has_cut_level () const |
optional int32 cut_level = 196 [default = 1]; | |
void | clear_cut_level () |
::int32_t | cut_level () const |
void | set_cut_level (::int32_t value) |
bool | has_mip_max_valid_magnitude () const |
optional double mip_max_valid_magnitude = 199 [default = 1e+20]; | |
void | clear_mip_max_valid_magnitude () |
double | mip_max_valid_magnitude () const |
void | set_mip_max_valid_magnitude (double value) |
bool | has_presolve_inclusion_work_limit () const |
optional int64 presolve_inclusion_work_limit = 201 [default = 100000000]; | |
void | clear_presolve_inclusion_work_limit () |
::int64_t | presolve_inclusion_work_limit () const |
void | set_presolve_inclusion_work_limit (::int64_t value) |
bool | has_shaving_deterministic_time_in_probing_search () const |
optional double shaving_deterministic_time_in_probing_search = 204 [default = 0.001]; | |
void | clear_shaving_deterministic_time_in_probing_search () |
double | shaving_deterministic_time_in_probing_search () const |
void | set_shaving_deterministic_time_in_probing_search (double value) |
bool | has_shaving_search_deterministic_time () const |
optional double shaving_search_deterministic_time = 205 [default = 0.1]; | |
void | clear_shaving_search_deterministic_time () |
double | shaving_search_deterministic_time () const |
void | set_shaving_search_deterministic_time (double value) |
bool | has_ignore_names () const |
optional bool ignore_names = 202 [default = true]; | |
void | clear_ignore_names () |
bool | ignore_names () const |
void | set_ignore_names (bool value) |
bool | has_share_binary_clauses () const |
optional bool share_binary_clauses = 203 [default = true]; | |
void | clear_share_binary_clauses () |
bool | share_binary_clauses () const |
void | set_share_binary_clauses (bool value) |
bool | has_use_dual_scheduling_heuristics () const |
optional bool use_dual_scheduling_heuristics = 214 [default = true]; | |
void | clear_use_dual_scheduling_heuristics () |
bool | use_dual_scheduling_heuristics () const |
void | set_use_dual_scheduling_heuristics (bool value) |
bool | has_new_linear_propagation () const |
optional bool new_linear_propagation = 224 [default = true]; | |
void | clear_new_linear_propagation () |
bool | new_linear_propagation () const |
void | set_new_linear_propagation (bool value) |
bool | has_table_compression_level () const |
optional int32 table_compression_level = 217 [default = 2]; | |
void | clear_table_compression_level () |
::int32_t | table_compression_level () const |
void | set_table_compression_level (::int32_t value) |
bool | has_propagation_loop_detection_factor () const |
optional double propagation_loop_detection_factor = 221 [default = 10]; | |
void | clear_propagation_loop_detection_factor () |
double | propagation_loop_detection_factor () const |
void | set_propagation_loop_detection_factor (double value) |
bool | has_probing_deterministic_time_limit () const |
optional double probing_deterministic_time_limit = 226 [default = 1]; | |
void | clear_probing_deterministic_time_limit () |
double | probing_deterministic_time_limit () const |
void | set_probing_deterministic_time_limit (double value) |
bool | has_root_lp_iterations () const |
optional int32 root_lp_iterations = 227 [default = 2000]; | |
void | clear_root_lp_iterations () |
::int32_t | root_lp_iterations () const |
void | set_root_lp_iterations (::int32_t value) |
bool | has_max_size_to_create_precedence_literals_in_disjunctive () const |
optional int32 max_size_to_create_precedence_literals_in_disjunctive = 229 [default = 60]; | |
void | clear_max_size_to_create_precedence_literals_in_disjunctive () |
::int32_t | max_size_to_create_precedence_literals_in_disjunctive () const |
void | set_max_size_to_create_precedence_literals_in_disjunctive (::int32_t value) |
bool | has_mip_drop_tolerance () const |
optional double mip_drop_tolerance = 232 [default = 1e-16]; | |
void | clear_mip_drop_tolerance () |
double | mip_drop_tolerance () const |
void | set_mip_drop_tolerance (double value) |
bool | has_feasibility_jump_decay () const |
optional double feasibility_jump_decay = 242 [default = 0.95]; | |
void | clear_feasibility_jump_decay () |
double | feasibility_jump_decay () const |
void | set_feasibility_jump_decay (double value) |
bool | has_shared_tree_max_nodes_per_worker () const |
optional int32 shared_tree_max_nodes_per_worker = 238 [default = 10000]; | |
void | clear_shared_tree_max_nodes_per_worker () |
::int32_t | shared_tree_max_nodes_per_worker () const |
void | set_shared_tree_max_nodes_per_worker (::int32_t value) |
bool | has_infer_all_diffs () const |
optional bool infer_all_diffs = 233 [default = true]; | |
void | clear_infer_all_diffs () |
bool | infer_all_diffs () const |
void | set_infer_all_diffs (bool value) |
bool | has_find_big_linear_overlap () const |
optional bool find_big_linear_overlap = 234 [default = true]; | |
void | clear_find_big_linear_overlap () |
bool | find_big_linear_overlap () const |
void | set_find_big_linear_overlap (bool value) |
bool | has_feasibility_jump_enable_restarts () const |
optional bool feasibility_jump_enable_restarts = 250 [default = true]; | |
void | clear_feasibility_jump_enable_restarts () |
bool | feasibility_jump_enable_restarts () const |
void | set_feasibility_jump_enable_restarts (bool value) |
bool | has_use_lb_relax_lns () const |
optional bool use_lb_relax_lns = 255 [default = true]; | |
void | clear_use_lb_relax_lns () |
bool | use_lb_relax_lns () const |
void | set_use_lb_relax_lns (bool value) |
bool | has_feasibility_jump_var_randomization_probability () const |
optional double feasibility_jump_var_randomization_probability = 247 [default = 0.05]; | |
void | clear_feasibility_jump_var_randomization_probability () |
double | feasibility_jump_var_randomization_probability () const |
void | set_feasibility_jump_var_randomization_probability (double value) |
bool | has_feasibility_jump_var_perburbation_range_ratio () const |
optional double feasibility_jump_var_perburbation_range_ratio = 248 [default = 0.2]; | |
void | clear_feasibility_jump_var_perburbation_range_ratio () |
double | feasibility_jump_var_perburbation_range_ratio () const |
void | set_feasibility_jump_var_perburbation_range_ratio (double value) |
bool | has_violation_ls_perturbation_period () const |
optional int32 violation_ls_perturbation_period = 249 [default = 100]; | |
void | clear_violation_ls_perturbation_period () |
::int32_t | violation_ls_perturbation_period () const |
void | set_violation_ls_perturbation_period (::int32_t value) |
bool | has_linear_split_size () const |
optional int32 linear_split_size = 256 [default = 100]; | |
void | clear_linear_split_size () |
::int32_t | linear_split_size () const |
void | set_linear_split_size (::int32_t value) |
bool | has_feasibility_jump_linearization_level () const |
optional int32 feasibility_jump_linearization_level = 257 [default = 2]; | |
void | clear_feasibility_jump_linearization_level () |
::int32_t | feasibility_jump_linearization_level () const |
void | set_feasibility_jump_linearization_level (::int32_t value) |
bool | has_feasibility_jump_restart_factor () const |
optional int32 feasibility_jump_restart_factor = 258 [default = 1]; | |
void | clear_feasibility_jump_restart_factor () |
::int32_t | feasibility_jump_restart_factor () const |
void | set_feasibility_jump_restart_factor (::int32_t value) |
bool | has_violation_ls_compound_move_probability () const |
optional double violation_ls_compound_move_probability = 259 [default = 0.5]; | |
void | clear_violation_ls_compound_move_probability () |
double | violation_ls_compound_move_probability () const |
void | set_violation_ls_compound_move_probability (double value) |
bool | has_max_num_intervals_for_timetable_edge_finding () const |
optional int32 max_num_intervals_for_timetable_edge_finding = 260 [default = 100]; | |
void | clear_max_num_intervals_for_timetable_edge_finding () |
::int32_t | max_num_intervals_for_timetable_edge_finding () const |
void | set_max_num_intervals_for_timetable_edge_finding (::int32_t value) |
bool | has_mip_presolve_level () const |
optional int32 mip_presolve_level = 261 [default = 2]; | |
void | clear_mip_presolve_level () |
::int32_t | mip_presolve_level () const |
void | set_mip_presolve_level (::int32_t value) |
bool | has_lp_primal_tolerance () const |
optional double lp_primal_tolerance = 266 [default = 1e-07]; | |
void | clear_lp_primal_tolerance () |
double | lp_primal_tolerance () const |
void | set_lp_primal_tolerance (double value) |
bool | has_lp_dual_tolerance () const |
optional double lp_dual_tolerance = 267 [default = 1e-07]; | |
void | clear_lp_dual_tolerance () |
double | lp_dual_tolerance () const |
void | set_lp_dual_tolerance (double value) |
bool | has_feasibility_jump_max_expanded_constraint_size () const |
optional int32 feasibility_jump_max_expanded_constraint_size = 264 [default = 500]; | |
void | clear_feasibility_jump_max_expanded_constraint_size () |
::int32_t | feasibility_jump_max_expanded_constraint_size () const |
void | set_feasibility_jump_max_expanded_constraint_size (::int32_t value) |
bool | has_at_most_one_max_expansion_size () const |
optional int32 at_most_one_max_expansion_size = 270 [default = 3]; | |
void | clear_at_most_one_max_expansion_size () |
::int32_t | at_most_one_max_expansion_size () const |
void | set_at_most_one_max_expansion_size (::int32_t value) |
bool | has_inprocessing_dtime_ratio () const |
optional double inprocessing_dtime_ratio = 273 [default = 0.2]; | |
void | clear_inprocessing_dtime_ratio () |
double | inprocessing_dtime_ratio () const |
void | set_inprocessing_dtime_ratio (double value) |
bool | has_probing_num_combinations_limit () const |
optional int32 probing_num_combinations_limit = 272 [default = 20000]; | |
void | clear_probing_num_combinations_limit () |
::int32_t | probing_num_combinations_limit () const |
void | set_probing_num_combinations_limit (::int32_t value) |
bool | has_use_feasibility_jump () const |
optional bool use_feasibility_jump = 265 [default = true]; | |
void | clear_use_feasibility_jump () |
bool | use_feasibility_jump () const |
void | set_use_feasibility_jump (bool value) |
bool | has_use_extended_probing () const |
optional bool use_extended_probing = 269 [default = true]; | |
void | clear_use_extended_probing () |
bool | use_extended_probing () const |
void | set_use_extended_probing (bool value) |
bool | has_add_rlt_cuts () const |
optional bool add_rlt_cuts = 279 [default = true]; | |
void | clear_add_rlt_cuts () |
bool | add_rlt_cuts () const |
void | set_add_rlt_cuts (bool value) |
bool | has_use_lns () const |
optional bool use_lns = 283 [default = true]; | |
void | clear_use_lns () |
bool | use_lns () const |
void | set_use_lns (bool value) |
bool | has_inprocessing_probing_dtime () const |
optional double inprocessing_probing_dtime = 274 [default = 1]; | |
void | clear_inprocessing_probing_dtime () |
double | inprocessing_probing_dtime () const |
void | set_inprocessing_probing_dtime (double value) |
bool | has_inprocessing_minimization_dtime () const |
optional double inprocessing_minimization_dtime = 275 [default = 1]; | |
void | clear_inprocessing_minimization_dtime () |
double | inprocessing_minimization_dtime () const |
void | set_inprocessing_minimization_dtime (double value) |
bool | has_max_pairs_pairwise_reasoning_in_no_overlap_2d () const |
optional int32 max_pairs_pairwise_reasoning_in_no_overlap_2d = 276 [default = 1250]; | |
void | clear_max_pairs_pairwise_reasoning_in_no_overlap_2d () |
::int32_t | max_pairs_pairwise_reasoning_in_no_overlap_2d () const |
void | set_max_pairs_pairwise_reasoning_in_no_overlap_2d (::int32_t value) |
bool | has_shared_tree_worker_min_restarts_per_subtree () const |
optional int32 shared_tree_worker_min_restarts_per_subtree = 282 [default = 1]; | |
void | clear_shared_tree_worker_min_restarts_per_subtree () |
::int32_t | shared_tree_worker_min_restarts_per_subtree () const |
void | set_shared_tree_worker_min_restarts_per_subtree (::int32_t value) |
bool | has_shared_tree_open_leaves_per_worker () const |
optional double shared_tree_open_leaves_per_worker = 281 [default = 2]; | |
void | clear_shared_tree_open_leaves_per_worker () |
double | shared_tree_open_leaves_per_worker () const |
void | set_shared_tree_open_leaves_per_worker (double value) |
bool | has_shaving_search_threshold () const |
optional int64 shaving_search_threshold = 290 [default = 64]; | |
void | clear_shaving_search_threshold () |
::int64_t | shaving_search_threshold () const |
void | set_shaving_search_threshold (::int64_t value) |
bool | has_feasibility_jump_batch_dtime () const |
optional double feasibility_jump_batch_dtime = 292 [default = 0.1]; | |
void | clear_feasibility_jump_batch_dtime () |
double | feasibility_jump_batch_dtime () const |
void | set_feasibility_jump_batch_dtime (double value) |
bool | has_variables_shaving_level () const |
optional int32 variables_shaving_level = 289 [default = -1]; | |
void | clear_variables_shaving_level () |
::int32_t | variables_shaving_level () const |
void | set_variables_shaving_level (::int32_t value) |
bool | has_lb_relax_num_workers_threshold () const |
optional int32 lb_relax_num_workers_threshold = 296 [default = 16]; | |
void | clear_lb_relax_num_workers_threshold () |
::int32_t | lb_relax_num_workers_threshold () const |
void | set_lb_relax_num_workers_threshold (::int32_t value) |
bool | has_shared_tree_worker_enable_trail_sharing () const |
optional bool shared_tree_worker_enable_trail_sharing = 295 [default = true]; | |
void | clear_shared_tree_worker_enable_trail_sharing () |
bool | shared_tree_worker_enable_trail_sharing () const |
void | set_shared_tree_worker_enable_trail_sharing (bool value) |
bool | has_inprocessing_minimization_use_conflict_analysis () const |
optional bool inprocessing_minimization_use_conflict_analysis = 297 [default = true]; | |
void | clear_inprocessing_minimization_use_conflict_analysis () |
bool | inprocessing_minimization_use_conflict_analysis () const |
void | set_inprocessing_minimization_use_conflict_analysis (bool value) |
bool | has_minimize_shared_clauses () const |
optional bool minimize_shared_clauses = 300 [default = true]; | |
void | clear_minimize_shared_clauses () |
bool | minimize_shared_clauses () const |
void | set_minimize_shared_clauses (bool value) |
bool | has_shared_tree_worker_enable_phase_sharing () const |
optional bool shared_tree_worker_enable_phase_sharing = 304 [default = true]; | |
void | clear_shared_tree_worker_enable_phase_sharing () |
bool | shared_tree_worker_enable_phase_sharing () const |
void | set_shared_tree_worker_enable_phase_sharing (bool value) |
bool | has_shared_tree_balance_tolerance () const |
optional int32 shared_tree_balance_tolerance = 305 [default = 1]; | |
void | clear_shared_tree_balance_tolerance () |
::int32_t | shared_tree_balance_tolerance () const |
void | set_shared_tree_balance_tolerance (::int32_t value) |
bool | has_symmetry_detection_deterministic_time_limit () const |
optional double symmetry_detection_deterministic_time_limit = 302 [default = 1]; | |
void | clear_symmetry_detection_deterministic_time_limit () |
double | symmetry_detection_deterministic_time_limit () const |
void | set_symmetry_detection_deterministic_time_limit (double value) |
bool | has_lns_initial_difficulty () const |
optional double lns_initial_difficulty = 307 [default = 0.5]; | |
void | clear_lns_initial_difficulty () |
double | lns_initial_difficulty () const |
void | set_lns_initial_difficulty (double value) |
bool | has_lns_initial_deterministic_limit () const |
optional double lns_initial_deterministic_limit = 308 [default = 0.1]; | |
void | clear_lns_initial_deterministic_limit () |
double | lns_initial_deterministic_limit () const |
void | set_lns_initial_deterministic_limit (double value) |
bool | has_routing_cut_dp_effort () const |
optional double routing_cut_dp_effort = 314 [default = 10000000]; | |
void | clear_routing_cut_dp_effort () |
double | routing_cut_dp_effort () const |
void | set_routing_cut_dp_effort (double value) |
bool | has_routing_cut_subset_size_for_exact_binary_relation_bound () const |
optional int32 routing_cut_subset_size_for_exact_binary_relation_bound = 316 [default = 8]; | |
void | clear_routing_cut_subset_size_for_exact_binary_relation_bound () |
::int32_t | routing_cut_subset_size_for_exact_binary_relation_bound () const |
void | set_routing_cut_subset_size_for_exact_binary_relation_bound (::int32_t value) |
bool | has_remove_fixed_variables_early () const |
optional bool remove_fixed_variables_early = 310 [default = true]; | |
void | clear_remove_fixed_variables_early () |
bool | remove_fixed_variables_early () const |
void | set_remove_fixed_variables_early (bool value) |
bool | has_use_linear3_for_no_overlap_2d_precedences () const |
optional bool use_linear3_for_no_overlap_2d_precedences = 323 [default = true]; | |
void | clear_use_linear3_for_no_overlap_2d_precedences () |
bool | use_linear3_for_no_overlap_2d_precedences () const |
void | set_use_linear3_for_no_overlap_2d_precedences (bool value) |
bool | has_routing_cut_max_infeasible_path_length () const |
optional int32 routing_cut_max_infeasible_path_length = 317 [default = 6]; | |
void | clear_routing_cut_max_infeasible_path_length () |
::int32_t | routing_cut_max_infeasible_path_length () const |
void | set_routing_cut_max_infeasible_path_length (::int32_t value) |
bool | has_routing_cut_subset_size_for_shortest_paths_bound () const |
optional int32 routing_cut_subset_size_for_shortest_paths_bound = 318 [default = 8]; | |
void | clear_routing_cut_subset_size_for_shortest_paths_bound () |
::int32_t | routing_cut_subset_size_for_shortest_paths_bound () const |
void | set_routing_cut_subset_size_for_shortest_paths_bound (::int32_t value) |
bool | has_max_alldiff_domain_size () const |
optional int32 max_alldiff_domain_size = 320 [default = 256]; | |
void | clear_max_alldiff_domain_size () |
::int32_t | max_alldiff_domain_size () const |
void | set_max_alldiff_domain_size (::int32_t value) |
bool | has_no_overlap_2d_boolean_relations_limit () const |
optional int32 no_overlap_2d_boolean_relations_limit = 321 [default = 10]; | |
void | clear_no_overlap_2d_boolean_relations_limit () |
::int32_t | no_overlap_2d_boolean_relations_limit () const |
void | set_no_overlap_2d_boolean_relations_limit (::int32_t value) |
bool | has_share_glue_clauses_dtime () const |
optional double share_glue_clauses_dtime = 322 [default = 1]; | |
void | clear_share_glue_clauses_dtime () |
double | share_glue_clauses_dtime () const |
void | set_share_glue_clauses_dtime (double value) |
template<typename> | |
PROTOBUF_CONSTEXPR | SatParameters (::_pbi::ConstantInitialized) |
template<typename Arg_, typename... Args_> | |
PROTOBUF_ALWAYS_INLINE void | set_name (Arg_ &&arg, Args_... args) |
template<typename Arg_, typename... Args_> | |
PROTOBUF_ALWAYS_INLINE void | set_default_restart_algorithms (Arg_ &&arg, Args_... args) |
template<typename Arg_, typename... Args_> | |
PROTOBUF_ALWAYS_INLINE void | set_log_prefix (Arg_ &&arg, Args_... args) |
Static Public Member Functions | |
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL | descriptor () |
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL | GetDescriptor () |
static const ::google::protobuf::Reflection *PROTOBUF_NONNULL | GetReflection () |
static const SatParameters & | default_instance () |
static constexpr auto | InternalGenerateClassData_ () |
static bool | VariableOrder_IsValid (int value) |
static const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL | VariableOrder_descriptor () |
template<typename T> | |
static const ::std::string & | VariableOrder_Name (T value) |
static bool | VariableOrder_Parse (::absl::string_view name, VariableOrder *PROTOBUF_NONNULL value) |
static bool | Polarity_IsValid (int value) |
static const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL | Polarity_descriptor () |
template<typename T> | |
static const ::std::string & | Polarity_Name (T value) |
static bool | Polarity_Parse (::absl::string_view name, Polarity *PROTOBUF_NONNULL value) |
static bool | ConflictMinimizationAlgorithm_IsValid (int value) |
static const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL | ConflictMinimizationAlgorithm_descriptor () |
template<typename T> | |
static const ::std::string & | ConflictMinimizationAlgorithm_Name (T value) |
static bool | ConflictMinimizationAlgorithm_Parse (::absl::string_view name, ConflictMinimizationAlgorithm *PROTOBUF_NONNULL value) |
static bool | BinaryMinizationAlgorithm_IsValid (int value) |
static const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL | BinaryMinizationAlgorithm_descriptor () |
template<typename T> | |
static const ::std::string & | BinaryMinizationAlgorithm_Name (T value) |
static bool | BinaryMinizationAlgorithm_Parse (::absl::string_view name, BinaryMinizationAlgorithm *PROTOBUF_NONNULL value) |
static bool | ClauseProtection_IsValid (int value) |
static const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL | ClauseProtection_descriptor () |
template<typename T> | |
static const ::std::string & | ClauseProtection_Name (T value) |
static bool | ClauseProtection_Parse (::absl::string_view name, ClauseProtection *PROTOBUF_NONNULL value) |
static bool | ClauseOrdering_IsValid (int value) |
static const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL | ClauseOrdering_descriptor () |
template<typename T> | |
static const ::std::string & | ClauseOrdering_Name (T value) |
static bool | ClauseOrdering_Parse (::absl::string_view name, ClauseOrdering *PROTOBUF_NONNULL value) |
static bool | RestartAlgorithm_IsValid (int value) |
static const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL | RestartAlgorithm_descriptor () |
template<typename T> | |
static const ::std::string & | RestartAlgorithm_Name (T value) |
static bool | RestartAlgorithm_Parse (::absl::string_view name, RestartAlgorithm *PROTOBUF_NONNULL value) |
static bool | MaxSatAssumptionOrder_IsValid (int value) |
static const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL | MaxSatAssumptionOrder_descriptor () |
template<typename T> | |
static const ::std::string & | MaxSatAssumptionOrder_Name (T value) |
static bool | MaxSatAssumptionOrder_Parse (::absl::string_view name, MaxSatAssumptionOrder *PROTOBUF_NONNULL value) |
static bool | MaxSatStratificationAlgorithm_IsValid (int value) |
static const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL | MaxSatStratificationAlgorithm_descriptor () |
template<typename T> | |
static const ::std::string & | MaxSatStratificationAlgorithm_Name (T value) |
static bool | MaxSatStratificationAlgorithm_Parse (::absl::string_view name, MaxSatStratificationAlgorithm *PROTOBUF_NONNULL value) |
static bool | SearchBranching_IsValid (int value) |
static const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL | SearchBranching_descriptor () |
template<typename T> | |
static const ::std::string & | SearchBranching_Name (T value) |
static bool | SearchBranching_Parse (::absl::string_view name, SearchBranching *PROTOBUF_NONNULL value) |
static bool | SharedTreeSplitStrategy_IsValid (int value) |
static const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL | SharedTreeSplitStrategy_descriptor () |
template<typename T> | |
static const ::std::string & | SharedTreeSplitStrategy_Name (T value) |
static bool | SharedTreeSplitStrategy_Parse (::absl::string_view name, SharedTreeSplitStrategy *PROTOBUF_NONNULL value) |
static bool | FPRoundingMethod_IsValid (int value) |
static const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL | FPRoundingMethod_descriptor () |
template<typename T> | |
static const ::std::string & | FPRoundingMethod_Name (T value) |
static bool | FPRoundingMethod_Parse (::absl::string_view name, FPRoundingMethod *PROTOBUF_NONNULL value) |
Protected Member Functions | |
SatParameters (::google::protobuf::Arena *PROTOBUF_NULLABLE arena) | |
SatParameters (::google::protobuf::Arena *PROTOBUF_NULLABLE arena, const SatParameters &from) | |
SatParameters (::google::protobuf::Arena *PROTOBUF_NULLABLE arena, SatParameters &&from) noexcept | |
const ::google::protobuf::internal::ClassData *PROTOBUF_NONNULL | GetClassData () const PROTOBUF_FINAL |
Static Protected Member Functions | |
static void *PROTOBUF_NONNULL | PlacementNew_ (const void *PROTOBUF_NONNULL, void *PROTOBUF_NONNULL mem, ::google::protobuf::Arena *PROTOBUF_NULLABLE arena) |
static constexpr auto | InternalNewImpl_ () |
Friends | |
class | ::google::protobuf::internal::TcParser |
class | ::google::protobuf::MessageLite |
class | ::google::protobuf::Arena |
template<typename T> | |
class | ::google::protobuf::Arena::InternalHelper |
struct | ::TableStruct_ortools_2fsat_2fsat_5fparameters_2eproto |
void | swap (SatParameters &a, SatParameters &b) |
using operations_research::sat::SatParameters::BinaryMinizationAlgorithm = SatParameters_BinaryMinizationAlgorithm |
Definition at line 752 of file sat_parameters.pb.h.
Definition at line 796 of file sat_parameters.pb.h.
Definition at line 775 of file sat_parameters.pb.h.
using operations_research::sat::SatParameters::ConflictMinimizationAlgorithm = SatParameters_ConflictMinimizationAlgorithm |
Definition at line 730 of file sat_parameters.pb.h.
Definition at line 931 of file sat_parameters.pb.h.
using operations_research::sat::SatParameters::MaxSatAssumptionOrder = SatParameters_MaxSatAssumptionOrder |
Definition at line 839 of file sat_parameters.pb.h.
using operations_research::sat::SatParameters::MaxSatStratificationAlgorithm = SatParameters_MaxSatStratificationAlgorithm |
Definition at line 860 of file sat_parameters.pb.h.
Definition at line 709 of file sat_parameters.pb.h.
Definition at line 816 of file sat_parameters.pb.h.
Definition at line 881 of file sat_parameters.pb.h.
using operations_research::sat::SatParameters::SharedTreeSplitStrategy = SatParameters_SharedTreeSplitStrategy |
Definition at line 908 of file sat_parameters.pb.h.
nested types -------------------------------------------------—
Definition at line 688 of file sat_parameters.pb.h.
anonymous enum : int |
accessors ----------------------------------------------------—
Definition at line 955 of file sat_parameters.pb.h.
|
inline |
Definition at line 551 of file sat_parameters.pb.h.
operations_research::sat::SatParameters::~SatParameters | ( | ) |
@protoc_insertion_point(destructor:operations_research.sat.SatParameters)
Definition at line 1604 of file sat_parameters.pb.cc.
|
explicit |
|
inline |
Definition at line 564 of file sat_parameters.pb.h.
|
inlinenoexcept |
Definition at line 565 of file sat_parameters.pb.h.
|
explicitprotected |
@protoc_insertion_point(arena_constructor:operations_research.sat.SatParameters)
Definition at line 1368 of file sat_parameters.pb.cc.
|
protected |
@protoc_insertion_point(copy_constructor:operations_research.sat.SatParameters)
Definition at line 1393 of file sat_parameters.pb.cc.
|
inlineprotectednoexcept |
Definition at line 672 of file sat_parameters.pb.h.
PROTOBUF_CONSTEXPR operations_research::sat::SatParameters::SatParameters | ( | ::_pbi::ConstantInitialized | ) |
Definition at line 316 of file sat_parameters.pb.cc.
|
final |
@protoc_insertion_point(serialize_to_array_start:operations_research.sat.SatParameters)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default = IN_ORDER];
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FALSE];
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm = 4 [default = RECURSIVE];
optional int32 clause_cleanup_period = 11 [default = 10000];
optional int32 clause_cleanup_target = 13 [default = 0];
optional double variable_activity_decay = 15 [default = 0.8];
optional double max_variable_activity_value = 16 [default = 1e+100];
optional double clause_activity_decay = 17 [default = 0.999];
optional double max_clause_activity_value = 18 [default = 1e+20];
optional double glucose_max_decay = 22 [default = 0.95];
optional double glucose_decay_increment = 23 [default = 0.01];
optional int32 glucose_decay_increment_period = 24 [default = 5000];
optional int32 restart_period = 30 [default = 50];
optional int32 random_seed = 31 [default = 1];
optional double random_branches_ratio = 32 [default = 0];
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorithm = 34 [default = BINARY_MINIMIZATION_FIRST];
optional bool use_optimization_hints = 35 [default = true];
optional double max_time_in_seconds = 36 [default = inf];
optional int64 max_number_of_conflicts = 37 [default = 9223372036854775807];
optional int64 max_memory_in_mb = 40 [default = 10000];
optional bool log_search_progress = 41 [default = false];
optional bool use_pb_resolution = 43 [default = false];
optional bool use_phase_saving = 44 [default = true];
optional double random_polarity_ratio = 45 [default = 0];
optional int32 pb_cleanup_increment = 46 [default = 200];
optional double pb_cleanup_ratio = 47 [default = 0.5];
optional bool minimize_reduction_during_pb_resolution = 48 [default = false];
optional bool count_assumption_levels_in_lbd = 49 [default = true];
optional int32 core_minimization_level = 50 [default = 2];
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [default = DEFAULT_ASSUMPTION_ORDER];
optional bool max_sat_reverse_assumption_order = 52 [default = false];
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification = 53 [default = STRATIFICATION_DESCENT];
optional int32 presolve_bve_threshold = 54 [default = 500];
optional int32 presolve_bve_clause_weight = 55 [default = 3];
optional bool subsumption_during_conflict_analysis = 56 [default = true];
optional double presolve_probing_deterministic_time_limit = 57 [default = 30];
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [default = PROTECTION_NONE];
optional int32 clause_cleanup_lbd_bound = 59 [default = 5];
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default = CLAUSE_ACTIVITY];
repeated .operations_research.sat.SatParameters.RestartAlgorithm restart_algorithms = 61;
optional int32 restart_running_window_size = 62 [default = 50];
optional double restart_dl_average_ratio = 63 [default = 1];
optional bool use_blocking_restart = 64 [default = false];
optional int32 blocking_restart_window_size = 65 [default = 5000];
optional double blocking_restart_multiplier = 66 [default = 1.4];
optional double max_deterministic_time = 67 [default = inf];
optional int32 num_conflicts_before_strategy_changes = 68 [default = 0];
optional double strategy_change_increase_ratio = 69 [default = 0];
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART"];
optional double restart_lbd_average_ratio = 71 [default = 1];
optional bool presolve_use_bva = 72 [default = true];
optional int32 presolve_bva_threshold = 73 [default = 1];
optional bool use_precedences_in_disjunctive_constraint = 74 [default = true];
optional bool use_erwa_heuristic = 75 [default = false];
optional double initial_variables_activity = 76 [default = 0];
optional bool also_bump_variables_in_conflict_reasons = 77 [default = false];
optional bool use_overload_checker_in_cumulative = 78 [default = false];
optional bool use_timetable_edge_finding_in_cumulative = 79 [default = false];
optional bool use_disjunctive_constraint_in_cumulative = 80 [default = true];
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTOMATIC_SEARCH];
optional bool optimize_with_core = 83 [default = false];
optional bool find_multiple_cores = 84 [default = true];
optional bool optimize_with_max_hs = 85 [default = false];
optional bool cp_model_presolve = 86 [default = true];
optional bool enumerate_all_solutions = 87 [default = false];
optional bool presolve_blocked_clause = 88 [default = true];
optional bool cover_optimization = 89 [default = true];
optional int32 linearization_level = 90 [default = 1];
optional int32 max_num_cuts = 91 [default = 10000];
optional bool only_add_cuts_at_level_zero = 92 [default = false];
optional bool cp_model_use_sat_presolve = 93 [default = true];
optional bool exploit_integer_lp_solution = 94 [default = true];
optional bool auto_detect_greater_than_at_least_one_of = 95 [default = true];
optional bool stop_after_first_solution = 98 [default = false];
optional int32 binary_search_num_conflicts = 99 [default = -1];
optional int32 num_search_workers = 100 [default = 0];
optional bool use_lns_only = 101 [default = false];
optional bool randomize_search = 103 [default = false];
optional int64 search_random_variable_pool_size = 104 [default = 0];
optional bool instantiate_all_variables = 106 [default = true];
optional int32 boolean_encoding_level = 107 [default = 1];
optional bool use_optional_variables = 108 [default = false];
optional bool use_exact_lp_reason = 109 [default = true];
optional int32 cp_model_probing_level = 110 [default = 2];
optional bool add_lp_constraints_lazily = 112 [default = true];
optional bool share_objective_bounds = 113 [default = true];
optional bool share_level_zero_bounds = 114 [default = true];
optional double min_orthogonality_for_lp_constraints = 115 [default = 0.05];
optional bool exploit_all_lp_solution = 116 [default = true];
optional bool add_cg_cuts = 117 [default = true];
optional int32 max_integer_rounding_scaling = 119 [default = 600];
optional bool add_mir_cuts = 120 [default = true];
optional int32 max_consecutive_inactive_count = 121 [default = 100];
optional int32 new_constraints_batch_size = 122 [default = 50];
optional int64 pseudo_cost_reliability_threshold = 123 [default = 100];
optional double mip_max_bound = 124 [default = 10000000];
optional double mip_var_scaling = 125 [default = 1];
optional double mip_wanted_precision = 126 [default = 1e-06];
optional int32 mip_max_activity_exponent = 127 [default = 53];
optional double mip_check_precision = 128 [default = 0.0001];
optional bool use_rins_lns = 129 [default = true];
optional bool exploit_best_solution = 130 [default = false];
optional bool exploit_objective = 131 [default = true];
optional bool fill_tightened_domains_in_response = 132 [default = false];
optional bool use_combined_no_overlap = 133 [default = false];
optional int32 interleave_batch_size = 134 [default = 0];
optional bool catch_sigint_signal = 135 [default = true];
optional bool interleave_search = 136 [default = false];
optional bool diversify_lns_params = 137 [default = false];
optional int32 max_presolve_iterations = 138 [default = 3];
optional bool use_implied_bounds = 144 [default = true];
optional double merge_no_overlap_work_limit = 145 [default = 1000000000000];
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
optional int32 presolve_substitution_level = 147 [default = 1];
optional int32 max_all_diff_cut_size = 148 [default = 64];
optional bool stop_after_presolve = 149 [default = false];
optional int32 debug_max_num_presolve_operations = 151 [default = 0];
optional bool add_lin_max_cuts = 152 [default = true];
optional int32 hint_conflict_limit = 153 [default = 10];
optional int32 max_cut_rounds_at_level_zero = 154 [default = 1];
optional double cut_max_active_count_value = 155 [default = 10000000000];
optional double cut_active_count_decay = 156 [default = 0.8];
optional int32 cut_cleanup_target = 157 [default = 1000];
optional double absolute_gap_limit = 159 [default = 0.0001];
optional double relative_gap_limit = 160 [default = 0];
optional bool exploit_relaxation_solution = 161 [default = false];
optional bool debug_postsolve_with_full_solver = 162 [default = false];
optional bool use_sat_inprocessing = 163 [default = true];
optional bool use_feasibility_pump = 164 [default = true];
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGATION_ASSISTED];
optional bool mip_automatically_scale_variables = 166 [default = true];
optional bool repair_hint = 167 [default = false];
optional int32 polarity_rephase_increment = 168 [default = 1000];
optional bool add_zero_half_cuts = 169 [default = true];
optional bool expand_alldiff_constraints = 170 [default = false];
optional string name = 171 [default = ""];
optional bool add_clique_cuts = 172 [default = true];
optional bool keep_all_feasible_solutions_in_presolve = 173 [default = false];
optional bool presolve_extract_integer_enforcement = 174 [default = false];
optional bool polish_lp_solution = 175 [default = false];
optional bool use_probing_search = 176 [default = false];
optional bool convert_intervals = 177 [default = true];
optional bool permute_variable_randomly = 178 [default = false];
optional bool permute_presolve_constraint_order = 179 [default = false];
optional bool use_absl_random = 180 [default = false];
optional bool disable_constraint_expansion = 181 [default = false];
optional bool expand_reservoir_constraints = 182 [default = true];
optional int32 symmetry_level = 183 [default = 2];
optional string log_prefix = 185 [default = ""];
optional bool log_to_stdout = 186 [default = true];
optional bool log_to_response = 187 [default = false];
optional bool optimize_with_lb_tree_search = 188 [default = false];
optional bool log_subsolver_statistics = 189 [default = false];
optional double clause_cleanup_ratio = 190 [default = 0.5];
optional int32 max_domain_size_when_encoding_eq_neq_constraints = 191 [default = 16];
optional bool fix_variables_to_their_hinted_value = 192 [default = false];
optional int32 solution_pool_size = 193 [default = 3];
optional bool fill_additional_solutions_in_response = 194 [default = false];
optional bool debug_crash_on_bad_hint = 195 [default = false];
optional int32 cut_level = 196 [default = 1];
optional bool add_objective_cut = 197 [default = false];
optional bool mip_compute_true_objective_bound = 198 [default = true];
optional double mip_max_valid_magnitude = 199 [default = 1e+20];
optional bool use_timetabling_in_no_overlap_2d = 200 [default = false];
optional int64 presolve_inclusion_work_limit = 201 [default = 100000000];
optional bool ignore_names = 202 [default = true];
optional bool share_binary_clauses = 203 [default = true];
optional double shaving_deterministic_time_in_probing_search = 204 [default = 0.001];
optional double shaving_search_deterministic_time = 205 [default = 0.1];
optional int32 num_workers = 206 [default = 0];
repeated string subsolvers = 207;
repeated string ignore_subsolvers = 209;
repeated .operations_research.sat.SatParameters subsolver_params = 210;
optional bool use_energetic_reasoning_in_no_overlap_2d = 213 [default = false];
optional bool use_dual_scheduling_heuristics = 214 [default = true];
optional bool use_hard_precedences_in_cumulative = 215 [default = false];
optional bool detect_table_with_cost = 216 [default = false];
optional int32 table_compression_level = 217 [default = 2];
repeated string extra_subsolvers = 219;
optional bool exploit_all_precedences = 220 [default = false];
optional double propagation_loop_detection_factor = 221 [default = 10];
optional bool only_solve_ip = 222 [default = false];
optional bool encode_complex_linear_constraint_with_integer = 223 [default = false];
optional bool new_linear_propagation = 224 [default = true];
optional bool mip_scale_large_domain = 225 [default = false];
optional double probing_deterministic_time_limit = 226 [default = 1];
optional int32 root_lp_iterations = 227 [default = 2000];
optional bool use_objective_lb_search = 228 [default = false];
optional int32 max_size_to_create_precedence_literals_in_disjunctive = 229 [default = 60];
optional bool use_strong_propagation_in_disjunctive = 230 [default = false];
optional double mip_drop_tolerance = 232 [default = 1e-16];
optional bool infer_all_diffs = 233 [default = true];
optional bool find_big_linear_overlap = 234 [default = true];
optional int32 shared_tree_num_workers = 235 [default = 0];
optional bool use_shared_tree_search = 236 [default = false];
optional int32 shared_tree_max_nodes_per_worker = 238 [default = 10000];
optional .operations_research.sat.SatParameters.SharedTreeSplitStrategy shared_tree_split_strategy = 239 [default = SPLIT_STRATEGY_AUTO];
optional bool use_ls_only = 240 [default = false];
optional double feasibility_jump_decay = 242 [default = 0.95];
optional int32 num_violation_ls = 244 [default = 0];
optional double feasibility_jump_var_randomization_probability = 247 [default = 0.05];
optional double feasibility_jump_var_perburbation_range_ratio = 248 [default = 0.2];
optional int32 violation_ls_perturbation_period = 249 [default = 100];
optional bool feasibility_jump_enable_restarts = 250 [default = true];
optional bool stop_after_root_propagation = 252 [default = false];
optional bool use_objective_shaving_search = 253 [default = false];
optional bool use_lb_relax_lns = 255 [default = true];
optional int32 linear_split_size = 256 [default = 100];
optional int32 feasibility_jump_linearization_level = 257 [default = 2];
optional int32 feasibility_jump_restart_factor = 258 [default = 1];
optional double violation_ls_compound_move_probability = 259 [default = 0.5];
optional int32 max_num_intervals_for_timetable_edge_finding = 260 [default = 100];
optional int32 mip_presolve_level = 261 [default = 2];
optional bool push_all_tasks_toward_start = 262 [default = false];
optional bool use_dynamic_precedence_in_disjunctive = 263 [default = false];
optional int32 feasibility_jump_max_expanded_constraint_size = 264 [default = 500];
optional bool use_feasibility_jump = 265 [default = true];
optional double lp_primal_tolerance = 266 [default = 1e-07];
optional double lp_dual_tolerance = 267 [default = 1e-07];
optional bool use_dynamic_precedence_in_cumulative = 268 [default = false];
optional bool use_extended_probing = 269 [default = true];
optional int32 at_most_one_max_expansion_size = 270 [default = 3];
optional bool use_area_energetic_reasoning_in_no_overlap_2d = 271 [default = false];
optional int32 probing_num_combinations_limit = 272 [default = 20000];
optional double inprocessing_dtime_ratio = 273 [default = 0.2];
optional double inprocessing_probing_dtime = 274 [default = 1];
optional double inprocessing_minimization_dtime = 275 [default = 1];
optional int32 max_pairs_pairwise_reasoning_in_no_overlap_2d = 276 [default = 1250];
optional bool detect_linearized_product = 277 [default = false];
optional bool mip_treat_high_magnitude_bounds_as_infinity = 278 [default = false];
optional bool add_rlt_cuts = 279 [default = true];
optional int32 max_lin_max_size_for_expansion = 280 [default = 0];
optional double shared_tree_open_leaves_per_worker = 281 [default = 2];
optional int32 shared_tree_worker_min_restarts_per_subtree = 282 [default = 1];
optional bool use_lns = 283 [default = true];
optional bool save_lp_basis_in_lb_tree_search = 284 [default = false];
optional bool share_glue_clauses = 285 [default = false];
optional bool use_conservative_scale_overload_checker = 286 [default = false];
optional bool encode_cumulative_as_reservoir = 287 [default = false];
optional bool expand_reservoir_using_circuit = 288 [default = false];
optional int32 variables_shaving_level = 289 [default = -1];
optional int64 shaving_search_threshold = 290 [default = 64];
optional int32 max_num_deterministic_batches = 291 [default = 0];
optional double feasibility_jump_batch_dtime = 292 [default = 0.1];
repeated string filter_subsolvers = 293;
optional int32 num_full_subsolvers = 294 [default = 0];
optional bool shared_tree_worker_enable_trail_sharing = 295 [default = true];
optional int32 lb_relax_num_workers_threshold = 296 [default = 16];
optional bool inprocessing_minimization_use_conflict_analysis = 297 [default = true];
optional bool inprocessing_minimization_use_all_orderings = 298 [default = false];
optional bool use_try_edge_reasoning_in_no_overlap_2d = 299 [default = false];
optional bool minimize_shared_clauses = 300 [default = true];
optional bool use_symmetry_in_lp = 301 [default = false];
optional double symmetry_detection_deterministic_time_limit = 302 [default = 1];
optional bool keep_symmetry_in_presolve = 303 [default = false];
optional bool shared_tree_worker_enable_phase_sharing = 304 [default = true];
optional int32 shared_tree_balance_tolerance = 305 [default = 1];
optional bool debug_crash_if_presolve_breaks_hint = 306 [default = false];
optional double lns_initial_difficulty = 307 [default = 0.5];
optional double lns_initial_deterministic_limit = 308 [default = 0.1];
optional bool polarity_exploit_ls_hints = 309 [default = false];
optional bool remove_fixed_variables_early = 310 [default = true];
optional bool use_all_different_for_circuit = 311 [default = false];
optional int32 routing_cut_subset_size_for_binary_relation_bound = 312 [default = 0];
optional int32 routing_cut_subset_size_for_tight_binary_relation_bound = 313 [default = 0];
optional double routing_cut_dp_effort = 314 [default = 10000000];
optional int32 maximum_regions_to_split_in_disconnected_no_overlap_2d = 315 [default = 0];
optional int32 routing_cut_subset_size_for_exact_binary_relation_bound = 316 [default = 8];
optional int32 routing_cut_max_infeasible_path_length = 317 [default = 6];
optional int32 routing_cut_subset_size_for_shortest_paths_bound = 318 [default = 8];
optional int32 max_alldiff_domain_size = 320 [default = 256];
optional int32 no_overlap_2d_boolean_relations_limit = 321 [default = 10];
optional double share_glue_clauses_dtime = 322 [default = 1];
optional bool use_linear3_for_no_overlap_2d_precedences = 323 [default = true];
optional bool filter_sat_postsolve_clauses = 324 [default = false];
@protoc_insertion_point(serialize_to_array_end:operations_research.sat.SatParameters)
Definition at line 2971 of file sat_parameters.pb.cc.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.absolute_gap_limit)
Definition at line 6049 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.add_cg_cuts)
Definition at line 11703 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.add_clique_cuts)
Definition at line 11787 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_add_mutable:operations_research.sat.SatParameters.extra_subsolvers)
Definition at line 7667 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_add:operations_research.sat.SatParameters.extra_subsolvers)
Definition at line 7691 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_add_mutable:operations_research.sat.SatParameters.filter_subsolvers)
Definition at line 7795 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_add:operations_research.sat.SatParameters.filter_subsolvers)
Definition at line 7819 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_add_mutable:operations_research.sat.SatParameters.ignore_subsolvers)
Definition at line 7731 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_add:operations_research.sat.SatParameters.ignore_subsolvers)
Definition at line 7755 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.add_lin_max_cuts)
Definition at line 11871 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.add_lp_constraints_lazily)
Definition at line 11927 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.add_mir_cuts)
Definition at line 11731 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.add_objective_cut)
Definition at line 11675 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_add:operations_research.sat.SatParameters.restart_algorithms)
Definition at line 5552 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.add_rlt_cuts)
Definition at line 11815 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_add:operations_research.sat.SatParameters.subsolver_params)
Definition at line 7875 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_add_mutable:operations_research.sat.SatParameters.subsolvers)
Definition at line 7603 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_add:operations_research.sat.SatParameters.subsolvers)
Definition at line 7627 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.add_zero_half_cuts)
Definition at line 11759 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.also_bump_variables_in_conflict_reasons)
Definition at line 4996 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.at_most_one_max_expansion_size)
Definition at line 11143 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.auto_detect_greater_than_at_least_one_of)
Definition at line 10552 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.binary_minimization_algorithm)
Definition at line 5055 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.binary_search_num_conflicts)
Definition at line 9737 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 764 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 758 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 768 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 771 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.blocking_restart_multiplier)
Definition at line 5825 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.blocking_restart_window_size)
Definition at line 5797 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.boolean_encoding_level)
Definition at line 11535 of file sat_parameters.pb.h.
|
final |
@protoc_insertion_point(message_byte_size_start:operations_research.sat.SatParameters)
Prevent compiler warnings about cached_has_bits being unused
repeated .operations_research.sat.SatParameters.RestartAlgorithm restart_algorithms = 61;
repeated string subsolvers = 207;
repeated string ignore_subsolvers = 209;
repeated .operations_research.sat.SatParameters subsolver_params = 210;
repeated string extra_subsolvers = 219;
repeated string filter_subsolvers = 293;
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART"];
optional string name = 171 [default = ""];
optional string log_prefix = 185 [default = ""];
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default = IN_ORDER];
optional int32 clause_cleanup_target = 13 [default = 0];
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [default = DEFAULT_ASSUMPTION_ORDER];
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [default = PROTECTION_NONE];
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default = CLAUSE_ACTIVITY];
optional int32 num_conflicts_before_strategy_changes = 68 [default = 0];
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTOMATIC_SEARCH];
optional int32 num_search_workers = 100 [default = 0];
optional int64 search_random_variable_pool_size = 104 [default = 0];
optional int32 interleave_batch_size = 134 [default = 0];
optional int32 debug_max_num_presolve_operations = 151 [default = 0];
optional int32 num_workers = 206 [default = 0];
optional int32 shared_tree_num_workers = 235 [default = 0];
optional .operations_research.sat.SatParameters.SharedTreeSplitStrategy shared_tree_split_strategy = 239 [default = SPLIT_STRATEGY_AUTO];
optional int32 num_violation_ls = 244 [default = 0];
optional int32 max_lin_max_size_for_expansion = 280 [default = 0];
optional int32 max_num_deterministic_batches = 291 [default = 0];
optional int32 num_full_subsolvers = 294 [default = 0];
optional int32 routing_cut_subset_size_for_binary_relation_bound = 312 [default = 0];
optional int32 routing_cut_subset_size_for_tight_binary_relation_bound = 313 [default = 0];
optional int32 maximum_regions_to_split_in_disconnected_no_overlap_2d = 315 [default = 0];
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FALSE];
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm = 4 [default = RECURSIVE];
optional int32 clause_cleanup_period = 11 [default = 10000];
optional int32 glucose_decay_increment_period = 24 [default = 5000];
optional int32 restart_period = 30 [default = 50];
optional int32 random_seed = 31 [default = 1];
optional int64 max_number_of_conflicts = 37 [default = 9223372036854775807];
optional int64 max_memory_in_mb = 40 [default = 10000];
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorithm = 34 [default = BINARY_MINIMIZATION_FIRST];
optional int32 pb_cleanup_increment = 46 [default = 200];
optional int32 core_minimization_level = 50 [default = 2];
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification = 53 [default = STRATIFICATION_DESCENT];
optional int32 presolve_bve_threshold = 54 [default = 500];
optional int32 presolve_bve_clause_weight = 55 [default = 3];
optional int32 clause_cleanup_lbd_bound = 59 [default = 5];
optional int32 restart_running_window_size = 62 [default = 50];
optional int32 blocking_restart_window_size = 65 [default = 5000];
optional int32 presolve_bva_threshold = 73 [default = 1];
optional int32 linearization_level = 90 [default = 1];
optional int32 max_num_cuts = 91 [default = 10000];
optional int32 binary_search_num_conflicts = 99 [default = -1];
optional int32 boolean_encoding_level = 107 [default = 1];
optional int32 cp_model_probing_level = 110 [default = 2];
optional int32 max_integer_rounding_scaling = 119 [default = 600];
optional int32 max_consecutive_inactive_count = 121 [default = 100];
optional int64 pseudo_cost_reliability_threshold = 123 [default = 100];
optional int32 new_constraints_batch_size = 122 [default = 50];
optional int32 mip_max_activity_exponent = 127 [default = 53];
optional int32 max_presolve_iterations = 138 [default = 3];
optional int32 presolve_substitution_level = 147 [default = 1];
optional int32 max_all_diff_cut_size = 148 [default = 64];
optional int32 hint_conflict_limit = 153 [default = 10];
optional int32 max_cut_rounds_at_level_zero = 154 [default = 1];
optional int32 cut_cleanup_target = 157 [default = 1000];
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGATION_ASSISTED];
optional int32 polarity_rephase_increment = 168 [default = 1000];
optional int32 symmetry_level = 183 [default = 2];
optional int32 max_domain_size_when_encoding_eq_neq_constraints = 191 [default = 16];
optional int32 solution_pool_size = 193 [default = 3];
optional int32 cut_level = 196 [default = 1];
optional int64 presolve_inclusion_work_limit = 201 [default = 100000000];
optional int32 table_compression_level = 217 [default = 2];
optional int32 root_lp_iterations = 227 [default = 2000];
optional int32 max_size_to_create_precedence_literals_in_disjunctive = 229 [default = 60];
optional int32 shared_tree_max_nodes_per_worker = 238 [default = 10000];
optional int32 violation_ls_perturbation_period = 249 [default = 100];
optional int32 linear_split_size = 256 [default = 100];
optional int32 feasibility_jump_linearization_level = 257 [default = 2];
optional int32 feasibility_jump_restart_factor = 258 [default = 1];
optional int32 max_num_intervals_for_timetable_edge_finding = 260 [default = 100];
optional int32 mip_presolve_level = 261 [default = 2];
optional int32 feasibility_jump_max_expanded_constraint_size = 264 [default = 500];
optional int32 at_most_one_max_expansion_size = 270 [default = 3];
optional int32 probing_num_combinations_limit = 272 [default = 20000];
optional int32 max_pairs_pairwise_reasoning_in_no_overlap_2d = 276 [default = 1250];
optional int32 shared_tree_worker_min_restarts_per_subtree = 282 [default = 1];
optional int64 shaving_search_threshold = 290 [default = 64];
optional int32 variables_shaving_level = 289 [default = -1];
optional int32 lb_relax_num_workers_threshold = 296 [default = 16];
optional int32 shared_tree_balance_tolerance = 305 [default = 1];
optional int32 routing_cut_subset_size_for_exact_binary_relation_bound = 316 [default = 8];
optional int32 routing_cut_max_infeasible_path_length = 317 [default = 6];
optional int32 routing_cut_subset_size_for_shortest_paths_bound = 318 [default = 8];
optional int32 max_alldiff_domain_size = 320 [default = 256];
optional int32 no_overlap_2d_boolean_relations_limit = 321 [default = 10];
Definition at line 5061 of file sat_parameters.pb.cc.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.catch_sigint_signal)
Definition at line 11171 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_activity_decay)
Definition at line 5484 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_lbd_bound)
Definition at line 5229 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_ordering)
Definition at line 5257 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_period)
Definition at line 5114 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_protection)
Definition at line 5198 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_ratio)
Definition at line 5170 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_target)
Definition at line 5142 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 805 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 799 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 809 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 812 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 785 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 779 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 789 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 792 of file sat_parameters.pb.h.
PROTOBUF_NOINLINE void operations_research::sat::SatParameters::Clear | ( | ) |
@protoc_insertion_point(message_clear_start:operations_research.sat.SatParameters)
Prevent compiler warnings about cached_has_bits being unused
Definition at line 2656 of file sat_parameters.pb.cc.
|
inline |
Definition at line 6044 of file sat_parameters.pb.h.
|
inline |
Definition at line 11698 of file sat_parameters.pb.h.
|
inline |
Definition at line 11782 of file sat_parameters.pb.h.
|
inline |
Definition at line 11866 of file sat_parameters.pb.h.
|
inline |
Definition at line 11922 of file sat_parameters.pb.h.
|
inline |
Definition at line 11726 of file sat_parameters.pb.h.
|
inline |
Definition at line 11670 of file sat_parameters.pb.h.
|
inline |
Definition at line 11810 of file sat_parameters.pb.h.
|
inline |
Definition at line 11754 of file sat_parameters.pb.h.
|
inline |
Definition at line 4991 of file sat_parameters.pb.h.
|
inline |
Definition at line 11138 of file sat_parameters.pb.h.
|
inline |
Definition at line 10547 of file sat_parameters.pb.h.
|
inline |
Definition at line 5050 of file sat_parameters.pb.h.
|
inline |
Definition at line 9732 of file sat_parameters.pb.h.
|
inline |
Definition at line 5820 of file sat_parameters.pb.h.
|
inline |
Definition at line 5792 of file sat_parameters.pb.h.
|
inline |
Definition at line 11530 of file sat_parameters.pb.h.
|
inline |
Definition at line 11166 of file sat_parameters.pb.h.
|
inline |
Definition at line 5479 of file sat_parameters.pb.h.
|
inline |
Definition at line 5224 of file sat_parameters.pb.h.
|
inline |
Definition at line 5252 of file sat_parameters.pb.h.
|
inline |
Definition at line 5109 of file sat_parameters.pb.h.
|
inline |
Definition at line 5193 of file sat_parameters.pb.h.
|
inline |
Definition at line 5165 of file sat_parameters.pb.h.
|
inline |
Definition at line 5137 of file sat_parameters.pb.h.
|
inline |
Definition at line 11306 of file sat_parameters.pb.h.
|
inline |
Definition at line 8267 of file sat_parameters.pb.h.
|
inline |
Definition at line 6449 of file sat_parameters.pb.h.
|
inline |
Definition at line 8323 of file sat_parameters.pb.h.
|
inline |
Definition at line 6729 of file sat_parameters.pb.h.
|
inline |
Definition at line 6757 of file sat_parameters.pb.h.
|
inline |
Definition at line 6785 of file sat_parameters.pb.h.
|
inline |
Definition at line 12090 of file sat_parameters.pb.h.
|
inline |
Definition at line 12118 of file sat_parameters.pb.h.
|
inline |
Definition at line 11614 of file sat_parameters.pb.h.
|
inline |
Definition at line 12062 of file sat_parameters.pb.h.
|
inline |
Definition at line 8211 of file sat_parameters.pb.h.
|
inline |
Definition at line 8183 of file sat_parameters.pb.h.
|
inline |
Definition at line 8155 of file sat_parameters.pb.h.
|
inline |
Definition at line 8127 of file sat_parameters.pb.h.
|
inline |
Definition at line 5587 of file sat_parameters.pb.h.
|
inline |
Definition at line 12314 of file sat_parameters.pb.h.
|
inline |
Definition at line 6841 of file sat_parameters.pb.h.
|
inline |
Definition at line 7065 of file sat_parameters.pb.h.
|
inline |
Definition at line 10942 of file sat_parameters.pb.h.
|
inline |
Definition at line 7093 of file sat_parameters.pb.h.
|
inline |
Definition at line 7009 of file sat_parameters.pb.h.
|
inline |
Definition at line 10407 of file sat_parameters.pb.h.
|
inline |
Definition at line 6897 of file sat_parameters.pb.h.
|
inline |
Definition at line 6953 of file sat_parameters.pb.h.
|
inline |
Definition at line 6981 of file sat_parameters.pb.h.
|
inline |
Definition at line 12202 of file sat_parameters.pb.h.
|
inline |
Definition at line 8749 of file sat_parameters.pb.h.
|
inline |
Definition at line 12230 of file sat_parameters.pb.h.
|
inline |
Definition at line 12174 of file sat_parameters.pb.h.
|
inline |
Definition at line 12286 of file sat_parameters.pb.h.
|
inline |
Definition at line 12258 of file sat_parameters.pb.h.
|
inline |
Definition at line 7663 of file sat_parameters.pb.h.
|
inline |
Definition at line 9928 of file sat_parameters.pb.h.
|
inline |
Definition at line 9844 of file sat_parameters.pb.h.
|
inline |
Definition at line 10012 of file sat_parameters.pb.h.
|
inline |
Definition at line 9872 of file sat_parameters.pb.h.
|
inline |
Definition at line 10040 of file sat_parameters.pb.h.
|
inline |
Definition at line 9900 of file sat_parameters.pb.h.
|
inline |
Definition at line 9984 of file sat_parameters.pb.h.
|
inline |
Definition at line 9956 of file sat_parameters.pb.h.
|
inline |
Definition at line 10491 of file sat_parameters.pb.h.
|
inline |
Definition at line 10463 of file sat_parameters.pb.h.
|
inline |
Definition at line 6505 of file sat_parameters.pb.h.
|
inline |
Definition at line 7791 of file sat_parameters.pb.h.
|
inline |
Definition at line 7317 of file sat_parameters.pb.h.
|
inline |
Definition at line 8295 of file sat_parameters.pb.h.
|
inline |
Definition at line 9340 of file sat_parameters.pb.h.
|
inline |
Definition at line 10911 of file sat_parameters.pb.h.
|
inline |
Definition at line 5423 of file sat_parameters.pb.h.
|
inline |
Definition at line 5451 of file sat_parameters.pb.h.
|
inline |
Definition at line 5395 of file sat_parameters.pb.h.
|
inline |
Definition at line 9284 of file sat_parameters.pb.h.
|
inline |
Definition at line 7261 of file sat_parameters.pb.h.
|
inline |
Definition at line 7727 of file sat_parameters.pb.h.
|
inline |
Definition at line 7289 of file sat_parameters.pb.h.
|
inline |
Definition at line 4764 of file sat_parameters.pb.h.
|
inline |
Definition at line 4963 of file sat_parameters.pb.h.
|
inline |
Definition at line 7373 of file sat_parameters.pb.h.
|
inline |
Definition at line 7429 of file sat_parameters.pb.h.
|
inline |
Definition at line 7485 of file sat_parameters.pb.h.
|
inline |
Definition at line 7457 of file sat_parameters.pb.h.
|
inline |
Definition at line 7401 of file sat_parameters.pb.h.
|
inline |
Definition at line 10519 of file sat_parameters.pb.h.
|
inline |
Definition at line 7931 of file sat_parameters.pb.h.
|
inline |
Definition at line 7903 of file sat_parameters.pb.h.
|
inline |
Definition at line 10435 of file sat_parameters.pb.h.
|
inline |
Definition at line 11390 of file sat_parameters.pb.h.
|
inline |
Definition at line 10883 of file sat_parameters.pb.h.
|
inline |
Definition at line 11474 of file sat_parameters.pb.h.
|
inline |
Definition at line 11502 of file sat_parameters.pb.h.
|
inline |
Definition at line 10687 of file sat_parameters.pb.h.
|
inline |
Definition at line 10659 of file sat_parameters.pb.h.
|
inline |
Definition at line 6268 of file sat_parameters.pb.h.
|
inline |
Definition at line 6212 of file sat_parameters.pb.h.
|
inline |
Definition at line 6240 of file sat_parameters.pb.h.
|
inline |
Definition at line 6365 of file sat_parameters.pb.h.
|
inline |
Definition at line 6337 of file sat_parameters.pb.h.
|
inline |
Definition at line 11278 of file sat_parameters.pb.h.
|
inline |
Definition at line 11250 of file sat_parameters.pb.h.
|
inline |
Definition at line 11838 of file sat_parameters.pb.h.
|
inline |
Definition at line 6925 of file sat_parameters.pb.h.
|
inline |
Definition at line 5507 of file sat_parameters.pb.h.
|
inline |
Definition at line 12034 of file sat_parameters.pb.h.
|
inline |
Definition at line 12006 of file sat_parameters.pb.h.
|
inline |
Definition at line 5932 of file sat_parameters.pb.h.
|
inline |
Definition at line 11558 of file sat_parameters.pb.h.
|
inline |
Definition at line 11894 of file sat_parameters.pb.h.
|
inline |
Definition at line 7037 of file sat_parameters.pb.h.
|
inline |
Definition at line 6016 of file sat_parameters.pb.h.
|
inline |
Definition at line 11586 of file sat_parameters.pb.h.
|
inline |
Definition at line 5960 of file sat_parameters.pb.h.
|
inline |
Definition at line 8693 of file sat_parameters.pb.h.
|
inline |
Definition at line 5988 of file sat_parameters.pb.h.
|
inline |
Definition at line 8945 of file sat_parameters.pb.h.
|
inline |
Definition at line 6701 of file sat_parameters.pb.h.
|
inline |
Definition at line 8351 of file sat_parameters.pb.h.
|
inline |
Definition at line 8382 of file sat_parameters.pb.h.
|
inline |
Definition at line 8410 of file sat_parameters.pb.h.
|
inline |
Definition at line 8497 of file sat_parameters.pb.h.
|
inline |
Definition at line 5904 of file sat_parameters.pb.h.
|
inline |
Definition at line 5367 of file sat_parameters.pb.h.
|
inline |
Definition at line 8973 of file sat_parameters.pb.h.
|
inline |
Definition at line 7149 of file sat_parameters.pb.h.
|
inline |
Definition at line 7121 of file sat_parameters.pb.h.
|
inline |
Definition at line 11978 of file sat_parameters.pb.h.
|
inline |
Definition at line 5019 of file sat_parameters.pb.h.
|
inline |
Definition at line 6421 of file sat_parameters.pb.h.
|
inline |
Definition at line 8071 of file sat_parameters.pb.h.
|
inline |
Definition at line 12426 of file sat_parameters.pb.h.
|
inline |
Definition at line 12538 of file sat_parameters.pb.h.
|
inline |
Definition at line 12566 of file sat_parameters.pb.h.
|
inline |
Definition at line 12650 of file sat_parameters.pb.h.
|
inline |
Definition at line 12510 of file sat_parameters.pb.h.
|
inline |
Definition at line 12342 of file sat_parameters.pb.h.
|
inline |
Definition at line 12594 of file sat_parameters.pb.h.
|
inline |
Definition at line 12678 of file sat_parameters.pb.h.
|
inline |
Definition at line 12398 of file sat_parameters.pb.h.
|
inline |
Definition at line 12622 of file sat_parameters.pb.h.
|
inline |
Definition at line 12370 of file sat_parameters.pb.h.
|
inline |
Definition at line 12482 of file sat_parameters.pb.h.
|
inline |
Definition at line 4664 of file sat_parameters.pb.h.
|
inline |
Definition at line 12146 of file sat_parameters.pb.h.
|
inline |
Definition at line 11446 of file sat_parameters.pb.h.
|
inline |
Definition at line 8805 of file sat_parameters.pb.h.
|
inline |
Definition at line 5848 of file sat_parameters.pb.h.
|
inline |
Definition at line 7569 of file sat_parameters.pb.h.
|
inline |
Definition at line 7541 of file sat_parameters.pb.h.
|
inline |
Definition at line 10068 of file sat_parameters.pb.h.
|
inline |
Definition at line 7513 of file sat_parameters.pb.h.
|
inline |
Definition at line 11642 of file sat_parameters.pb.h.
|
inline |
Definition at line 12454 of file sat_parameters.pb.h.
|
inline |
Definition at line 9648 of file sat_parameters.pb.h.
|
inline |
Definition at line 9676 of file sat_parameters.pb.h.
|
inline |
Definition at line 9760 of file sat_parameters.pb.h.
|
inline |
Definition at line 5283 of file sat_parameters.pb.h.
|
inline |
Definition at line 5311 of file sat_parameters.pb.h.
|
inline |
Definition at line 6156 of file sat_parameters.pb.h.
|
inline |
Definition at line 6128 of file sat_parameters.pb.h.
|
inline |
Definition at line 4851 of file sat_parameters.pb.h.
|
inline |
Definition at line 4823 of file sat_parameters.pb.h.
|
inline |
Definition at line 11222 of file sat_parameters.pb.h.
|
inline |
Definition at line 4733 of file sat_parameters.pb.h.
|
inline |
Definition at line 6617 of file sat_parameters.pb.h.
|
inline |
Definition at line 6673 of file sat_parameters.pb.h.
|
inline |
Definition at line 6533 of file sat_parameters.pb.h.
|
inline |
Definition at line 6477 of file sat_parameters.pb.h.
|
inline |
Definition at line 7205 of file sat_parameters.pb.h.
|
inline |
Definition at line 7233 of file sat_parameters.pb.h.
|
inline |
Definition at line 6589 of file sat_parameters.pb.h.
|
inline |
Definition at line 7177 of file sat_parameters.pb.h.
|
inline |
Definition at line 6645 of file sat_parameters.pb.h.
|
inline |
Definition at line 6561 of file sat_parameters.pb.h.
|
inline |
Definition at line 9424 of file sat_parameters.pb.h.
|
inline |
Definition at line 8441 of file sat_parameters.pb.h.
|
inline |
Definition at line 9620 of file sat_parameters.pb.h.
|
inline |
Definition at line 11026 of file sat_parameters.pb.h.
|
inline |
Definition at line 4907 of file sat_parameters.pb.h.
|
inline |
Definition at line 4879 of file sat_parameters.pb.h.
|
inline |
Definition at line 6100 of file sat_parameters.pb.h.
|
inline |
Definition at line 10970 of file sat_parameters.pb.h.
|
inline |
Definition at line 6072 of file sat_parameters.pb.h.
|
inline |
Definition at line 6813 of file sat_parameters.pb.h.
|
inline |
Definition at line 9312 of file sat_parameters.pb.h.
|
inline |
Definition at line 5537 of file sat_parameters.pb.h.
|
inline |
Definition at line 5708 of file sat_parameters.pb.h.
|
inline |
Definition at line 5736 of file sat_parameters.pb.h.
|
inline |
Definition at line 5652 of file sat_parameters.pb.h.
|
inline |
Definition at line 5680 of file sat_parameters.pb.h.
|
inline |
Definition at line 11950 of file sat_parameters.pb.h.
|
inline |
Definition at line 9197 of file sat_parameters.pb.h.
|
inline |
Definition at line 9225 of file sat_parameters.pb.h.
|
inline |
Definition at line 9085 of file sat_parameters.pb.h.
|
inline |
Definition at line 9141 of file sat_parameters.pb.h.
|
inline |
Definition at line 9169 of file sat_parameters.pb.h.
|
inline |
Definition at line 9113 of file sat_parameters.pb.h.
|
inline |
Definition at line 9704 of file sat_parameters.pb.h.
|
inline |
Definition at line 9253 of file sat_parameters.pb.h.
|
inline |
Definition at line 10998 of file sat_parameters.pb.h.
|
inline |
Definition at line 8015 of file sat_parameters.pb.h.
|
inline |
Definition at line 8043 of file sat_parameters.pb.h.
|
inline |
Definition at line 8099 of file sat_parameters.pb.h.
|
inline |
Definition at line 7987 of file sat_parameters.pb.h.
|
inline |
Definition at line 7959 of file sat_parameters.pb.h.
|
inline |
Definition at line 10379 of file sat_parameters.pb.h.
|
inline |
Definition at line 10320 of file sat_parameters.pb.h.
|
inline |
Definition at line 10152 of file sat_parameters.pb.h.
|
inline |
Definition at line 10292 of file sat_parameters.pb.h.
|
inline |
Definition at line 10348 of file sat_parameters.pb.h.
|
inline |
Definition at line 10264 of file sat_parameters.pb.h.
|
inline |
Definition at line 10236 of file sat_parameters.pb.h.
|
inline |
Definition at line 10208 of file sat_parameters.pb.h.
|
inline |
Definition at line 9452 of file sat_parameters.pb.h.
|
inline |
Definition at line 9480 of file sat_parameters.pb.h.
|
inline |
Definition at line 9508 of file sat_parameters.pb.h.
|
inline |
Definition at line 10771 of file sat_parameters.pb.h.
|
inline |
Definition at line 10575 of file sat_parameters.pb.h.
|
inline |
Definition at line 10603 of file sat_parameters.pb.h.
|
inline |
Definition at line 10631 of file sat_parameters.pb.h.
|
inline |
Definition at line 5876 of file sat_parameters.pb.h.
|
inline |
Definition at line 7855 of file sat_parameters.pb.h.
|
inline |
Definition at line 7599 of file sat_parameters.pb.h.
|
inline |
Definition at line 5081 of file sat_parameters.pb.h.
|
inline |
Definition at line 11418 of file sat_parameters.pb.h.
|
inline |
Definition at line 11334 of file sat_parameters.pb.h.
|
inline |
Definition at line 6869 of file sat_parameters.pb.h.
|
inline |
Definition at line 6184 of file sat_parameters.pb.h.
|
inline |
Definition at line 9057 of file sat_parameters.pb.h.
|
inline |
Definition at line 8889 of file sat_parameters.pb.h.
|
inline |
Definition at line 5764 of file sat_parameters.pb.h.
|
inline |
Definition at line 11110 of file sat_parameters.pb.h.
|
inline |
Definition at line 8637 of file sat_parameters.pb.h.
|
inline |
Definition at line 8777 of file sat_parameters.pb.h.
|
inline |
Definition at line 9029 of file sat_parameters.pb.h.
|
inline |
Definition at line 8581 of file sat_parameters.pb.h.
|
inline |
Definition at line 8553 of file sat_parameters.pb.h.
|
inline |
Definition at line 8861 of file sat_parameters.pb.h.
|
inline |
Definition at line 4935 of file sat_parameters.pb.h.
|
inline |
Definition at line 11082 of file sat_parameters.pb.h.
|
inline |
Definition at line 9396 of file sat_parameters.pb.h.
|
inline |
Definition at line 9788 of file sat_parameters.pb.h.
|
inline |
Definition at line 10827 of file sat_parameters.pb.h.
|
inline |
Definition at line 8721 of file sat_parameters.pb.h.
|
inline |
Definition at line 11194 of file sat_parameters.pb.h.
|
inline |
Definition at line 10855 of file sat_parameters.pb.h.
|
inline |
Definition at line 9001 of file sat_parameters.pb.h.
|
inline |
Definition at line 10715 of file sat_parameters.pb.h.
|
inline |
Definition at line 10743 of file sat_parameters.pb.h.
|
inline |
Definition at line 9816 of file sat_parameters.pb.h.
|
inline |
Definition at line 9536 of file sat_parameters.pb.h.
|
inline |
Definition at line 9564 of file sat_parameters.pb.h.
|
inline |
Definition at line 8239 of file sat_parameters.pb.h.
|
inline |
Definition at line 11054 of file sat_parameters.pb.h.
|
inline |
Definition at line 8609 of file sat_parameters.pb.h.
|
inline |
Definition at line 6393 of file sat_parameters.pb.h.
|
inline |
Definition at line 4795 of file sat_parameters.pb.h.
|
inline |
Definition at line 8469 of file sat_parameters.pb.h.
|
inline |
Definition at line 9368 of file sat_parameters.pb.h.
|
inline |
Definition at line 10799 of file sat_parameters.pb.h.
|
inline |
Definition at line 7345 of file sat_parameters.pb.h.
|
inline |
Definition at line 10180 of file sat_parameters.pb.h.
|
inline |
Definition at line 8525 of file sat_parameters.pb.h.
|
inline |
Definition at line 11362 of file sat_parameters.pb.h.
|
inline |
Definition at line 8665 of file sat_parameters.pb.h.
|
inline |
Definition at line 8833 of file sat_parameters.pb.h.
|
inline |
Definition at line 8917 of file sat_parameters.pb.h.
|
inline |
Definition at line 5339 of file sat_parameters.pb.h.
|
inline |
Definition at line 9592 of file sat_parameters.pb.h.
|
inline |
Definition at line 10124 of file sat_parameters.pb.h.
|
inline |
Definition at line 10096 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 741 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 735 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 745 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 748 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.convert_intervals)
Definition at line 11311 of file sat_parameters.pb.h.
void operations_research::sat::SatParameters::CopyFrom | ( | const SatParameters & | from | ) |
@protoc_insertion_point(class_specific_copy_from_start:operations_research.sat.SatParameters)
Definition at line 6568 of file sat_parameters.pb.cc.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.core_minimization_level)
Definition at line 8272 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.count_assumption_levels_in_lbd)
Definition at line 6454 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cover_optimization)
Definition at line 8328 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cp_model_presolve)
Definition at line 6734 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cp_model_probing_level)
Definition at line 6762 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cp_model_use_sat_presolve)
Definition at line 6790 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cut_active_count_decay)
Definition at line 12095 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cut_cleanup_target)
Definition at line 12123 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cut_level)
Definition at line 11619 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cut_max_active_count_value)
Definition at line 12067 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.debug_crash_if_presolve_breaks_hint)
Definition at line 8216 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.debug_crash_on_bad_hint)
Definition at line 8188 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.debug_max_num_presolve_operations)
Definition at line 8160 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.debug_postsolve_with_full_solver)
Definition at line 8132 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 599 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.default_restart_algorithms)
Definition at line 5592 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 590 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.detect_linearized_product)
Definition at line 12319 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.detect_table_with_cost)
Definition at line 6846 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.disable_constraint_expansion)
Definition at line 7070 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.diversify_lns_params)
Definition at line 10947 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.encode_complex_linear_constraint_with_integer)
Definition at line 7098 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.encode_cumulative_as_reservoir)
Definition at line 7014 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.enumerate_all_solutions)
Definition at line 10412 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.expand_alldiff_constraints)
Definition at line 6902 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.expand_reservoir_constraints)
Definition at line 6958 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.expand_reservoir_using_circuit)
Definition at line 6986 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.exploit_all_lp_solution)
Definition at line 12207 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.exploit_all_precedences)
Definition at line 8754 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.exploit_best_solution)
Definition at line 12235 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.exploit_integer_lp_solution)
Definition at line 12179 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.exploit_objective)
Definition at line 12291 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.exploit_relaxation_solution)
Definition at line 12263 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_list:operations_research.sat.SatParameters.extra_subsolvers)
Definition at line 7698 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.extra_subsolvers)
Definition at line 7674 of file sat_parameters.pb.h.
|
inline |
repeated string extra_subsolvers = 219;
Definition at line 7660 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.feasibility_jump_batch_dtime)
Definition at line 9933 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.feasibility_jump_decay)
Definition at line 9849 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.feasibility_jump_enable_restarts)
Definition at line 10017 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.feasibility_jump_linearization_level)
Definition at line 9877 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.feasibility_jump_max_expanded_constraint_size)
Definition at line 10045 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.feasibility_jump_restart_factor)
Definition at line 9905 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.feasibility_jump_var_perburbation_range_ratio)
Definition at line 9989 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.feasibility_jump_var_randomization_probability)
Definition at line 9961 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.fill_additional_solutions_in_response)
Definition at line 10496 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.fill_tightened_domains_in_response)
Definition at line 10468 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.filter_sat_postsolve_clauses)
Definition at line 6510 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_list:operations_research.sat.SatParameters.filter_subsolvers)
Definition at line 7826 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.filter_subsolvers)
Definition at line 7802 of file sat_parameters.pb.h.
|
inline |
repeated string filter_subsolvers = 293;
Definition at line 7788 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.find_big_linear_overlap)
Definition at line 7322 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.find_multiple_cores)
Definition at line 8300 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.fix_variables_to_their_hinted_value)
Definition at line 9345 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.fp_rounding)
Definition at line 10916 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 942 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 936 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 946 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 949 of file sat_parameters.pb.h.
|
inline |
Definition at line 658 of file sat_parameters.pb.h.
|
protected |
Definition at line 1687 of file sat_parameters.pb.cc.
|
inlinestatic |
Definition at line 593 of file sat_parameters.pb.h.
google::protobuf::Metadata operations_research::sat::SatParameters::GetMetadata | ( | ) | const |
Definition at line 6607 of file sat_parameters.pb.cc.
|
inlinestatic |
Definition at line 596 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.glucose_decay_increment)
Definition at line 5428 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.glucose_decay_increment_period)
Definition at line 5456 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.glucose_max_decay)
Definition at line 5400 of file sat_parameters.pb.h.
|
inline |
optional double absolute_gap_limit = 159 [default = 0.0001];
Definition at line 6040 of file sat_parameters.pb.h.
|
inline |
optional bool add_cg_cuts = 117 [default = true];
Definition at line 11694 of file sat_parameters.pb.h.
|
inline |
optional bool add_clique_cuts = 172 [default = true];
Definition at line 11778 of file sat_parameters.pb.h.
|
inline |
optional bool add_lin_max_cuts = 152 [default = true];
Definition at line 11862 of file sat_parameters.pb.h.
|
inline |
optional bool add_lp_constraints_lazily = 112 [default = true];
Definition at line 11918 of file sat_parameters.pb.h.
|
inline |
optional bool add_mir_cuts = 120 [default = true];
Definition at line 11722 of file sat_parameters.pb.h.
|
inline |
optional bool add_objective_cut = 197 [default = false];
Definition at line 11666 of file sat_parameters.pb.h.
|
inline |
optional bool add_rlt_cuts = 279 [default = true];
Definition at line 11806 of file sat_parameters.pb.h.
|
inline |
optional bool add_zero_half_cuts = 169 [default = true];
Definition at line 11750 of file sat_parameters.pb.h.
|
inline |
optional bool also_bump_variables_in_conflict_reasons = 77 [default = false];
Definition at line 4987 of file sat_parameters.pb.h.
|
inline |
optional int32 at_most_one_max_expansion_size = 270 [default = 3];
Definition at line 11134 of file sat_parameters.pb.h.
|
inline |
optional bool auto_detect_greater_than_at_least_one_of = 95 [default = true];
Definition at line 10543 of file sat_parameters.pb.h.
|
inline |
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorithm = 34 [default = BINARY_MINIMIZATION_FIRST];
Definition at line 5046 of file sat_parameters.pb.h.
|
inline |
optional int32 binary_search_num_conflicts = 99 [default = -1];
Definition at line 9728 of file sat_parameters.pb.h.
|
inline |
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition at line 5816 of file sat_parameters.pb.h.
|
inline |
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition at line 5788 of file sat_parameters.pb.h.
|
inline |
optional int32 boolean_encoding_level = 107 [default = 1];
Definition at line 11526 of file sat_parameters.pb.h.
|
inline |
optional bool catch_sigint_signal = 135 [default = true];
Definition at line 11162 of file sat_parameters.pb.h.
|
inline |
optional double clause_activity_decay = 17 [default = 0.999];
Definition at line 5475 of file sat_parameters.pb.h.
|
inline |
optional int32 clause_cleanup_lbd_bound = 59 [default = 5];
Definition at line 5220 of file sat_parameters.pb.h.
|
inline |
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default = CLAUSE_ACTIVITY];
Definition at line 5248 of file sat_parameters.pb.h.
|
inline |
optional int32 clause_cleanup_period = 11 [default = 10000];
Definition at line 5105 of file sat_parameters.pb.h.
|
inline |
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [default = PROTECTION_NONE];
Definition at line 5189 of file sat_parameters.pb.h.
|
inline |
optional double clause_cleanup_ratio = 190 [default = 0.5];
Definition at line 5161 of file sat_parameters.pb.h.
|
inline |
optional int32 clause_cleanup_target = 13 [default = 0];
Definition at line 5133 of file sat_parameters.pb.h.
|
inline |
optional bool convert_intervals = 177 [default = true];
Definition at line 11302 of file sat_parameters.pb.h.
|
inline |
optional int32 core_minimization_level = 50 [default = 2];
Definition at line 8263 of file sat_parameters.pb.h.
|
inline |
optional bool count_assumption_levels_in_lbd = 49 [default = true];
Definition at line 6445 of file sat_parameters.pb.h.
|
inline |
optional bool cover_optimization = 89 [default = true];
Definition at line 8319 of file sat_parameters.pb.h.
|
inline |
optional bool cp_model_presolve = 86 [default = true];
Definition at line 6725 of file sat_parameters.pb.h.
|
inline |
optional int32 cp_model_probing_level = 110 [default = 2];
Definition at line 6753 of file sat_parameters.pb.h.
|
inline |
optional bool cp_model_use_sat_presolve = 93 [default = true];
Definition at line 6781 of file sat_parameters.pb.h.
|
inline |
optional double cut_active_count_decay = 156 [default = 0.8];
Definition at line 12086 of file sat_parameters.pb.h.
|
inline |
optional int32 cut_cleanup_target = 157 [default = 1000];
Definition at line 12114 of file sat_parameters.pb.h.
|
inline |
optional int32 cut_level = 196 [default = 1];
Definition at line 11610 of file sat_parameters.pb.h.
|
inline |
optional double cut_max_active_count_value = 155 [default = 10000000000];
Definition at line 12058 of file sat_parameters.pb.h.
|
inline |
optional bool debug_crash_if_presolve_breaks_hint = 306 [default = false];
Definition at line 8207 of file sat_parameters.pb.h.
|
inline |
optional bool debug_crash_on_bad_hint = 195 [default = false];
Definition at line 8179 of file sat_parameters.pb.h.
|
inline |
optional int32 debug_max_num_presolve_operations = 151 [default = 0];
Definition at line 8151 of file sat_parameters.pb.h.
|
inline |
optional bool debug_postsolve_with_full_solver = 162 [default = false];
Definition at line 8123 of file sat_parameters.pb.h.
|
inline |
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART"];
Definition at line 5583 of file sat_parameters.pb.h.
|
inline |
optional bool detect_linearized_product = 277 [default = false];
Definition at line 12310 of file sat_parameters.pb.h.
|
inline |
optional bool detect_table_with_cost = 216 [default = false];
Definition at line 6837 of file sat_parameters.pb.h.
|
inline |
optional bool disable_constraint_expansion = 181 [default = false];
Definition at line 7061 of file sat_parameters.pb.h.
|
inline |
optional bool diversify_lns_params = 137 [default = false];
Definition at line 10938 of file sat_parameters.pb.h.
|
inline |
optional bool encode_complex_linear_constraint_with_integer = 223 [default = false];
Definition at line 7089 of file sat_parameters.pb.h.
|
inline |
optional bool encode_cumulative_as_reservoir = 287 [default = false];
Definition at line 7005 of file sat_parameters.pb.h.
|
inline |
optional bool enumerate_all_solutions = 87 [default = false];
Definition at line 10403 of file sat_parameters.pb.h.
|
inline |
optional bool expand_alldiff_constraints = 170 [default = false];
Definition at line 6893 of file sat_parameters.pb.h.
|
inline |
optional bool expand_reservoir_constraints = 182 [default = true];
Definition at line 6949 of file sat_parameters.pb.h.
|
inline |
optional bool expand_reservoir_using_circuit = 288 [default = false];
Definition at line 6977 of file sat_parameters.pb.h.
|
inline |
optional bool exploit_all_lp_solution = 116 [default = true];
Definition at line 12198 of file sat_parameters.pb.h.
|
inline |
optional bool exploit_all_precedences = 220 [default = false];
Definition at line 8745 of file sat_parameters.pb.h.
|
inline |
optional bool exploit_best_solution = 130 [default = false];
Definition at line 12226 of file sat_parameters.pb.h.
|
inline |
optional bool exploit_integer_lp_solution = 94 [default = true];
Definition at line 12170 of file sat_parameters.pb.h.
|
inline |
optional bool exploit_objective = 131 [default = true];
Definition at line 12282 of file sat_parameters.pb.h.
|
inline |
optional bool exploit_relaxation_solution = 161 [default = false];
Definition at line 12254 of file sat_parameters.pb.h.
|
inline |
optional double feasibility_jump_batch_dtime = 292 [default = 0.1];
Definition at line 9924 of file sat_parameters.pb.h.
|
inline |
optional double feasibility_jump_decay = 242 [default = 0.95];
Definition at line 9840 of file sat_parameters.pb.h.
|
inline |
optional bool feasibility_jump_enable_restarts = 250 [default = true];
Definition at line 10008 of file sat_parameters.pb.h.
|
inline |
optional int32 feasibility_jump_linearization_level = 257 [default = 2];
Definition at line 9868 of file sat_parameters.pb.h.
|
inline |
optional int32 feasibility_jump_max_expanded_constraint_size = 264 [default = 500];
Definition at line 10036 of file sat_parameters.pb.h.
|
inline |
optional int32 feasibility_jump_restart_factor = 258 [default = 1];
Definition at line 9896 of file sat_parameters.pb.h.
|
inline |
optional double feasibility_jump_var_perburbation_range_ratio = 248 [default = 0.2];
Definition at line 9980 of file sat_parameters.pb.h.
|
inline |
optional double feasibility_jump_var_randomization_probability = 247 [default = 0.05];
Definition at line 9952 of file sat_parameters.pb.h.
|
inline |
optional bool fill_additional_solutions_in_response = 194 [default = false];
Definition at line 10487 of file sat_parameters.pb.h.
|
inline |
optional bool fill_tightened_domains_in_response = 132 [default = false];
Definition at line 10459 of file sat_parameters.pb.h.
|
inline |
optional bool filter_sat_postsolve_clauses = 324 [default = false];
Definition at line 6501 of file sat_parameters.pb.h.
|
inline |
optional bool find_big_linear_overlap = 234 [default = true];
Definition at line 7313 of file sat_parameters.pb.h.
|
inline |
optional bool find_multiple_cores = 84 [default = true];
Definition at line 8291 of file sat_parameters.pb.h.
|
inline |
optional bool fix_variables_to_their_hinted_value = 192 [default = false];
Definition at line 9336 of file sat_parameters.pb.h.
|
inline |
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGATION_ASSISTED];
Definition at line 10907 of file sat_parameters.pb.h.
|
inline |
optional double glucose_decay_increment = 23 [default = 0.01];
Definition at line 5419 of file sat_parameters.pb.h.
|
inline |
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition at line 5447 of file sat_parameters.pb.h.
|
inline |
optional double glucose_max_decay = 22 [default = 0.95];
Definition at line 5391 of file sat_parameters.pb.h.
|
inline |
optional int32 hint_conflict_limit = 153 [default = 10];
Definition at line 9280 of file sat_parameters.pb.h.
|
inline |
optional bool ignore_names = 202 [default = true];
Definition at line 7257 of file sat_parameters.pb.h.
|
inline |
optional bool infer_all_diffs = 233 [default = true];
Definition at line 7285 of file sat_parameters.pb.h.
|
inline |
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FALSE];
Definition at line 4760 of file sat_parameters.pb.h.
|
inline |
optional double initial_variables_activity = 76 [default = 0];
Definition at line 4959 of file sat_parameters.pb.h.
|
inline |
optional double inprocessing_dtime_ratio = 273 [default = 0.2];
Definition at line 7369 of file sat_parameters.pb.h.
|
inline |
optional double inprocessing_minimization_dtime = 275 [default = 1];
Definition at line 7425 of file sat_parameters.pb.h.
|
inline |
optional bool inprocessing_minimization_use_all_orderings = 298 [default = false];
Definition at line 7481 of file sat_parameters.pb.h.
|
inline |
optional bool inprocessing_minimization_use_conflict_analysis = 297 [default = true];
Definition at line 7453 of file sat_parameters.pb.h.
|
inline |
optional double inprocessing_probing_dtime = 274 [default = 1];
Definition at line 7397 of file sat_parameters.pb.h.
|
inline |
optional bool instantiate_all_variables = 106 [default = true];
Definition at line 10515 of file sat_parameters.pb.h.
|
inline |
optional int32 interleave_batch_size = 134 [default = 0];
Definition at line 7927 of file sat_parameters.pb.h.
|
inline |
optional bool interleave_search = 136 [default = false];
Definition at line 7899 of file sat_parameters.pb.h.
|
inline |
optional bool keep_all_feasible_solutions_in_presolve = 173 [default = false];
Definition at line 10431 of file sat_parameters.pb.h.
|
inline |
optional bool keep_symmetry_in_presolve = 303 [default = false];
Definition at line 11386 of file sat_parameters.pb.h.
|
inline |
optional int32 lb_relax_num_workers_threshold = 296 [default = 16];
Definition at line 10879 of file sat_parameters.pb.h.
|
inline |
optional int32 linear_split_size = 256 [default = 100];
Definition at line 11470 of file sat_parameters.pb.h.
|
inline |
optional int32 linearization_level = 90 [default = 1];
Definition at line 11498 of file sat_parameters.pb.h.
|
inline |
optional double lns_initial_deterministic_limit = 308 [default = 0.1];
Definition at line 10683 of file sat_parameters.pb.h.
|
inline |
optional double lns_initial_difficulty = 307 [default = 0.5];
Definition at line 10655 of file sat_parameters.pb.h.
|
inline |
optional string log_prefix = 185 [default = ""];
Definition at line 6264 of file sat_parameters.pb.h.
|
inline |
optional bool log_search_progress = 41 [default = false];
Definition at line 6208 of file sat_parameters.pb.h.
|
inline |
optional bool log_subsolver_statistics = 189 [default = false];
Definition at line 6236 of file sat_parameters.pb.h.
|
inline |
optional bool log_to_response = 187 [default = false];
Definition at line 6361 of file sat_parameters.pb.h.
|
inline |
optional bool log_to_stdout = 186 [default = true];
Definition at line 6333 of file sat_parameters.pb.h.
|
inline |
optional double lp_dual_tolerance = 267 [default = 1e-07];
Definition at line 11274 of file sat_parameters.pb.h.
|
inline |
optional double lp_primal_tolerance = 266 [default = 1e-07];
Definition at line 11246 of file sat_parameters.pb.h.
|
inline |
optional int32 max_all_diff_cut_size = 148 [default = 64];
Definition at line 11834 of file sat_parameters.pb.h.
|
inline |
optional int32 max_alldiff_domain_size = 320 [default = 256];
Definition at line 6921 of file sat_parameters.pb.h.
|
inline |
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition at line 5503 of file sat_parameters.pb.h.
|
inline |
optional int32 max_consecutive_inactive_count = 121 [default = 100];
Definition at line 12030 of file sat_parameters.pb.h.
|
inline |
optional int32 max_cut_rounds_at_level_zero = 154 [default = 1];
Definition at line 12002 of file sat_parameters.pb.h.
|
inline |
optional double max_deterministic_time = 67 [default = inf];
Definition at line 5928 of file sat_parameters.pb.h.
|
inline |
optional int32 max_domain_size_when_encoding_eq_neq_constraints = 191 [default = 16];
Definition at line 11554 of file sat_parameters.pb.h.
|
inline |
optional int32 max_integer_rounding_scaling = 119 [default = 600];
Definition at line 11890 of file sat_parameters.pb.h.
|
inline |
optional int32 max_lin_max_size_for_expansion = 280 [default = 0];
Definition at line 7033 of file sat_parameters.pb.h.
|
inline |
optional int64 max_memory_in_mb = 40 [default = 10000];
Definition at line 6012 of file sat_parameters.pb.h.
|
inline |
optional int32 max_num_cuts = 91 [default = 10000];
Definition at line 11582 of file sat_parameters.pb.h.
|
inline |
optional int32 max_num_deterministic_batches = 291 [default = 0];
Definition at line 5956 of file sat_parameters.pb.h.
|
inline |
optional int32 max_num_intervals_for_timetable_edge_finding = 260 [default = 100];
Definition at line 8689 of file sat_parameters.pb.h.
|
inline |
optional int64 max_number_of_conflicts = 37 [default = 9223372036854775807];
Definition at line 5984 of file sat_parameters.pb.h.
|
inline |
optional int32 max_pairs_pairwise_reasoning_in_no_overlap_2d = 276 [default = 1250];
Definition at line 8941 of file sat_parameters.pb.h.
|
inline |
optional int32 max_presolve_iterations = 138 [default = 3];
Definition at line 6697 of file sat_parameters.pb.h.
|
inline |
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [default = DEFAULT_ASSUMPTION_ORDER];
Definition at line 8347 of file sat_parameters.pb.h.
|
inline |
optional bool max_sat_reverse_assumption_order = 52 [default = false];
Definition at line 8378 of file sat_parameters.pb.h.
|
inline |
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification = 53 [default = STRATIFICATION_DESCENT];
Definition at line 8406 of file sat_parameters.pb.h.
|
inline |
optional int32 max_size_to_create_precedence_literals_in_disjunctive = 229 [default = 60];
Definition at line 8493 of file sat_parameters.pb.h.
|
inline |
optional double max_time_in_seconds = 36 [default = inf];
Definition at line 5900 of file sat_parameters.pb.h.
|
inline |
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition at line 5363 of file sat_parameters.pb.h.
|
inline |
optional int32 maximum_regions_to_split_in_disconnected_no_overlap_2d = 315 [default = 0];
Definition at line 8969 of file sat_parameters.pb.h.
|
inline |
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition at line 7145 of file sat_parameters.pb.h.
|
inline |
optional double merge_no_overlap_work_limit = 145 [default = 1000000000000];
Definition at line 7117 of file sat_parameters.pb.h.
|
inline |
optional double min_orthogonality_for_lp_constraints = 115 [default = 0.05];
Definition at line 11974 of file sat_parameters.pb.h.
|
inline |
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm = 4 [default = RECURSIVE];
Definition at line 5015 of file sat_parameters.pb.h.
|
inline |
optional bool minimize_reduction_during_pb_resolution = 48 [default = false];
Definition at line 6417 of file sat_parameters.pb.h.
|
inline |
optional bool minimize_shared_clauses = 300 [default = true];
Definition at line 8067 of file sat_parameters.pb.h.
|
inline |
optional bool mip_automatically_scale_variables = 166 [default = true];
Definition at line 12422 of file sat_parameters.pb.h.
|
inline |
optional double mip_check_precision = 128 [default = 0.0001];
Definition at line 12534 of file sat_parameters.pb.h.
|
inline |
optional bool mip_compute_true_objective_bound = 198 [default = true];
Definition at line 12562 of file sat_parameters.pb.h.
|
inline |
optional double mip_drop_tolerance = 232 [default = 1e-16];
Definition at line 12646 of file sat_parameters.pb.h.
|
inline |
optional int32 mip_max_activity_exponent = 127 [default = 53];
Definition at line 12506 of file sat_parameters.pb.h.
|
inline |
optional double mip_max_bound = 124 [default = 10000000];
Definition at line 12338 of file sat_parameters.pb.h.
|
inline |
optional double mip_max_valid_magnitude = 199 [default = 1e+20];
Definition at line 12590 of file sat_parameters.pb.h.
|
inline |
optional int32 mip_presolve_level = 261 [default = 2];
Definition at line 12674 of file sat_parameters.pb.h.
|
inline |
optional bool mip_scale_large_domain = 225 [default = false];
Definition at line 12394 of file sat_parameters.pb.h.
|
inline |
optional bool mip_treat_high_magnitude_bounds_as_infinity = 278 [default = false];
Definition at line 12618 of file sat_parameters.pb.h.
|
inline |
optional double mip_var_scaling = 125 [default = 1];
Definition at line 12366 of file sat_parameters.pb.h.
|
inline |
optional double mip_wanted_precision = 126 [default = 1e-06];
Definition at line 12478 of file sat_parameters.pb.h.
|
inline |
optional string name = 171 [default = ""];
optional string name = 171 [default = ""];
Definition at line 4660 of file sat_parameters.pb.h.
|
inline |
optional int32 new_constraints_batch_size = 122 [default = 50];
Definition at line 12142 of file sat_parameters.pb.h.
|
inline |
optional bool new_linear_propagation = 224 [default = true];
Definition at line 11442 of file sat_parameters.pb.h.
|
inline |
optional int32 no_overlap_2d_boolean_relations_limit = 321 [default = 10];
Definition at line 8801 of file sat_parameters.pb.h.
|
inline |
optional int32 num_conflicts_before_strategy_changes = 68 [default = 0];
Definition at line 5844 of file sat_parameters.pb.h.
|
inline |
optional int32 num_full_subsolvers = 294 [default = 0];
Definition at line 7565 of file sat_parameters.pb.h.
|
inline |
optional int32 num_search_workers = 100 [default = 0];
Definition at line 7537 of file sat_parameters.pb.h.
|
inline |
optional int32 num_violation_ls = 244 [default = 0];
Definition at line 10064 of file sat_parameters.pb.h.
|
inline |
optional int32 num_workers = 206 [default = 0];
Definition at line 7509 of file sat_parameters.pb.h.
|
inline |
optional bool only_add_cuts_at_level_zero = 92 [default = false];
Definition at line 11638 of file sat_parameters.pb.h.
|
inline |
optional bool only_solve_ip = 222 [default = false];
Definition at line 12450 of file sat_parameters.pb.h.
|
inline |
optional bool optimize_with_core = 83 [default = false];
Definition at line 9644 of file sat_parameters.pb.h.
|
inline |
optional bool optimize_with_lb_tree_search = 188 [default = false];
Definition at line 9672 of file sat_parameters.pb.h.
|
inline |
optional bool optimize_with_max_hs = 85 [default = false];
Definition at line 9756 of file sat_parameters.pb.h.
|
inline |
optional int32 pb_cleanup_increment = 46 [default = 200];
Definition at line 5279 of file sat_parameters.pb.h.
|
inline |
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition at line 5307 of file sat_parameters.pb.h.
|
inline |
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition at line 6152 of file sat_parameters.pb.h.
|
inline |
optional bool permute_variable_randomly = 178 [default = false];
Definition at line 6124 of file sat_parameters.pb.h.
|
inline |
optional bool polarity_exploit_ls_hints = 309 [default = false];
Definition at line 4847 of file sat_parameters.pb.h.
|
inline |
optional int32 polarity_rephase_increment = 168 [default = 1000];
Definition at line 4819 of file sat_parameters.pb.h.
|
inline |
optional bool polish_lp_solution = 175 [default = false];
Definition at line 11218 of file sat_parameters.pb.h.
|
inline |
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default = IN_ORDER];
Definition at line 4729 of file sat_parameters.pb.h.
|
inline |
optional bool presolve_blocked_clause = 88 [default = true];
Definition at line 6613 of file sat_parameters.pb.h.
|
inline |
optional int32 presolve_bva_threshold = 73 [default = 1];
Definition at line 6669 of file sat_parameters.pb.h.
|
inline |
optional int32 presolve_bve_clause_weight = 55 [default = 3];
Definition at line 6529 of file sat_parameters.pb.h.
|
inline |
optional int32 presolve_bve_threshold = 54 [default = 500];
Definition at line 6473 of file sat_parameters.pb.h.
|
inline |
optional bool presolve_extract_integer_enforcement = 174 [default = false];
Definition at line 7201 of file sat_parameters.pb.h.
|
inline |
optional int64 presolve_inclusion_work_limit = 201 [default = 100000000];
Definition at line 7229 of file sat_parameters.pb.h.
|
inline |
optional double presolve_probing_deterministic_time_limit = 57 [default = 30];
Definition at line 6585 of file sat_parameters.pb.h.
|
inline |
optional int32 presolve_substitution_level = 147 [default = 1];
Definition at line 7173 of file sat_parameters.pb.h.
|
inline |
optional bool presolve_use_bva = 72 [default = true];
Definition at line 6641 of file sat_parameters.pb.h.
|
inline |
optional double probing_deterministic_time_limit = 226 [default = 1];
Definition at line 6557 of file sat_parameters.pb.h.
|
inline |
optional int32 probing_num_combinations_limit = 272 [default = 20000];
Definition at line 9420 of file sat_parameters.pb.h.
|
inline |
optional double propagation_loop_detection_factor = 221 [default = 10];
Definition at line 8437 of file sat_parameters.pb.h.
|
inline |
optional int64 pseudo_cost_reliability_threshold = 123 [default = 100];
Definition at line 9616 of file sat_parameters.pb.h.
|
inline |
optional bool push_all_tasks_toward_start = 262 [default = false];
Definition at line 11022 of file sat_parameters.pb.h.
|
inline |
optional double random_branches_ratio = 32 [default = 0];
Definition at line 4903 of file sat_parameters.pb.h.
|
inline |
optional double random_polarity_ratio = 45 [default = 0];
Definition at line 4875 of file sat_parameters.pb.h.
|
inline |
optional int32 random_seed = 31 [default = 1];
Definition at line 6096 of file sat_parameters.pb.h.
|
inline |
optional bool randomize_search = 103 [default = false];
Definition at line 10966 of file sat_parameters.pb.h.
|
inline |
optional double relative_gap_limit = 160 [default = 0];
Definition at line 6068 of file sat_parameters.pb.h.
|
inline |
optional bool remove_fixed_variables_early = 310 [default = true];
Definition at line 6809 of file sat_parameters.pb.h.
|
inline |
optional bool repair_hint = 167 [default = false];
Definition at line 9308 of file sat_parameters.pb.h.
|
inline |
optional double restart_dl_average_ratio = 63 [default = 1];
Definition at line 5704 of file sat_parameters.pb.h.
|
inline |
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition at line 5732 of file sat_parameters.pb.h.
|
inline |
optional int32 restart_period = 30 [default = 50];
Definition at line 5648 of file sat_parameters.pb.h.
|
inline |
optional int32 restart_running_window_size = 62 [default = 50];
Definition at line 5676 of file sat_parameters.pb.h.
|
inline |
optional int32 root_lp_iterations = 227 [default = 2000];
Definition at line 11946 of file sat_parameters.pb.h.
|
inline |
optional double routing_cut_dp_effort = 314 [default = 10000000];
Definition at line 9193 of file sat_parameters.pb.h.
|
inline |
optional int32 routing_cut_max_infeasible_path_length = 317 [default = 6];
Definition at line 9221 of file sat_parameters.pb.h.
|
inline |
optional int32 routing_cut_subset_size_for_binary_relation_bound = 312 [default = 0];
Definition at line 9081 of file sat_parameters.pb.h.
|
inline |
optional int32 routing_cut_subset_size_for_exact_binary_relation_bound = 316 [default = 8];
Definition at line 9137 of file sat_parameters.pb.h.
|
inline |
optional int32 routing_cut_subset_size_for_shortest_paths_bound = 318 [default = 8];
Definition at line 9165 of file sat_parameters.pb.h.
|
inline |
optional int32 routing_cut_subset_size_for_tight_binary_relation_bound = 313 [default = 0];
Definition at line 9109 of file sat_parameters.pb.h.
|
inline |
optional bool save_lp_basis_in_lb_tree_search = 284 [default = false];
Definition at line 9700 of file sat_parameters.pb.h.
|
inline |
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTOMATIC_SEARCH];
Definition at line 9249 of file sat_parameters.pb.h.
|
inline |
optional int64 search_random_variable_pool_size = 104 [default = 0];
Definition at line 10994 of file sat_parameters.pb.h.
|
inline |
optional bool share_binary_clauses = 203 [default = true];
Definition at line 8011 of file sat_parameters.pb.h.
|
inline |
optional bool share_glue_clauses = 285 [default = false];
Definition at line 8039 of file sat_parameters.pb.h.
|
inline |
optional double share_glue_clauses_dtime = 322 [default = 1];
Definition at line 8095 of file sat_parameters.pb.h.
|
inline |
optional bool share_level_zero_bounds = 114 [default = true];
Definition at line 7983 of file sat_parameters.pb.h.
|
inline |
optional bool share_objective_bounds = 113 [default = true];
Definition at line 7955 of file sat_parameters.pb.h.
|
inline |
optional int32 shared_tree_balance_tolerance = 305 [default = 1];
Definition at line 10375 of file sat_parameters.pb.h.
|
inline |
optional int32 shared_tree_max_nodes_per_worker = 238 [default = 10000];
Definition at line 10316 of file sat_parameters.pb.h.
|
inline |
optional int32 shared_tree_num_workers = 235 [default = 0];
Definition at line 10148 of file sat_parameters.pb.h.
|
inline |
optional double shared_tree_open_leaves_per_worker = 281 [default = 2];
Definition at line 10288 of file sat_parameters.pb.h.
|
inline |
optional .operations_research.sat.SatParameters.SharedTreeSplitStrategy shared_tree_split_strategy = 239 [default = SPLIT_STRATEGY_AUTO];
Definition at line 10344 of file sat_parameters.pb.h.
|
inline |
optional bool shared_tree_worker_enable_phase_sharing = 304 [default = true];
Definition at line 10260 of file sat_parameters.pb.h.
|
inline |
optional bool shared_tree_worker_enable_trail_sharing = 295 [default = true];
Definition at line 10232 of file sat_parameters.pb.h.
|
inline |
optional int32 shared_tree_worker_min_restarts_per_subtree = 282 [default = 1];
Definition at line 10204 of file sat_parameters.pb.h.
|
inline |
optional double shaving_deterministic_time_in_probing_search = 204 [default = 0.001];
Definition at line 9448 of file sat_parameters.pb.h.
|
inline |
optional double shaving_search_deterministic_time = 205 [default = 0.1];
Definition at line 9476 of file sat_parameters.pb.h.
|
inline |
optional int64 shaving_search_threshold = 290 [default = 64];
Definition at line 9504 of file sat_parameters.pb.h.
|
inline |
optional int32 solution_pool_size = 193 [default = 3];
Definition at line 10767 of file sat_parameters.pb.h.
|
inline |
optional bool stop_after_first_solution = 98 [default = false];
Definition at line 10571 of file sat_parameters.pb.h.
|
inline |
optional bool stop_after_presolve = 149 [default = false];
Definition at line 10599 of file sat_parameters.pb.h.
|
inline |
optional bool stop_after_root_propagation = 252 [default = false];
Definition at line 10627 of file sat_parameters.pb.h.
|
inline |
optional double strategy_change_increase_ratio = 69 [default = 0];
Definition at line 5872 of file sat_parameters.pb.h.
|
inline |
optional bool subsumption_during_conflict_analysis = 56 [default = true];
Definition at line 5077 of file sat_parameters.pb.h.
|
inline |
optional double symmetry_detection_deterministic_time_limit = 302 [default = 1];
Definition at line 11414 of file sat_parameters.pb.h.
|
inline |
optional int32 symmetry_level = 183 [default = 2];
Definition at line 11330 of file sat_parameters.pb.h.
|
inline |
optional int32 table_compression_level = 217 [default = 2];
Definition at line 6865 of file sat_parameters.pb.h.
|
inline |
optional bool use_absl_random = 180 [default = false];
Definition at line 6180 of file sat_parameters.pb.h.
|
inline |
optional bool use_all_different_for_circuit = 311 [default = false];
Definition at line 9053 of file sat_parameters.pb.h.
|
inline |
optional bool use_area_energetic_reasoning_in_no_overlap_2d = 271 [default = false];
Definition at line 8885 of file sat_parameters.pb.h.
|
inline |
optional bool use_blocking_restart = 64 [default = false];
Definition at line 5760 of file sat_parameters.pb.h.
|
inline |
optional bool use_combined_no_overlap = 133 [default = false];
Definition at line 11106 of file sat_parameters.pb.h.
|
inline |
optional bool use_conservative_scale_overload_checker = 286 [default = false];
Definition at line 8633 of file sat_parameters.pb.h.
|
inline |
optional bool use_disjunctive_constraint_in_cumulative = 80 [default = true];
Definition at line 8773 of file sat_parameters.pb.h.
|
inline |
optional bool use_dual_scheduling_heuristics = 214 [default = true];
Definition at line 9025 of file sat_parameters.pb.h.
|
inline |
optional bool use_dynamic_precedence_in_cumulative = 268 [default = false];
Definition at line 8577 of file sat_parameters.pb.h.
|
inline |
optional bool use_dynamic_precedence_in_disjunctive = 263 [default = false];
Definition at line 8549 of file sat_parameters.pb.h.
|
inline |
optional bool use_energetic_reasoning_in_no_overlap_2d = 213 [default = false];
Definition at line 8857 of file sat_parameters.pb.h.
|
inline |
optional bool use_erwa_heuristic = 75 [default = false];
Definition at line 4931 of file sat_parameters.pb.h.
|
inline |
optional bool use_exact_lp_reason = 109 [default = true];
Definition at line 11078 of file sat_parameters.pb.h.
|
inline |
optional bool use_extended_probing = 269 [default = true];
Definition at line 9392 of file sat_parameters.pb.h.
|
inline |
optional bool use_feasibility_jump = 265 [default = true];
Definition at line 9784 of file sat_parameters.pb.h.
|
inline |
optional bool use_feasibility_pump = 164 [default = true];
Definition at line 10823 of file sat_parameters.pb.h.
|
inline |
optional bool use_hard_precedences_in_cumulative = 215 [default = false];
Definition at line 8717 of file sat_parameters.pb.h.
|
inline |
optional bool use_implied_bounds = 144 [default = true];
Definition at line 11190 of file sat_parameters.pb.h.
|
inline |
optional bool use_lb_relax_lns = 255 [default = true];
Definition at line 10851 of file sat_parameters.pb.h.
|
inline |
optional bool use_linear3_for_no_overlap_2d_precedences = 323 [default = true];
Definition at line 8997 of file sat_parameters.pb.h.
|
inline |
optional bool use_lns = 283 [default = true];
Definition at line 10711 of file sat_parameters.pb.h.
|
inline |
optional bool use_lns_only = 101 [default = false];
Definition at line 10739 of file sat_parameters.pb.h.
|
inline |
optional bool use_ls_only = 240 [default = false];
Definition at line 9812 of file sat_parameters.pb.h.
|
inline |
optional bool use_objective_lb_search = 228 [default = false];
Definition at line 9532 of file sat_parameters.pb.h.
|
inline |
optional bool use_objective_shaving_search = 253 [default = false];
Definition at line 9560 of file sat_parameters.pb.h.
|
inline |
optional bool use_optimization_hints = 35 [default = true];
Definition at line 8235 of file sat_parameters.pb.h.
|
inline |
optional bool use_optional_variables = 108 [default = false];
Definition at line 11050 of file sat_parameters.pb.h.
|
inline |
optional bool use_overload_checker_in_cumulative = 78 [default = false];
Definition at line 8605 of file sat_parameters.pb.h.
|
inline |
optional bool use_pb_resolution = 43 [default = false];
Definition at line 6389 of file sat_parameters.pb.h.
|
inline |
optional bool use_phase_saving = 44 [default = true];
Definition at line 4791 of file sat_parameters.pb.h.
|
inline |
optional bool use_precedences_in_disjunctive_constraint = 74 [default = true];
Definition at line 8465 of file sat_parameters.pb.h.
|
inline |
optional bool use_probing_search = 176 [default = false];
Definition at line 9364 of file sat_parameters.pb.h.
|
inline |
optional bool use_rins_lns = 129 [default = true];
Definition at line 10795 of file sat_parameters.pb.h.
|
inline |
optional bool use_sat_inprocessing = 163 [default = true];
Definition at line 7341 of file sat_parameters.pb.h.
|
inline |
optional bool use_shared_tree_search = 236 [default = false];
Definition at line 10176 of file sat_parameters.pb.h.
|
inline |
optional bool use_strong_propagation_in_disjunctive = 230 [default = false];
Definition at line 8521 of file sat_parameters.pb.h.
|
inline |
optional bool use_symmetry_in_lp = 301 [default = false];
Definition at line 11358 of file sat_parameters.pb.h.
|
inline |
optional bool use_timetable_edge_finding_in_cumulative = 79 [default = false];
Definition at line 8661 of file sat_parameters.pb.h.
|
inline |
optional bool use_timetabling_in_no_overlap_2d = 200 [default = false];
Definition at line 8829 of file sat_parameters.pb.h.
|
inline |
optional bool use_try_edge_reasoning_in_no_overlap_2d = 299 [default = false];
Definition at line 8913 of file sat_parameters.pb.h.
|
inline |
optional double variable_activity_decay = 15 [default = 0.8];
Definition at line 5335 of file sat_parameters.pb.h.
|
inline |
optional int32 variables_shaving_level = 289 [default = -1];
Definition at line 9588 of file sat_parameters.pb.h.
|
inline |
optional double violation_ls_compound_move_probability = 259 [default = 0.5];
Definition at line 10120 of file sat_parameters.pb.h.
|
inline |
optional int32 violation_ls_perturbation_period = 249 [default = 100];
Definition at line 10092 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.hint_conflict_limit)
Definition at line 9289 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.ignore_names)
Definition at line 7266 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_list:operations_research.sat.SatParameters.ignore_subsolvers)
Definition at line 7762 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.ignore_subsolvers)
Definition at line 7738 of file sat_parameters.pb.h.
|
inline |
repeated string ignore_subsolvers = 209;
Definition at line 7724 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.infer_all_diffs)
Definition at line 7294 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.initial_polarity)
Definition at line 4769 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.initial_variables_activity)
Definition at line 4968 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.inprocessing_dtime_ratio)
Definition at line 7378 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.inprocessing_minimization_dtime)
Definition at line 7434 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.inprocessing_minimization_use_all_orderings)
Definition at line 7490 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.inprocessing_minimization_use_conflict_analysis)
Definition at line 7462 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.inprocessing_probing_dtime)
Definition at line 7406 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.instantiate_all_variables)
Definition at line 10524 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.interleave_batch_size)
Definition at line 7936 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.interleave_search)
Definition at line 7908 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 1659 of file sat_parameters.pb.cc.
|
staticconstexprprotected |
Definition at line 1623 of file sat_parameters.pb.cc.
|
inline |
Definition at line 634 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.keep_all_feasible_solutions_in_presolve)
Definition at line 10440 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.keep_symmetry_in_presolve)
Definition at line 11395 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.lb_relax_num_workers_threshold)
Definition at line 10888 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.linear_split_size)
Definition at line 11479 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.linearization_level)
Definition at line 11507 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.lns_initial_deterministic_limit)
Definition at line 10692 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.lns_initial_difficulty)
Definition at line 10664 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.log_prefix)
Definition at line 6273 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.log_search_progress)
Definition at line 6217 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.log_subsolver_statistics)
Definition at line 6245 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.log_to_response)
Definition at line 6370 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.log_to_stdout)
Definition at line 6342 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.lp_dual_tolerance)
Definition at line 11283 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.lp_primal_tolerance)
Definition at line 11255 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_all_diff_cut_size)
Definition at line 11843 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_alldiff_domain_size)
Definition at line 6930 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_clause_activity_value)
Definition at line 5512 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_consecutive_inactive_count)
Definition at line 12039 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_cut_rounds_at_level_zero)
Definition at line 12011 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_deterministic_time)
Definition at line 5937 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_domain_size_when_encoding_eq_neq_constraints)
Definition at line 11563 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_integer_rounding_scaling)
Definition at line 11899 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_lin_max_size_for_expansion)
Definition at line 7042 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_memory_in_mb)
Definition at line 6021 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_num_cuts)
Definition at line 11591 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_num_deterministic_batches)
Definition at line 5965 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_num_intervals_for_timetable_edge_finding)
Definition at line 8698 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_number_of_conflicts)
Definition at line 5993 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_pairs_pairwise_reasoning_in_no_overlap_2d)
Definition at line 8950 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_presolve_iterations)
Definition at line 6706 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_sat_assumption_order)
Definition at line 8356 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_sat_reverse_assumption_order)
Definition at line 8387 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_sat_stratification)
Definition at line 8415 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_size_to_create_precedence_literals_in_disjunctive)
Definition at line 8502 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_time_in_seconds)
Definition at line 5909 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_variable_activity_value)
Definition at line 5372 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.maximum_regions_to_split_in_disconnected_no_overlap_2d)
Definition at line 8978 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 849 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 843 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 853 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 856 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 870 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 864 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 874 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 877 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.merge_at_most_one_work_limit)
Definition at line 7154 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.merge_no_overlap_work_limit)
Definition at line 7126 of file sat_parameters.pb.h.
|
inline |
Definition at line 627 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.min_orthogonality_for_lp_constraints)
Definition at line 11983 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.minimization_algorithm)
Definition at line 5024 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.minimize_reduction_during_pb_resolution)
Definition at line 6426 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.minimize_shared_clauses)
Definition at line 8076 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_automatically_scale_variables)
Definition at line 12431 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_check_precision)
Definition at line 12543 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_compute_true_objective_bound)
Definition at line 12571 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_drop_tolerance)
Definition at line 12655 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_max_activity_exponent)
Definition at line 12515 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_max_bound)
Definition at line 12347 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_max_valid_magnitude)
Definition at line 12599 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_presolve_level)
Definition at line 12683 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_scale_large_domain)
Definition at line 12403 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_treat_high_magnitude_bounds_as_infinity)
Definition at line 12627 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_var_scaling)
Definition at line 12375 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_wanted_precision)
Definition at line 12487 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_mutable:operations_research.sat.SatParameters.default_restart_algorithms)
Definition at line 5607 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_mutable_list:operations_research.sat.SatParameters.extra_subsolvers)
Definition at line 7704 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_mutable:operations_research.sat.SatParameters.extra_subsolvers)
Definition at line 7679 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_mutable_list:operations_research.sat.SatParameters.filter_subsolvers)
Definition at line 7832 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_mutable:operations_research.sat.SatParameters.filter_subsolvers)
Definition at line 7807 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_mutable_list:operations_research.sat.SatParameters.ignore_subsolvers)
Definition at line 7768 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_mutable:operations_research.sat.SatParameters.ignore_subsolvers)
Definition at line 7743 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_mutable:operations_research.sat.SatParameters.log_prefix)
Definition at line 6285 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_mutable:operations_research.sat.SatParameters.name)
Definition at line 4681 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_mutable_list:operations_research.sat.SatParameters.restart_algorithms)
Definition at line 5565 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_mutable_list:operations_research.sat.SatParameters.subsolver_params)
Definition at line 7864 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_mutable:operations_research.sat.SatParameters.subsolver_params)
Definition at line 7859 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_mutable_list:operations_research.sat.SatParameters.subsolvers)
Definition at line 7640 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_mutable:operations_research.sat.SatParameters.subsolvers)
Definition at line 7615 of file sat_parameters.pb.h.
|
inline |
Definition at line 585 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.name)
Definition at line 4669 of file sat_parameters.pb.h.
|
inline |
implements Message -------------------------------------------—
Definition at line 621 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.new_constraints_batch_size)
Definition at line 12151 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.new_linear_propagation)
Definition at line 11451 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.no_overlap_2d_boolean_relations_limit)
Definition at line 8810 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.num_conflicts_before_strategy_changes)
Definition at line 5853 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.num_full_subsolvers)
Definition at line 7574 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.num_search_workers)
Definition at line 7546 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.num_violation_ls)
Definition at line 10073 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.num_workers)
Definition at line 7518 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.only_add_cuts_at_level_zero)
Definition at line 11647 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.only_solve_ip)
Definition at line 12459 of file sat_parameters.pb.h.
|
inline |
Definition at line 567 of file sat_parameters.pb.h.
|
inlinenoexcept |
Definition at line 571 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.optimize_with_core)
Definition at line 9653 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.optimize_with_lb_tree_search)
Definition at line 9681 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.optimize_with_max_hs)
Definition at line 9765 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.pb_cleanup_increment)
Definition at line 5288 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.pb_cleanup_ratio)
Definition at line 5316 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.permute_presolve_constraint_order)
Definition at line 6161 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.permute_variable_randomly)
Definition at line 6133 of file sat_parameters.pb.h.
|
inlinestaticprotected |
Definition at line 1618 of file sat_parameters.pb.cc.
|
inlinestatic |
Definition at line 719 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.polarity_exploit_ls_hints)
Definition at line 4856 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 713 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 723 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 726 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.polarity_rephase_increment)
Definition at line 4828 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.polish_lp_solution)
Definition at line 11227 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.preferred_variable_order)
Definition at line 4738 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_blocked_clause)
Definition at line 6622 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_bva_threshold)
Definition at line 6678 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_bve_clause_weight)
Definition at line 6538 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_bve_threshold)
Definition at line 6482 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_extract_integer_enforcement)
Definition at line 7210 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_inclusion_work_limit)
Definition at line 7238 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_probing_deterministic_time_limit)
Definition at line 6594 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_substitution_level)
Definition at line 7182 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_use_bva)
Definition at line 6650 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.probing_deterministic_time_limit)
Definition at line 6566 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.probing_num_combinations_limit)
Definition at line 9429 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.propagation_loop_detection_factor)
Definition at line 8446 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.pseudo_cost_reliability_threshold)
Definition at line 9625 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.push_all_tasks_toward_start)
Definition at line 11031 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.random_branches_ratio)
Definition at line 4912 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.random_polarity_ratio)
Definition at line 4884 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.random_seed)
Definition at line 6105 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.randomize_search)
Definition at line 10975 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.relative_gap_limit)
Definition at line 6077 of file sat_parameters.pb.h.
|
inlinenodiscard |
@protoc_insertion_point(field_release:operations_research.sat.SatParameters.default_restart_algorithms)
Definition at line 5627 of file sat_parameters.pb.h.
|
inlinenodiscard |
@protoc_insertion_point(field_release:operations_research.sat.SatParameters.log_prefix)
Definition at line 6305 of file sat_parameters.pb.h.
|
inlinenodiscard |
@protoc_insertion_point(field_release:operations_research.sat.SatParameters.name)
Definition at line 4701 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.remove_fixed_variables_early)
Definition at line 6818 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.repair_hint)
Definition at line 9317 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_list:operations_research.sat.SatParameters.restart_algorithms)
Definition at line 5560 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.restart_algorithms)
Definition at line 5541 of file sat_parameters.pb.h.
|
inline |
repeated .operations_research.sat.SatParameters.RestartAlgorithm restart_algorithms = 61;
Definition at line 5534 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.restart_dl_average_ratio)
Definition at line 5713 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.restart_lbd_average_ratio)
Definition at line 5741 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.restart_period)
Definition at line 5657 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.restart_running_window_size)
Definition at line 5685 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 828 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 822 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 832 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 835 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.root_lp_iterations)
Definition at line 11955 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.routing_cut_dp_effort)
Definition at line 9202 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.routing_cut_max_infeasible_path_length)
Definition at line 9230 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.routing_cut_subset_size_for_binary_relation_bound)
Definition at line 9090 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.routing_cut_subset_size_for_exact_binary_relation_bound)
Definition at line 9146 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.routing_cut_subset_size_for_shortest_paths_bound)
Definition at line 9174 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.routing_cut_subset_size_for_tight_binary_relation_bound)
Definition at line 9118 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.save_lp_basis_in_lb_tree_search)
Definition at line 9709 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.search_branching)
Definition at line 9258 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.search_random_variable_pool_size)
Definition at line 11003 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 897 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 891 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 901 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 904 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.absolute_gap_limit)
Definition at line 6053 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.add_cg_cuts)
Definition at line 11707 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.add_clique_cuts)
Definition at line 11791 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.add_lin_max_cuts)
Definition at line 11875 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.add_lp_constraints_lazily)
Definition at line 11931 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.add_mir_cuts)
Definition at line 11735 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.add_objective_cut)
Definition at line 11679 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.add_rlt_cuts)
Definition at line 11819 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.add_zero_half_cuts)
Definition at line 11763 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set_allocated:operations_research.sat.SatParameters.default_restart_algorithms)
Definition at line 5636 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set_allocated:operations_research.sat.SatParameters.log_prefix)
Definition at line 6318 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set_allocated:operations_research.sat.SatParameters.name)
Definition at line 4714 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.also_bump_variables_in_conflict_reasons)
Definition at line 5000 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.at_most_one_max_expansion_size)
Definition at line 11147 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.auto_detect_greater_than_at_least_one_of)
Definition at line 10556 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.binary_minimization_algorithm)
Definition at line 5059 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.binary_search_num_conflicts)
Definition at line 9741 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.blocking_restart_multiplier)
Definition at line 5829 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.blocking_restart_window_size)
Definition at line 5801 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.boolean_encoding_level)
Definition at line 11539 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.catch_sigint_signal)
Definition at line 11175 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_activity_decay)
Definition at line 5488 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_lbd_bound)
Definition at line 5233 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_ordering)
Definition at line 5261 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_period)
Definition at line 5118 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_protection)
Definition at line 5202 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_ratio)
Definition at line 5174 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_target)
Definition at line 5146 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.convert_intervals)
Definition at line 11315 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.core_minimization_level)
Definition at line 8276 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.count_assumption_levels_in_lbd)
Definition at line 6458 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cover_optimization)
Definition at line 8332 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cp_model_presolve)
Definition at line 6738 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cp_model_probing_level)
Definition at line 6766 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cp_model_use_sat_presolve)
Definition at line 6794 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cut_active_count_decay)
Definition at line 12099 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cut_cleanup_target)
Definition at line 12127 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cut_level)
Definition at line 11623 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cut_max_active_count_value)
Definition at line 12071 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.debug_crash_if_presolve_breaks_hint)
Definition at line 8220 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.debug_crash_on_bad_hint)
Definition at line 8192 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.debug_max_num_presolve_operations)
Definition at line 8164 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.debug_postsolve_with_full_solver)
Definition at line 8136 of file sat_parameters.pb.h.
void operations_research::sat::SatParameters::set_default_restart_algorithms | ( | Arg_ && | arg, |
Args_... | args ) |
PROTOBUF_ALWAYS_INLINE void operations_research::sat::SatParameters::set_default_restart_algorithms | ( | Arg_ && | arg, |
Args_... | args ) |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.default_restart_algorithms)
Definition at line 5601 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.detect_linearized_product)
Definition at line 12323 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.detect_table_with_cost)
Definition at line 6850 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.disable_constraint_expansion)
Definition at line 7074 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.diversify_lns_params)
Definition at line 10951 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.encode_complex_linear_constraint_with_integer)
Definition at line 7102 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.encode_cumulative_as_reservoir)
Definition at line 7018 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.enumerate_all_solutions)
Definition at line 10416 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.expand_alldiff_constraints)
Definition at line 6906 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.expand_reservoir_constraints)
Definition at line 6962 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.expand_reservoir_using_circuit)
Definition at line 6990 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.exploit_all_lp_solution)
Definition at line 12211 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.exploit_all_precedences)
Definition at line 8758 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.exploit_best_solution)
Definition at line 12239 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.exploit_integer_lp_solution)
Definition at line 12183 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.exploit_objective)
Definition at line 12295 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.exploit_relaxation_solution)
Definition at line 12267 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.extra_subsolvers)
Definition at line 7685 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.feasibility_jump_batch_dtime)
Definition at line 9937 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.feasibility_jump_decay)
Definition at line 9853 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.feasibility_jump_enable_restarts)
Definition at line 10021 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.feasibility_jump_linearization_level)
Definition at line 9881 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.feasibility_jump_max_expanded_constraint_size)
Definition at line 10049 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.feasibility_jump_restart_factor)
Definition at line 9909 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.feasibility_jump_var_perburbation_range_ratio)
Definition at line 9993 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.feasibility_jump_var_randomization_probability)
Definition at line 9965 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.fill_additional_solutions_in_response)
Definition at line 10500 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.fill_tightened_domains_in_response)
Definition at line 10472 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.filter_sat_postsolve_clauses)
Definition at line 6514 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.filter_subsolvers)
Definition at line 7813 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.find_big_linear_overlap)
Definition at line 7326 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.find_multiple_cores)
Definition at line 8304 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.fix_variables_to_their_hinted_value)
Definition at line 9349 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.fp_rounding)
Definition at line 10920 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.glucose_decay_increment)
Definition at line 5432 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.glucose_decay_increment_period)
Definition at line 5460 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.glucose_max_decay)
Definition at line 5404 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.hint_conflict_limit)
Definition at line 9293 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.ignore_names)
Definition at line 7270 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.ignore_subsolvers)
Definition at line 7749 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.infer_all_diffs)
Definition at line 7298 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.initial_polarity)
Definition at line 4773 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.initial_variables_activity)
Definition at line 4972 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.inprocessing_dtime_ratio)
Definition at line 7382 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.inprocessing_minimization_dtime)
Definition at line 7438 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.inprocessing_minimization_use_all_orderings)
Definition at line 7494 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.inprocessing_minimization_use_conflict_analysis)
Definition at line 7466 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.inprocessing_probing_dtime)
Definition at line 7410 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.instantiate_all_variables)
Definition at line 10528 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.interleave_batch_size)
Definition at line 7940 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.interleave_search)
Definition at line 7912 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.keep_all_feasible_solutions_in_presolve)
Definition at line 10444 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.keep_symmetry_in_presolve)
Definition at line 11399 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.lb_relax_num_workers_threshold)
Definition at line 10892 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.linear_split_size)
Definition at line 11483 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.linearization_level)
Definition at line 11511 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.lns_initial_deterministic_limit)
Definition at line 10696 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.lns_initial_difficulty)
Definition at line 10668 of file sat_parameters.pb.h.
void operations_research::sat::SatParameters::set_log_prefix | ( | Arg_ && | arg, |
Args_... | args ) |
PROTOBUF_ALWAYS_INLINE void operations_research::sat::SatParameters::set_log_prefix | ( | Arg_ && | arg, |
Args_... | args ) |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.log_prefix)
Definition at line 6279 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.log_search_progress)
Definition at line 6221 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.log_subsolver_statistics)
Definition at line 6249 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.log_to_response)
Definition at line 6374 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.log_to_stdout)
Definition at line 6346 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.lp_dual_tolerance)
Definition at line 11287 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.lp_primal_tolerance)
Definition at line 11259 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_all_diff_cut_size)
Definition at line 11847 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_alldiff_domain_size)
Definition at line 6934 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_clause_activity_value)
Definition at line 5516 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_consecutive_inactive_count)
Definition at line 12043 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_cut_rounds_at_level_zero)
Definition at line 12015 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_deterministic_time)
Definition at line 5941 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_domain_size_when_encoding_eq_neq_constraints)
Definition at line 11567 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_integer_rounding_scaling)
Definition at line 11903 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_lin_max_size_for_expansion)
Definition at line 7046 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_memory_in_mb)
Definition at line 6025 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_num_cuts)
Definition at line 11595 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_num_deterministic_batches)
Definition at line 5969 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_num_intervals_for_timetable_edge_finding)
Definition at line 8702 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_number_of_conflicts)
Definition at line 5997 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_pairs_pairwise_reasoning_in_no_overlap_2d)
Definition at line 8954 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_presolve_iterations)
Definition at line 6710 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_sat_assumption_order)
Definition at line 8360 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_sat_reverse_assumption_order)
Definition at line 8391 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_sat_stratification)
Definition at line 8419 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_size_to_create_precedence_literals_in_disjunctive)
Definition at line 8506 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_time_in_seconds)
Definition at line 5913 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_variable_activity_value)
Definition at line 5376 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.maximum_regions_to_split_in_disconnected_no_overlap_2d)
Definition at line 8982 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.merge_at_most_one_work_limit)
Definition at line 7158 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.merge_no_overlap_work_limit)
Definition at line 7130 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.min_orthogonality_for_lp_constraints)
Definition at line 11987 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.minimization_algorithm)
Definition at line 5028 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.minimize_reduction_during_pb_resolution)
Definition at line 6430 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.minimize_shared_clauses)
Definition at line 8080 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_automatically_scale_variables)
Definition at line 12435 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_check_precision)
Definition at line 12547 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_compute_true_objective_bound)
Definition at line 12575 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_drop_tolerance)
Definition at line 12659 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_max_activity_exponent)
Definition at line 12519 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_max_bound)
Definition at line 12351 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_max_valid_magnitude)
Definition at line 12603 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_presolve_level)
Definition at line 12687 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_scale_large_domain)
Definition at line 12407 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_treat_high_magnitude_bounds_as_infinity)
Definition at line 12631 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_var_scaling)
Definition at line 12379 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_wanted_precision)
Definition at line 12491 of file sat_parameters.pb.h.
void operations_research::sat::SatParameters::set_name | ( | Arg_ && | arg, |
Args_... | args ) |
PROTOBUF_ALWAYS_INLINE void operations_research::sat::SatParameters::set_name | ( | Arg_ && | arg, |
Args_... | args ) |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.name)
Definition at line 4675 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.new_constraints_batch_size)
Definition at line 12155 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.new_linear_propagation)
Definition at line 11455 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.no_overlap_2d_boolean_relations_limit)
Definition at line 8814 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.num_conflicts_before_strategy_changes)
Definition at line 5857 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.num_full_subsolvers)
Definition at line 7578 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.num_search_workers)
Definition at line 7550 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.num_violation_ls)
Definition at line 10077 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.num_workers)
Definition at line 7522 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.only_add_cuts_at_level_zero)
Definition at line 11651 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.only_solve_ip)
Definition at line 12463 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.optimize_with_core)
Definition at line 9657 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.optimize_with_lb_tree_search)
Definition at line 9685 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.optimize_with_max_hs)
Definition at line 9769 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.pb_cleanup_increment)
Definition at line 5292 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.pb_cleanup_ratio)
Definition at line 5320 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.permute_presolve_constraint_order)
Definition at line 6165 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.permute_variable_randomly)
Definition at line 6137 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.polarity_exploit_ls_hints)
Definition at line 4860 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.polarity_rephase_increment)
Definition at line 4832 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.polish_lp_solution)
Definition at line 11231 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.preferred_variable_order)
Definition at line 4742 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_blocked_clause)
Definition at line 6626 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_bva_threshold)
Definition at line 6682 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_bve_clause_weight)
Definition at line 6542 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_bve_threshold)
Definition at line 6486 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_extract_integer_enforcement)
Definition at line 7214 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_inclusion_work_limit)
Definition at line 7242 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_probing_deterministic_time_limit)
Definition at line 6598 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_substitution_level)
Definition at line 7186 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_use_bva)
Definition at line 6654 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.probing_deterministic_time_limit)
Definition at line 6570 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.probing_num_combinations_limit)
Definition at line 9433 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.propagation_loop_detection_factor)
Definition at line 8450 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.pseudo_cost_reliability_threshold)
Definition at line 9629 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.push_all_tasks_toward_start)
Definition at line 11035 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.random_branches_ratio)
Definition at line 4916 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.random_polarity_ratio)
Definition at line 4888 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.random_seed)
Definition at line 6109 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.randomize_search)
Definition at line 10979 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.relative_gap_limit)
Definition at line 6081 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.remove_fixed_variables_early)
Definition at line 6822 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.repair_hint)
Definition at line 9321 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.restart_algorithms)
Definition at line 5545 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.restart_dl_average_ratio)
Definition at line 5717 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.restart_lbd_average_ratio)
Definition at line 5745 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.restart_period)
Definition at line 5661 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.restart_running_window_size)
Definition at line 5689 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.root_lp_iterations)
Definition at line 11959 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.routing_cut_dp_effort)
Definition at line 9206 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.routing_cut_max_infeasible_path_length)
Definition at line 9234 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.routing_cut_subset_size_for_binary_relation_bound)
Definition at line 9094 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.routing_cut_subset_size_for_exact_binary_relation_bound)
Definition at line 9150 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.routing_cut_subset_size_for_shortest_paths_bound)
Definition at line 9178 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.routing_cut_subset_size_for_tight_binary_relation_bound)
Definition at line 9122 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.save_lp_basis_in_lb_tree_search)
Definition at line 9713 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.search_branching)
Definition at line 9262 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.search_random_variable_pool_size)
Definition at line 11007 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.share_binary_clauses)
Definition at line 8024 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.share_glue_clauses)
Definition at line 8052 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.share_glue_clauses_dtime)
Definition at line 8108 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.share_level_zero_bounds)
Definition at line 7996 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.share_objective_bounds)
Definition at line 7968 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.shared_tree_balance_tolerance)
Definition at line 10388 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.shared_tree_max_nodes_per_worker)
Definition at line 10329 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.shared_tree_num_workers)
Definition at line 10161 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.shared_tree_open_leaves_per_worker)
Definition at line 10301 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.shared_tree_split_strategy)
Definition at line 10357 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.shared_tree_worker_enable_phase_sharing)
Definition at line 10273 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.shared_tree_worker_enable_trail_sharing)
Definition at line 10245 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.shared_tree_worker_min_restarts_per_subtree)
Definition at line 10217 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.shaving_deterministic_time_in_probing_search)
Definition at line 9461 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.shaving_search_deterministic_time)
Definition at line 9489 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.shaving_search_threshold)
Definition at line 9517 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.solution_pool_size)
Definition at line 10780 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.stop_after_first_solution)
Definition at line 10584 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.stop_after_presolve)
Definition at line 10612 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.stop_after_root_propagation)
Definition at line 10640 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.strategy_change_increase_ratio)
Definition at line 5885 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.subsolvers)
Definition at line 7621 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.subsumption_during_conflict_analysis)
Definition at line 5090 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.symmetry_detection_deterministic_time_limit)
Definition at line 11427 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.symmetry_level)
Definition at line 11343 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.table_compression_level)
Definition at line 6878 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_absl_random)
Definition at line 6193 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_all_different_for_circuit)
Definition at line 9066 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_area_energetic_reasoning_in_no_overlap_2d)
Definition at line 8898 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_blocking_restart)
Definition at line 5773 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_combined_no_overlap)
Definition at line 11119 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_conservative_scale_overload_checker)
Definition at line 8646 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_disjunctive_constraint_in_cumulative)
Definition at line 8786 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_dual_scheduling_heuristics)
Definition at line 9038 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_dynamic_precedence_in_cumulative)
Definition at line 8590 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_dynamic_precedence_in_disjunctive)
Definition at line 8562 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_energetic_reasoning_in_no_overlap_2d)
Definition at line 8870 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_erwa_heuristic)
Definition at line 4944 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_exact_lp_reason)
Definition at line 11091 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_extended_probing)
Definition at line 9405 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_feasibility_jump)
Definition at line 9797 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_feasibility_pump)
Definition at line 10836 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_hard_precedences_in_cumulative)
Definition at line 8730 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_implied_bounds)
Definition at line 11203 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_lb_relax_lns)
Definition at line 10864 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_linear3_for_no_overlap_2d_precedences)
Definition at line 9010 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_lns)
Definition at line 10724 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_lns_only)
Definition at line 10752 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_ls_only)
Definition at line 9825 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_objective_lb_search)
Definition at line 9545 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_objective_shaving_search)
Definition at line 9573 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_optimization_hints)
Definition at line 8248 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_optional_variables)
Definition at line 11063 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_overload_checker_in_cumulative)
Definition at line 8618 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_pb_resolution)
Definition at line 6402 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_phase_saving)
Definition at line 4804 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_precedences_in_disjunctive_constraint)
Definition at line 8478 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_probing_search)
Definition at line 9377 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_rins_lns)
Definition at line 10808 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_sat_inprocessing)
Definition at line 7354 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_shared_tree_search)
Definition at line 10189 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_strong_propagation_in_disjunctive)
Definition at line 8534 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_symmetry_in_lp)
Definition at line 11371 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_timetable_edge_finding_in_cumulative)
Definition at line 8674 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_timetabling_in_no_overlap_2d)
Definition at line 8842 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_try_edge_reasoning_in_no_overlap_2d)
Definition at line 8926 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.variable_activity_decay)
Definition at line 5348 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.variables_shaving_level)
Definition at line 9601 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.violation_ls_compound_move_probability)
Definition at line 10133 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_set:operations_research.sat.SatParameters.violation_ls_perturbation_period)
Definition at line 10105 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.share_binary_clauses)
Definition at line 8020 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.share_glue_clauses)
Definition at line 8048 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.share_glue_clauses_dtime)
Definition at line 8104 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.share_level_zero_bounds)
Definition at line 7992 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.share_objective_bounds)
Definition at line 7964 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.shared_tree_balance_tolerance)
Definition at line 10384 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.shared_tree_max_nodes_per_worker)
Definition at line 10325 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.shared_tree_num_workers)
Definition at line 10157 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.shared_tree_open_leaves_per_worker)
Definition at line 10297 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.shared_tree_split_strategy)
Definition at line 10353 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.shared_tree_worker_enable_phase_sharing)
Definition at line 10269 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.shared_tree_worker_enable_trail_sharing)
Definition at line 10241 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.shared_tree_worker_min_restarts_per_subtree)
Definition at line 10213 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 920 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 914 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 924 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 927 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.shaving_deterministic_time_in_probing_search)
Definition at line 9457 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.shaving_search_deterministic_time)
Definition at line 9485 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.shaving_search_threshold)
Definition at line 9513 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.solution_pool_size)
Definition at line 10776 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.stop_after_first_solution)
Definition at line 10580 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.stop_after_presolve)
Definition at line 10608 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.stop_after_root_propagation)
Definition at line 10636 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.strategy_change_increase_ratio)
Definition at line 5881 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_list:operations_research.sat.SatParameters.subsolver_params)
Definition at line 7882 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.subsolver_params)
Definition at line 7870 of file sat_parameters.pb.h.
|
inline |
repeated .operations_research.sat.SatParameters subsolver_params = 210;
Definition at line 7852 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_list:operations_research.sat.SatParameters.subsolvers)
Definition at line 7634 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.subsolvers)
Definition at line 7610 of file sat_parameters.pb.h.
|
inline |
repeated string subsolvers = 207;
Definition at line 7596 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.subsumption_during_conflict_analysis)
Definition at line 5086 of file sat_parameters.pb.h.
|
inline |
Definition at line 605 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.symmetry_detection_deterministic_time_limit)
Definition at line 11423 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.symmetry_level)
Definition at line 11339 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.table_compression_level)
Definition at line 6874 of file sat_parameters.pb.h.
|
inline |
Definition at line 581 of file sat_parameters.pb.h.
|
inline |
Definition at line 613 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_absl_random)
Definition at line 6189 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_all_different_for_circuit)
Definition at line 9062 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_area_energetic_reasoning_in_no_overlap_2d)
Definition at line 8894 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_blocking_restart)
Definition at line 5769 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_combined_no_overlap)
Definition at line 11115 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_conservative_scale_overload_checker)
Definition at line 8642 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_disjunctive_constraint_in_cumulative)
Definition at line 8782 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_dual_scheduling_heuristics)
Definition at line 9034 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_dynamic_precedence_in_cumulative)
Definition at line 8586 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_dynamic_precedence_in_disjunctive)
Definition at line 8558 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_energetic_reasoning_in_no_overlap_2d)
Definition at line 8866 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_erwa_heuristic)
Definition at line 4940 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_exact_lp_reason)
Definition at line 11087 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_extended_probing)
Definition at line 9401 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_feasibility_jump)
Definition at line 9793 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_feasibility_pump)
Definition at line 10832 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_hard_precedences_in_cumulative)
Definition at line 8726 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_implied_bounds)
Definition at line 11199 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_lb_relax_lns)
Definition at line 10860 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_linear3_for_no_overlap_2d_precedences)
Definition at line 9006 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_lns)
Definition at line 10720 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_lns_only)
Definition at line 10748 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_ls_only)
Definition at line 9821 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_objective_lb_search)
Definition at line 9541 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_objective_shaving_search)
Definition at line 9569 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_optimization_hints)
Definition at line 8244 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_optional_variables)
Definition at line 11059 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_overload_checker_in_cumulative)
Definition at line 8614 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_pb_resolution)
Definition at line 6398 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_phase_saving)
Definition at line 4800 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_precedences_in_disjunctive_constraint)
Definition at line 8474 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_probing_search)
Definition at line 9373 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_rins_lns)
Definition at line 10804 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_sat_inprocessing)
Definition at line 7350 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_shared_tree_search)
Definition at line 10185 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_strong_propagation_in_disjunctive)
Definition at line 8530 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_symmetry_in_lp)
Definition at line 11367 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_timetable_edge_finding_in_cumulative)
Definition at line 8670 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_timetabling_in_no_overlap_2d)
Definition at line 8838 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_try_edge_reasoning_in_no_overlap_2d)
Definition at line 8922 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.variable_activity_decay)
Definition at line 5344 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 698 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 692 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 702 of file sat_parameters.pb.h.
|
inlinestatic |
Definition at line 705 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.variables_shaving_level)
Definition at line 9597 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.violation_ls_compound_move_probability)
Definition at line 10129 of file sat_parameters.pb.h.
|
inline |
@protoc_insertion_point(field_get:operations_research.sat.SatParameters.violation_ls_perturbation_period)
Definition at line 10101 of file sat_parameters.pb.h.
|
friend |
Definition at line 4340 of file sat_parameters.pb.h.
|
friend |
Definition at line 4342 of file sat_parameters.pb.h.
|
friend |
Definition at line 4333 of file sat_parameters.pb.h.
|
friend |
Definition at line 4339 of file sat_parameters.pb.h.
|
friend |
Definition at line 4635 of file sat_parameters.pb.h.
|
friend |
Definition at line 604 of file sat_parameters.pb.h.
Impl_ operations_research::sat::SatParameters::_impl_ |
Definition at line 4634 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 934 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 882 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 754 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 755 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 756 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 763 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 762 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 761 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 797 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 798 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 804 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 803 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 802 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 784 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 783 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 782 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 740 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 739 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 738 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 840 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 819 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 734 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 757 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 821 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 883 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 941 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 940 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 939 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 888 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 689 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 691 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 690 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 603 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 820 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 933 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 885 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 818 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 848 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 847 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 846 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 869 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 868 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 867 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 932 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 753 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 817 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 731 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 841 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 842 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 889 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 718 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 711 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 717 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 716 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 712 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 710 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 884 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 887 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 935 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 777 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 778 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 776 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 886 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 890 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 733 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 827 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 826 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 825 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 896 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 895 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 894 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 919 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 918 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 917 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 732 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 909 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 912 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 910 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 913 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 911 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 863 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 862 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 861 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 697 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 696 of file sat_parameters.pb.h.
|
staticconstexpr |
Definition at line 695 of file sat_parameters.pb.h.