|
| | 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 |
| 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 |
| bool | has_preferred_variable_order () const |
| 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 |
| void | clear_clause_cleanup_target () |
| ::int32_t | clause_cleanup_target () const |
| void | set_clause_cleanup_target (::int32_t value) |
| bool | has_random_polarity_ratio () const |
| void | clear_random_polarity_ratio () |
| double | random_polarity_ratio () const |
| void | set_random_polarity_ratio (double value) |
| bool | has_log_search_progress () const |
| void | clear_log_search_progress () |
| bool | log_search_progress () const |
| void | set_log_search_progress (bool value) |
| bool | has_use_pb_resolution () const |
| void | clear_use_pb_resolution () |
| bool | use_pb_resolution () const |
| void | set_use_pb_resolution (bool value) |
| bool | has_use_optimization_hints () const |
| void | clear_use_optimization_hints () |
| bool | use_optimization_hints () const |
| void | set_use_optimization_hints (bool value) |
| bool | has_use_phase_saving () const |
| void | clear_use_phase_saving () |
| bool | use_phase_saving () const |
| void | set_use_phase_saving (bool value) |
| bool | has_use_precedences_in_disjunctive_constraint () const |
| 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_initial_polarity () const |
| 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 |
| 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 |
| void | clear_variable_activity_decay () |
| double | variable_activity_decay () const |
| void | set_variable_activity_decay (double value) |
| bool | has_max_variable_activity_value () const |
| 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 |
| void | clear_clause_activity_decay () |
| double | clause_activity_decay () const |
| void | set_clause_activity_decay (double value) |
| bool | has_clause_cleanup_period () const |
| 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 |
| 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 |
| 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 |
| void | clear_glucose_max_decay () |
| double | glucose_max_decay () const |
| void | set_glucose_max_decay (double value) |
| bool | has_glucose_decay_increment () const |
| void | clear_glucose_decay_increment () |
| double | glucose_decay_increment () const |
| void | set_glucose_decay_increment (double value) |
| bool | has_restart_period () const |
| void | clear_restart_period () |
| ::int32_t | restart_period () const |
| void | set_restart_period (::int32_t value) |
| bool | has_random_seed () const |
| void | clear_random_seed () |
| ::int32_t | random_seed () const |
| void | set_random_seed (::int32_t value) |
| bool | has_max_time_in_seconds () const |
| 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 |
| void | clear_max_number_of_conflicts () |
| ::int64_t | max_number_of_conflicts () const |
| void | set_max_number_of_conflicts (::int64_t value) |
| int | restart_algorithms_size () const |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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_random_branches_ratio () const |
| void | clear_random_branches_ratio () |
| double | random_branches_ratio () const |
| void | set_random_branches_ratio (double value) |
| bool | has_max_sat_assumption_order () const |
| 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_minimize_reduction_during_pb_resolution () const |
| 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 |
| 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_use_blocking_restart () const |
| void | clear_use_blocking_restart () |
| bool | use_blocking_restart () const |
| void | set_use_blocking_restart (bool value) |
| bool | has_use_erwa_heuristic () const |
| void | clear_use_erwa_heuristic () |
| bool | use_erwa_heuristic () const |
| void | set_use_erwa_heuristic (bool value) |
| bool | has_clause_cleanup_ordering () const |
| 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_num_conflicts_before_strategy_changes () const |
| 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_strategy_change_increase_ratio () const |
| void | clear_strategy_change_increase_ratio () |
| double | strategy_change_increase_ratio () const |
| void | set_strategy_change_increase_ratio (double value) |
| bool | has_initial_variables_activity () const |
| void | clear_initial_variables_activity () |
| double | initial_variables_activity () const |
| void | set_initial_variables_activity (double value) |
| bool | has_also_bump_variables_in_conflict_reasons () const |
| 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 |
| 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_use_timetable_edge_finding_in_cumulative () const |
| 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 |
| void | clear_optimize_with_core () |
| bool | optimize_with_core () const |
| void | set_optimize_with_core (bool value) |
| bool | has_search_branching () const |
| void | clear_search_branching () |
| ::operations_research::sat::SatParameters_SearchBranching | search_branching () const |
| void | set_search_branching (::operations_research::sat::SatParameters_SearchBranching value) |
| bool | has_optimize_with_max_hs () const |
| 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 |
| 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 |
| 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 |
| void | clear_stop_after_first_solution () |
| bool | stop_after_first_solution () const |
| void | set_stop_after_first_solution (bool value) |
| bool | has_num_search_workers () const |
| 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 |
| 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_lns_only () const |
| void | clear_use_lns_only () |
| bool | use_lns_only () const |
| void | set_use_lns_only (bool value) |
| bool | has_randomize_search () const |
| void | clear_randomize_search () |
| bool | randomize_search () const |
| void | set_randomize_search (bool value) |
| bool | has_use_optional_variables () const |
| void | clear_use_optional_variables () |
| bool | use_optional_variables () const |
| void | set_use_optional_variables (bool value) |
| bool | has_exploit_best_solution () const |
| void | clear_exploit_best_solution () |
| bool | exploit_best_solution () const |
| void | set_exploit_best_solution (bool value) |
| bool | has_interleave_batch_size () const |
| void | clear_interleave_batch_size () |
| ::int32_t | interleave_batch_size () const |
| void | set_interleave_batch_size (::int32_t value) |
| bool | has_fill_tightened_domains_in_response () const |
| 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 |
| void | clear_use_combined_no_overlap () |
| bool | use_combined_no_overlap () const |
| void | set_use_combined_no_overlap (bool value) |
| bool | has_interleave_search () const |
| void | clear_interleave_search () |
| bool | interleave_search () const |
| void | set_interleave_search (bool value) |
| bool | has_diversify_lns_params () const |
| void | clear_diversify_lns_params () |
| bool | diversify_lns_params () const |
| void | set_diversify_lns_params (bool value) |
| bool | has_debug_max_num_presolve_operations () const |
| 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 |
| void | clear_relative_gap_limit () |
| double | relative_gap_limit () const |
| void | set_relative_gap_limit (double value) |
| bool | has_stop_after_presolve () const |
| void | clear_stop_after_presolve () |
| bool | stop_after_presolve () const |
| void | set_stop_after_presolve (bool value) |
| bool | has_exploit_relaxation_solution () const |
| void | clear_exploit_relaxation_solution () |
| bool | exploit_relaxation_solution () const |
| void | set_exploit_relaxation_solution (bool value) |
| bool | has_debug_postsolve_with_full_solver () const |
| 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 |
| void | clear_repair_hint () |
| bool | repair_hint () const |
| void | set_repair_hint (bool value) |
| bool | has_expand_alldiff_constraints () const |
| 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 |
| 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 |
| 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 |
| void | clear_polish_lp_solution () |
| bool | polish_lp_solution () const |
| void | set_polish_lp_solution (bool value) |
| bool | has_use_probing_search () const |
| void | clear_use_probing_search () |
| bool | use_probing_search () const |
| void | set_use_probing_search (bool value) |
| bool | has_permute_variable_randomly () const |
| void | clear_permute_variable_randomly () |
| bool | permute_variable_randomly () const |
| void | set_permute_variable_randomly (bool value) |
| bool | has_permute_presolve_constraint_order () const |
| 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 |
| void | clear_use_absl_random () |
| bool | use_absl_random () const |
| void | set_use_absl_random (bool value) |
| bool | has_disable_constraint_expansion () const |
| void | clear_disable_constraint_expansion () |
| bool | disable_constraint_expansion () const |
| void | set_disable_constraint_expansion (bool value) |
| bool | has_log_to_response () const |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| void | clear_add_objective_cut () |
| bool | add_objective_cut () const |
| void | set_add_objective_cut (bool value) |
| bool | has_num_workers () const |
| void | clear_num_workers () |
| ::int32_t | num_workers () const |
| void | set_num_workers (::int32_t value) |
| bool | has_use_timetabling_in_no_overlap_2d () const |
| 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 |
| 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_use_hard_precedences_in_cumulative () const |
| 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 |
| 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 |
| void | clear_exploit_all_precedences () |
| bool | exploit_all_precedences () const |
| void | set_exploit_all_precedences (bool value) |
| bool | has_only_solve_ip () const |
| 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 |
| 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 |
| 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 |
| 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 |
| 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_use_shared_tree_search () const |
| 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 |
| void | clear_use_ls_only () |
| bool | use_ls_only () const |
| void | set_use_ls_only (bool value) |
| bool | has_shared_tree_split_strategy () const |
| 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 |
| void | clear_num_violation_ls () |
| ::int32_t | num_violation_ls () const |
| void | set_num_violation_ls (::int32_t value) |
| bool | has_stop_after_root_propagation () const |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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_detect_linearized_product () const |
| 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 |
| 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_max_lin_max_size_for_expansion () const |
| 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_save_lp_basis_in_lb_tree_search () const |
| 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_use_conservative_scale_overload_checker () const |
| 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 |
| 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 |
| void | clear_expand_reservoir_using_circuit () |
| bool | expand_reservoir_using_circuit () const |
| void | set_expand_reservoir_using_circuit (bool value) |
| bool | has_max_num_deterministic_batches () const |
| 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 |
| void | clear_num_full_subsolvers () |
| ::int32_t | num_full_subsolvers () const |
| void | set_num_full_subsolvers (::int32_t value) |
| bool | has_inprocessing_minimization_use_all_orderings () const |
| 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_use_try_edge_reasoning_in_no_overlap_2d () const |
| 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 |
| 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 |
| void | clear_keep_symmetry_in_presolve () |
| bool | keep_symmetry_in_presolve () const |
| void | set_keep_symmetry_in_presolve (bool value) |
| bool | has_routing_cut_subset_size_for_binary_relation_bound () const |
| 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_debug_crash_if_presolve_breaks_hint () const |
| 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_polarity_exploit_ls_hints () const |
| 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 |
| 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 |
| void | clear_filter_sat_postsolve_clauses () |
| bool | filter_sat_postsolve_clauses () const |
| void | set_filter_sat_postsolve_clauses (bool value) |
| bool | has_routing_cut_subset_size_for_tight_binary_relation_bound () const |
| 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_maximum_regions_to_split_in_disconnected_no_overlap_2d () const |
| 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_share_linear2_bounds () const |
| void | clear_share_linear2_bounds () |
| bool | share_linear2_bounds () const |
| void | set_share_linear2_bounds (bool value) |
| bool | has_use_chronological_backtracking () const |
| void | clear_use_chronological_backtracking () |
| bool | use_chronological_backtracking () const |
| void | set_use_chronological_backtracking (bool value) |
| bool | has_load_at_most_ones_in_sat_presolve () const |
| void | clear_load_at_most_ones_in_sat_presolve () |
| bool | load_at_most_ones_in_sat_presolve () const |
| void | set_load_at_most_ones_in_sat_presolve (bool value) |
| bool | has_use_new_integer_conflict_resolution () const |
| void | clear_use_new_integer_conflict_resolution () |
| bool | use_new_integer_conflict_resolution () const |
| void | set_use_new_integer_conflict_resolution (bool value) |
| bool | has_clause_cleanup_period_increment () const |
| void | clear_clause_cleanup_period_increment () |
| ::int32_t | clause_cleanup_period_increment () const |
| void | set_clause_cleanup_period_increment (::int32_t value) |
| bool | has_debug_crash_if_lrat_check_fails () const |
| void | clear_debug_crash_if_lrat_check_fails () |
| bool | debug_crash_if_lrat_check_fails () const |
| void | set_debug_crash_if_lrat_check_fails (bool value) |
| bool | has_check_lrat_proof () const |
| void | clear_check_lrat_proof () |
| bool | check_lrat_proof () const |
| void | set_check_lrat_proof (bool value) |
| bool | has_output_lrat_proof () const |
| void | clear_output_lrat_proof () |
| bool | output_lrat_proof () const |
| void | set_output_lrat_proof (bool value) |
| bool | has_check_drat_proof () const |
| void | clear_check_drat_proof () |
| bool | check_drat_proof () const |
| void | set_check_drat_proof (bool value) |
| bool | has_clause_cleanup_lbd_tier1 () const |
| void | clear_clause_cleanup_lbd_tier1 () |
| ::int32_t | clause_cleanup_lbd_tier1 () const |
| void | set_clause_cleanup_lbd_tier1 (::int32_t value) |
| bool | has_clause_cleanup_lbd_tier2 () const |
| void | clear_clause_cleanup_lbd_tier2 () |
| ::int32_t | clause_cleanup_lbd_tier2 () const |
| void | set_clause_cleanup_lbd_tier2 (::int32_t value) |
| bool | has_output_drat_proof () const |
| void | clear_output_drat_proof () |
| bool | output_drat_proof () const |
| void | set_output_drat_proof (bool value) |
| bool | has_check_merged_lrat_proof () const |
| void | clear_check_merged_lrat_proof () |
| bool | check_merged_lrat_proof () const |
| void | set_check_merged_lrat_proof (bool value) |
| bool | has_inprocessing_use_sat_sweeping () const |
| void | clear_inprocessing_use_sat_sweeping () |
| bool | inprocessing_use_sat_sweeping () const |
| void | set_inprocessing_use_sat_sweeping (bool value) |
| bool | has_max_memory_in_mb () const |
| 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 |
| 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 |
| void | clear_pb_cleanup_increment () |
| ::int32_t | pb_cleanup_increment () const |
| void | set_pb_cleanup_increment (::int32_t value) |
| bool | has_pb_cleanup_ratio () const |
| void | clear_pb_cleanup_ratio () |
| double | pb_cleanup_ratio () const |
| void | set_pb_cleanup_ratio (double value) |
| bool | has_core_minimization_level () const |
| void | clear_core_minimization_level () |
| ::int32_t | core_minimization_level () const |
| void | set_core_minimization_level (::int32_t value) |
| bool | has_max_sat_stratification () const |
| 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 |
| void | clear_presolve_bve_threshold () |
| ::int32_t | presolve_bve_threshold () const |
| void | set_presolve_bve_threshold (::int32_t value) |
| bool | has_presolve_bve_clause_weight () const |
| void | clear_presolve_bve_clause_weight () |
| ::int32_t | presolve_bve_clause_weight () const |
| void | set_presolve_bve_clause_weight (::int32_t value) |
| bool | has_presolve_probing_deterministic_time_limit () const |
| 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_clause_cleanup_lbd_bound () const |
| 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_running_window_size () const |
| void | clear_restart_running_window_size () |
| ::int32_t | restart_running_window_size () const |
| void | set_restart_running_window_size (::int32_t value) |
| bool | has_restart_dl_average_ratio () const |
| void | clear_restart_dl_average_ratio () |
| double | restart_dl_average_ratio () const |
| void | set_restart_dl_average_ratio (double value) |
| bool | has_count_assumption_levels_in_lbd () const |
| 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 |
| void | clear_subsumption_during_conflict_analysis () |
| bool | subsumption_during_conflict_analysis () const |
| void | set_subsumption_during_conflict_analysis (bool value) |
| bool | has_presolve_use_bva () const |
| void | clear_presolve_use_bva () |
| bool | presolve_use_bva () const |
| void | set_presolve_use_bva (bool value) |
| bool | has_use_disjunctive_constraint_in_cumulative () const |
| 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_blocking_restart_window_size () const |
| 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 |
| void | clear_blocking_restart_multiplier () |
| double | blocking_restart_multiplier () const |
| void | set_blocking_restart_multiplier (double value) |
| bool | has_max_deterministic_time () const |
| void | clear_max_deterministic_time () |
| double | max_deterministic_time () const |
| void | set_max_deterministic_time (double value) |
| bool | has_restart_lbd_average_ratio () const |
| 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 |
| void | clear_presolve_bva_threshold () |
| ::int32_t | presolve_bva_threshold () const |
| void | set_presolve_bva_threshold (::int32_t value) |
| bool | has_find_multiple_cores () const |
| void | clear_find_multiple_cores () |
| bool | find_multiple_cores () const |
| void | set_find_multiple_cores (bool value) |
| bool | has_cp_model_presolve () const |
| void | clear_cp_model_presolve () |
| bool | cp_model_presolve () const |
| void | set_cp_model_presolve (bool value) |
| bool | has_presolve_blocked_clause () const |
| void | clear_presolve_blocked_clause () |
| bool | presolve_blocked_clause () const |
| void | set_presolve_blocked_clause (bool value) |
| bool | has_cover_optimization () const |
| void | clear_cover_optimization () |
| bool | cover_optimization () const |
| void | set_cover_optimization (bool value) |
| bool | has_linearization_level () const |
| void | clear_linearization_level () |
| ::int32_t | linearization_level () const |
| void | set_linearization_level (::int32_t value) |
| bool | has_max_num_cuts () const |
| void | clear_max_num_cuts () |
| ::int32_t | max_num_cuts () const |
| void | set_max_num_cuts (::int32_t value) |
| bool | has_cp_model_use_sat_presolve () const |
| 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_exploit_integer_lp_solution () const |
| 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 |
| 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 |
| void | clear_instantiate_all_variables () |
| bool | instantiate_all_variables () const |
| void | set_instantiate_all_variables (bool value) |
| bool | has_binary_search_num_conflicts () const |
| void | clear_binary_search_num_conflicts () |
| ::int32_t | binary_search_num_conflicts () const |
| void | set_binary_search_num_conflicts (::int32_t value) |
| bool | has_boolean_encoding_level () const |
| 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 |
| void | clear_cp_model_probing_level () |
| ::int32_t | cp_model_probing_level () const |
| void | set_cp_model_probing_level (::int32_t value) |
| bool | has_use_exact_lp_reason () const |
| void | clear_use_exact_lp_reason () |
| bool | use_exact_lp_reason () const |
| void | set_use_exact_lp_reason (bool value) |
| bool | has_add_lp_constraints_lazily () const |
| 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 |
| void | clear_share_objective_bounds () |
| bool | share_objective_bounds () const |
| void | set_share_objective_bounds (bool value) |
| bool | has_share_level_zero_bounds () const |
| void | clear_share_level_zero_bounds () |
| bool | share_level_zero_bounds () const |
| void | set_share_level_zero_bounds (bool value) |
| bool | has_max_integer_rounding_scaling () const |
| void | clear_max_integer_rounding_scaling () |
| ::int32_t | max_integer_rounding_scaling () const |
| void | set_max_integer_rounding_scaling (::int32_t value) |
| bool | has_min_orthogonality_for_lp_constraints () const |
| 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_exploit_all_lp_solution () const |
| void | clear_exploit_all_lp_solution () |
| bool | exploit_all_lp_solution () const |
| void | set_exploit_all_lp_solution (bool value) |
| bool | has_add_cg_cuts () const |
| void | clear_add_cg_cuts () |
| bool | add_cg_cuts () const |
| void | set_add_cg_cuts (bool value) |
| bool | has_add_mir_cuts () const |
| void | clear_add_mir_cuts () |
| bool | add_mir_cuts () const |
| void | set_add_mir_cuts (bool value) |
| bool | has_use_rins_lns () const |
| void | clear_use_rins_lns () |
| bool | use_rins_lns () const |
| void | set_use_rins_lns (bool value) |
| bool | has_max_consecutive_inactive_count () const |
| 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 |
| void | clear_pseudo_cost_reliability_threshold () |
| ::int64_t | pseudo_cost_reliability_threshold () const |
| void | set_pseudo_cost_reliability_threshold (::int64_t value) |
| bool | has_mip_max_bound () const |
| void | clear_mip_max_bound () |
| double | mip_max_bound () const |
| void | set_mip_max_bound (double value) |
| bool | has_new_constraints_batch_size () const |
| void | clear_new_constraints_batch_size () |
| ::int32_t | new_constraints_batch_size () const |
| void | set_new_constraints_batch_size (::int32_t value) |
| bool | has_mip_max_activity_exponent () const |
| void | clear_mip_max_activity_exponent () |
| ::int32_t | mip_max_activity_exponent () const |
| void | set_mip_max_activity_exponent (::int32_t value) |
| bool | has_mip_var_scaling () const |
| void | clear_mip_var_scaling () |
| double | mip_var_scaling () const |
| void | set_mip_var_scaling (double value) |
| bool | has_mip_wanted_precision () const |
| void | clear_mip_wanted_precision () |
| double | mip_wanted_precision () const |
| void | set_mip_wanted_precision (double value) |
| bool | has_mip_check_precision () const |
| void | clear_mip_check_precision () |
| double | mip_check_precision () const |
| void | set_mip_check_precision (double value) |
| bool | has_max_presolve_iterations () const |
| void | clear_max_presolve_iterations () |
| ::int32_t | max_presolve_iterations () const |
| void | set_max_presolve_iterations (::int32_t value) |
| bool | has_exploit_objective () const |
| void | clear_exploit_objective () |
| bool | exploit_objective () const |
| void | set_exploit_objective (bool value) |
| bool | has_catch_sigint_signal () const |
| void | clear_catch_sigint_signal () |
| bool | catch_sigint_signal () const |
| void | set_catch_sigint_signal (bool value) |
| bool | has_use_implied_bounds () const |
| void | clear_use_implied_bounds () |
| bool | use_implied_bounds () const |
| void | set_use_implied_bounds (bool value) |
| bool | has_add_lin_max_cuts () const |
| void | clear_add_lin_max_cuts () |
| bool | add_lin_max_cuts () const |
| void | set_add_lin_max_cuts (bool value) |
| bool | has_merge_no_overlap_work_limit () const |
| 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 |
| 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 |
| 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 |
| 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_hint_conflict_limit () const |
| void | clear_hint_conflict_limit () |
| ::int32_t | hint_conflict_limit () const |
| void | set_hint_conflict_limit (::int32_t value) |
| bool | has_max_cut_rounds_at_level_zero () const |
| 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_max_active_count_value () const |
| 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_cut_active_count_decay () const |
| 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 |
| void | clear_absolute_gap_limit () |
| double | absolute_gap_limit () const |
| void | set_absolute_gap_limit (double value) |
| bool | has_cut_cleanup_target () const |
| void | clear_cut_cleanup_target () |
| ::int32_t | cut_cleanup_target () const |
| void | set_cut_cleanup_target (::int32_t value) |
| bool | has_fp_rounding () const |
| 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_sat_inprocessing () const |
| void | clear_use_sat_inprocessing () |
| bool | use_sat_inprocessing () const |
| void | set_use_sat_inprocessing (bool value) |
| bool | has_use_feasibility_pump () const |
| void | clear_use_feasibility_pump () |
| bool | use_feasibility_pump () const |
| void | set_use_feasibility_pump (bool value) |
| bool | has_mip_automatically_scale_variables () const |
| 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 |
| void | clear_add_zero_half_cuts () |
| bool | add_zero_half_cuts () const |
| void | set_add_zero_half_cuts (bool value) |
| bool | has_polarity_rephase_increment () const |
| void | clear_polarity_rephase_increment () |
| ::int32_t | polarity_rephase_increment () const |
| void | set_polarity_rephase_increment (::int32_t value) |
| bool | has_add_clique_cuts () const |
| void | clear_add_clique_cuts () |
| bool | add_clique_cuts () const |
| void | set_add_clique_cuts (bool value) |
| bool | has_convert_intervals () const |
| void | clear_convert_intervals () |
| bool | convert_intervals () const |
| void | set_convert_intervals (bool value) |
| bool | has_expand_reservoir_constraints () const |
| void | clear_expand_reservoir_constraints () |
| bool | expand_reservoir_constraints () const |
| void | set_expand_reservoir_constraints (bool value) |
| bool | has_log_to_stdout () const |
| void | clear_log_to_stdout () |
| bool | log_to_stdout () const |
| void | set_log_to_stdout (bool value) |
| bool | has_symmetry_level () const |
| void | clear_symmetry_level () |
| ::int32_t | symmetry_level () const |
| void | set_symmetry_level (::int32_t value) |
| bool | has_clause_cleanup_ratio () const |
| void | clear_clause_cleanup_ratio () |
| double | clause_cleanup_ratio () const |
| void | set_clause_cleanup_ratio (double value) |
| bool | has_max_domain_size_when_encoding_eq_neq_constraints () const |
| 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_solution_pool_size () const |
| void | clear_solution_pool_size () |
| ::int32_t | solution_pool_size () const |
| void | set_solution_pool_size (::int32_t value) |
| bool | has_mip_max_valid_magnitude () const |
| 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 |
| void | clear_presolve_inclusion_work_limit () |
| ::int64_t | presolve_inclusion_work_limit () const |
| void | set_presolve_inclusion_work_limit (::int64_t value) |
| bool | has_cut_level () const |
| void | clear_cut_level () |
| ::int32_t | cut_level () const |
| void | set_cut_level (::int32_t value) |
| bool | has_mip_compute_true_objective_bound () const |
| 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_ignore_names () const |
| void | clear_ignore_names () |
| bool | ignore_names () const |
| void | set_ignore_names (bool value) |
| bool | has_share_binary_clauses () const |
| void | clear_share_binary_clauses () |
| bool | share_binary_clauses () const |
| void | set_share_binary_clauses (bool value) |
| bool | has_use_dual_scheduling_heuristics () const |
| void | clear_use_dual_scheduling_heuristics () |
| bool | use_dual_scheduling_heuristics () const |
| void | set_use_dual_scheduling_heuristics (bool value) |
| bool | has_shaving_deterministic_time_in_probing_search () const |
| 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 |
| void | clear_shaving_search_deterministic_time () |
| double | shaving_search_deterministic_time () const |
| void | set_shaving_search_deterministic_time (double value) |
| bool | has_propagation_loop_detection_factor () const |
| void | clear_propagation_loop_detection_factor () |
| double | propagation_loop_detection_factor () const |
| void | set_propagation_loop_detection_factor (double value) |
| bool | has_table_compression_level () const |
| void | clear_table_compression_level () |
| ::int32_t | table_compression_level () const |
| void | set_table_compression_level (::int32_t value) |
| bool | has_root_lp_iterations () const |
| void | clear_root_lp_iterations () |
| ::int32_t | root_lp_iterations () const |
| void | set_root_lp_iterations (::int32_t value) |
| bool | has_probing_deterministic_time_limit () const |
| void | clear_probing_deterministic_time_limit () |
| double | probing_deterministic_time_limit () const |
| void | set_probing_deterministic_time_limit (double value) |
| bool | has_mip_drop_tolerance () const |
| void | clear_mip_drop_tolerance () |
| double | mip_drop_tolerance () const |
| void | set_mip_drop_tolerance (double value) |
| bool | has_max_size_to_create_precedence_literals_in_disjunctive () const |
| 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_shared_tree_num_workers () const |
| void | clear_shared_tree_num_workers () |
| ::int32_t | shared_tree_num_workers () const |
| void | set_shared_tree_num_workers (::int32_t value) |
| bool | has_new_linear_propagation () const |
| void | clear_new_linear_propagation () |
| bool | new_linear_propagation () const |
| void | set_new_linear_propagation (bool value) |
| bool | has_infer_all_diffs () const |
| void | clear_infer_all_diffs () |
| bool | infer_all_diffs () const |
| void | set_infer_all_diffs (bool value) |
| bool | has_find_big_linear_overlap () const |
| 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 |
| void | clear_feasibility_jump_enable_restarts () |
| bool | feasibility_jump_enable_restarts () const |
| void | set_feasibility_jump_enable_restarts (bool value) |
| bool | has_shared_tree_max_nodes_per_worker () const |
| 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_feasibility_jump_decay () const |
| void | clear_feasibility_jump_decay () |
| double | feasibility_jump_decay () const |
| void | set_feasibility_jump_decay (double value) |
| bool | has_feasibility_jump_var_randomization_probability () const |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| void | clear_lp_primal_tolerance () |
| double | lp_primal_tolerance () const |
| void | set_lp_primal_tolerance (double value) |
| bool | has_feasibility_jump_max_expanded_constraint_size () const |
| 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_use_lb_relax_lns () const |
| void | clear_use_lb_relax_lns () |
| bool | use_lb_relax_lns () const |
| void | set_use_lb_relax_lns (bool value) |
| bool | has_use_feasibility_jump () const |
| void | clear_use_feasibility_jump () |
| bool | use_feasibility_jump () const |
| void | set_use_feasibility_jump (bool value) |
| bool | has_use_extended_probing () const |
| void | clear_use_extended_probing () |
| bool | use_extended_probing () const |
| void | set_use_extended_probing (bool value) |
| bool | has_add_rlt_cuts () const |
| void | clear_add_rlt_cuts () |
| bool | add_rlt_cuts () const |
| void | set_add_rlt_cuts (bool value) |
| bool | has_lp_dual_tolerance () const |
| void | clear_lp_dual_tolerance () |
| double | lp_dual_tolerance () const |
| void | set_lp_dual_tolerance (double value) |
| bool | has_at_most_one_max_expansion_size () const |
| 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_probing_num_combinations_limit () const |
| void | clear_probing_num_combinations_limit () |
| ::int32_t | probing_num_combinations_limit () const |
| void | set_probing_num_combinations_limit (::int32_t value) |
| bool | has_inprocessing_dtime_ratio () const |
| void | clear_inprocessing_dtime_ratio () |
| double | inprocessing_dtime_ratio () const |
| void | set_inprocessing_dtime_ratio (double value) |
| bool | has_inprocessing_probing_dtime () const |
| void | clear_inprocessing_probing_dtime () |
| double | inprocessing_probing_dtime () const |
| void | set_inprocessing_probing_dtime (double value) |
| bool | has_inprocessing_minimization_dtime () const |
| 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 |
| 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 |
| 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 |
| 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_variables_shaving_level () const |
| void | clear_variables_shaving_level () |
| ::int32_t | variables_shaving_level () const |
| void | set_variables_shaving_level (::int32_t value) |
| bool | has_use_lns () const |
| void | clear_use_lns () |
| bool | use_lns () const |
| void | set_use_lns (bool value) |
| bool | has_share_glue_clauses () const |
| void | clear_share_glue_clauses () |
| bool | share_glue_clauses () const |
| void | set_share_glue_clauses (bool value) |
| bool | has_shared_tree_worker_enable_trail_sharing () const |
| 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 |
| 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_shaving_search_threshold () const |
| 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 |
| void | clear_feasibility_jump_batch_dtime () |
| double | feasibility_jump_batch_dtime () const |
| void | set_feasibility_jump_batch_dtime (double value) |
| bool | has_lb_relax_num_workers_threshold () const |
| 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_balance_tolerance () const |
| 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 |
| 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 |
| void | clear_lns_initial_difficulty () |
| double | lns_initial_difficulty () const |
| void | set_lns_initial_difficulty (double value) |
| bool | has_lns_initial_deterministic_limit () const |
| void | clear_lns_initial_deterministic_limit () |
| double | lns_initial_deterministic_limit () const |
| void | set_lns_initial_deterministic_limit (double value) |
| bool | has_minimize_shared_clauses () const |
| 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 |
| 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_remove_fixed_variables_early () const |
| 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 |
| 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_subset_size_for_exact_binary_relation_bound () const |
| 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_routing_cut_dp_effort () const |
| void | clear_routing_cut_dp_effort () |
| double | routing_cut_dp_effort () const |
| void | set_routing_cut_dp_effort (double value) |
| bool | has_routing_cut_max_infeasible_path_length () const |
| 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 |
| 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 |
| 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 |
| 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 |
| void | clear_share_glue_clauses_dtime () |
| double | share_glue_clauses_dtime () const |
| void | set_share_glue_clauses_dtime (double value) |
| bool | has_alternative_pool_size () const |
| void | clear_alternative_pool_size () |
| ::int32_t | alternative_pool_size () const |
| void | set_alternative_pool_size (::int32_t value) |
| bool | has_transitive_precedences_work_limit () const |
| void | clear_transitive_precedences_work_limit () |
| ::int32_t | transitive_precedences_work_limit () const |
| void | set_transitive_precedences_work_limit (::int32_t value) |
| bool | has_shared_tree_split_min_dtime () const |
| void | clear_shared_tree_split_min_dtime () |
| double | shared_tree_split_min_dtime () const |
| void | set_shared_tree_split_min_dtime (double value) |
| bool | has_solution_pool_diversity_limit () const |
| void | clear_solution_pool_diversity_limit () |
| ::int32_t | solution_pool_diversity_limit () const |
| void | set_solution_pool_diversity_limit (::int32_t value) |
| bool | has_max_backjump_levels () const |
| void | clear_max_backjump_levels () |
| ::int32_t | max_backjump_levels () const |
| void | set_max_backjump_levels (::int32_t value) |
| bool | has_chronological_backtrack_min_conflicts () const |
| void | clear_chronological_backtrack_min_conflicts () |
| ::int32_t | chronological_backtrack_min_conflicts () const |
| void | set_chronological_backtrack_min_conflicts (::int32_t value) |
| bool | has_max_domain_size_for_linear2_expansion () const |
| void | clear_max_domain_size_for_linear2_expansion () |
| ::int32_t | max_domain_size_for_linear2_expansion () const |
| void | set_max_domain_size_for_linear2_expansion (::int32_t value) |
| bool | has_find_clauses_that_are_exactly_one () const |
| void | clear_find_clauses_that_are_exactly_one () |
| bool | find_clauses_that_are_exactly_one () const |
| void | set_find_clauses_that_are_exactly_one (bool value) |
| bool | has_create_1uip_boolean_during_icr () const |
| void | clear_create_1uip_boolean_during_icr () |
| bool | create_1uip_boolean_during_icr () const |
| void | set_create_1uip_boolean_during_icr (bool value) |
| bool | has_inprocessing_use_congruence_closure () const |
| void | clear_inprocessing_use_congruence_closure () |
| bool | inprocessing_use_congruence_closure () const |
| void | set_inprocessing_use_congruence_closure (bool value) |
| bool | has_extra_subsumption_during_conflict_analysis () const |
| void | clear_extra_subsumption_during_conflict_analysis () |
| bool | extra_subsumption_during_conflict_analysis () const |
| void | set_extra_subsumption_during_conflict_analysis (bool value) |
| bool | has_eagerly_subsume_last_n_conflicts () const |
| void | clear_eagerly_subsume_last_n_conflicts () |
| ::int32_t | eagerly_subsume_last_n_conflicts () const |
| void | set_eagerly_subsume_last_n_conflicts (::int32_t value) |
| bool | has_max_drat_time_in_seconds () const |
| void | clear_max_drat_time_in_seconds () |
| double | max_drat_time_in_seconds () const |
| void | set_max_drat_time_in_seconds (double value) |
| bool | has_decision_subsumption_during_conflict_analysis () const |
| void | clear_decision_subsumption_during_conflict_analysis () |
| bool | decision_subsumption_during_conflict_analysis () const |
| void | set_decision_subsumption_during_conflict_analysis (bool value) |
| bool | has_subsume_during_vivification () const |
| void | clear_subsume_during_vivification () |
| bool | subsume_during_vivification () const |
| void | set_subsume_during_vivification (bool 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) |