C++ Reference
C++ Reference: CP-SAT
- h -
- has_absolute_gap_limit() : PROTOBUF_FINAL
- has_add_cg_cuts() : PROTOBUF_FINAL
- has_add_clique_cuts() : PROTOBUF_FINAL
- has_add_knapsack_cuts() : PROTOBUF_FINAL
- has_add_lin_max_cuts() : PROTOBUF_FINAL
- has_add_lp_constraints_lazily() : PROTOBUF_FINAL
- has_add_mir_cuts() : PROTOBUF_FINAL
- has_add_zero_half_cuts() : PROTOBUF_FINAL
- has_all_diff() : PROTOBUF_FINAL
- has_also_bump_variables_in_conflict_reasons() : PROTOBUF_FINAL
- has_assignment() : PROTOBUF_FINAL
- has_at_most_one() : PROTOBUF_FINAL
- has_auto_detect_greater_than_at_least_one_of() : PROTOBUF_FINAL
- has_automaton() : PROTOBUF_FINAL
- has_binary_minimization_algorithm() : PROTOBUF_FINAL
- has_binary_search_num_conflicts() : PROTOBUF_FINAL
- has_blocking_restart_multiplier() : PROTOBUF_FINAL
- has_blocking_restart_window_size() : PROTOBUF_FINAL
- has_bool_and() : PROTOBUF_FINAL
- has_bool_or() : PROTOBUF_FINAL
- has_bool_xor() : PROTOBUF_FINAL
- has_boolean_encoding_level() : PROTOBUF_FINAL
- has_catch_sigint_signal() : PROTOBUF_FINAL
- has_circuit() : PROTOBUF_FINAL
- has_clause_activity_decay() : PROTOBUF_FINAL
- has_clause_cleanup_lbd_bound() : PROTOBUF_FINAL
- has_clause_cleanup_ordering() : PROTOBUF_FINAL
- has_clause_cleanup_period() : PROTOBUF_FINAL
- has_clause_cleanup_protection() : PROTOBUF_FINAL
- has_clause_cleanup_target() : PROTOBUF_FINAL
- has_count_assumption_levels_in_lbd() : PROTOBUF_FINAL
- has_cover_optimization() : PROTOBUF_FINAL
- has_cp_model_max_num_presolve_operations() : PROTOBUF_FINAL
- has_cp_model_postsolve_with_full_solver() : PROTOBUF_FINAL
- has_cp_model_presolve() : PROTOBUF_FINAL
- has_cp_model_probing_level() : PROTOBUF_FINAL
- has_cp_model_use_sat_presolve() : PROTOBUF_FINAL
- has_cumulative() : PROTOBUF_FINAL
- has_cut_active_count_decay() : PROTOBUF_FINAL
- has_cut_cleanup_target() : PROTOBUF_FINAL
- has_cut_max_active_count_value() : PROTOBUF_FINAL
- has_default_restart_algorithms() : PROTOBUF_FINAL
- has_diversify_lns_params() : PROTOBUF_FINAL
- has_element() : PROTOBUF_FINAL
- has_enumerate_all_solutions() : PROTOBUF_FINAL
- has_expand_alldiff_constraints() : PROTOBUF_FINAL
- has_expand_automaton_constraints() : PROTOBUF_FINAL
- has_expand_element_constraints() : PROTOBUF_FINAL
- has_expand_table_constraints() : PROTOBUF_FINAL
- has_exploit_all_lp_solution() : PROTOBUF_FINAL
- has_exploit_best_solution() : PROTOBUF_FINAL
- has_exploit_integer_lp_solution() : PROTOBUF_FINAL
- has_exploit_objective() : PROTOBUF_FINAL
- has_exploit_relaxation_solution() : PROTOBUF_FINAL
- has_fill_tightened_domains_in_response() : PROTOBUF_FINAL
- has_find_multiple_cores() : PROTOBUF_FINAL
- has_fp_rounding() : PROTOBUF_FINAL
- has_glucose_decay_increment() : PROTOBUF_FINAL
- has_glucose_decay_increment_period() : PROTOBUF_FINAL
- has_glucose_max_decay() : PROTOBUF_FINAL
- has_hint_conflict_limit() : PROTOBUF_FINAL
- has_initial_polarity() : PROTOBUF_FINAL
- has_initial_variables_activity() : PROTOBUF_FINAL
- has_instantiate_all_variables() : PROTOBUF_FINAL
- has_int_div() : PROTOBUF_FINAL
- has_int_max() : PROTOBUF_FINAL
- has_int_min() : PROTOBUF_FINAL
- has_int_mod() : PROTOBUF_FINAL
- has_int_prod() : PROTOBUF_FINAL
- has_interleave_batch_size() : PROTOBUF_FINAL
- has_interleave_search() : PROTOBUF_FINAL
- has_interval() : PROTOBUF_FINAL
- has_inverse() : PROTOBUF_FINAL
- has_keep_all_feasible_solutions_in_presolve() : PROTOBUF_FINAL
- has_lin_max() : PROTOBUF_FINAL
- has_lin_min() : PROTOBUF_FINAL
- has_linear() : PROTOBUF_FINAL
- has_linearization_level() : PROTOBUF_FINAL
- has_lns_focus_on_decision_variables() : PROTOBUF_FINAL
- has_log_search_progress() : PROTOBUF_FINAL
- has_lower_bound() : PROTOBUF_FINAL
- has_max_all_diff_cut_size() : PROTOBUF_FINAL
- has_max_clause_activity_value() : PROTOBUF_FINAL
- has_max_consecutive_inactive_count() : PROTOBUF_FINAL
- has_max_cut_rounds_at_level_zero() : PROTOBUF_FINAL
- has_max_deterministic_time() : PROTOBUF_FINAL
- has_max_integer_rounding_scaling() : PROTOBUF_FINAL
- has_max_memory_in_mb() : PROTOBUF_FINAL
- has_max_num_cuts() : PROTOBUF_FINAL
- has_max_number_of_conflicts() : PROTOBUF_FINAL
- has_max_presolve_iterations() : PROTOBUF_FINAL
- has_max_sat_assumption_order() : PROTOBUF_FINAL
- has_max_sat_reverse_assumption_order() : PROTOBUF_FINAL
- has_max_sat_stratification() : PROTOBUF_FINAL
- has_max_time_in_seconds() : PROTOBUF_FINAL
- has_max_variable_activity_value() : PROTOBUF_FINAL
- has_merge_at_most_one_work_limit() : PROTOBUF_FINAL
- has_merge_no_overlap_work_limit() : PROTOBUF_FINAL
- has_min_orthogonality_for_lp_constraints() : PROTOBUF_FINAL
- has_minimization_algorithm() : PROTOBUF_FINAL
- has_minimize_core() : PROTOBUF_FINAL
- has_minimize_reduction_during_pb_resolution() : PROTOBUF_FINAL
- has_minimize_with_propagation_num_decisions() : PROTOBUF_FINAL
- has_minimize_with_propagation_restart_period() : PROTOBUF_FINAL
- has_mip_automatically_scale_variables() : PROTOBUF_FINAL
- has_mip_check_precision() : PROTOBUF_FINAL
- has_mip_max_activity_exponent() : PROTOBUF_FINAL
- has_mip_max_bound() : PROTOBUF_FINAL
- has_mip_var_scaling() : PROTOBUF_FINAL
- has_mip_wanted_precision() : PROTOBUF_FINAL
- has_name() : PROTOBUF_FINAL
- has_new_constraints_batch_size() : PROTOBUF_FINAL
- has_no_overlap() : PROTOBUF_FINAL
- has_no_overlap_2d() : PROTOBUF_FINAL
- has_num_conflicts_before_strategy_changes() : PROTOBUF_FINAL
- has_num_search_workers() : PROTOBUF_FINAL
- has_num_variables() : PROTOBUF_FINAL
- has_objective() : PROTOBUF_FINAL
- has_offset() : PROTOBUF_FINAL
- has_only_add_cuts_at_level_zero() : PROTOBUF_FINAL
- has_optimize_with_core() : PROTOBUF_FINAL
- has_optimize_with_max_hs() : PROTOBUF_FINAL
- has_original_num_variables() : PROTOBUF_FINAL
- has_pb_cleanup_increment() : PROTOBUF_FINAL
- has_pb_cleanup_ratio() : PROTOBUF_FINAL
- has_polarity_rephase_increment() : PROTOBUF_FINAL
- has_polish_lp_solution() : PROTOBUF_FINAL
- has_preferred_variable_order() : PROTOBUF_FINAL
- has_presolve_blocked_clause() : PROTOBUF_FINAL
- has_presolve_bva_threshold() : PROTOBUF_FINAL
- has_presolve_bve_clause_weight() : PROTOBUF_FINAL
- has_presolve_bve_threshold() : PROTOBUF_FINAL
- has_presolve_extract_integer_enforcement() : PROTOBUF_FINAL
- has_presolve_probing_deterministic_time_limit() : PROTOBUF_FINAL
- has_presolve_substitution_level() : PROTOBUF_FINAL
- has_presolve_use_bva() : PROTOBUF_FINAL
- has_probing_period_at_root() : PROTOBUF_FINAL
- has_pseudo_cost_reliability_threshold() : PROTOBUF_FINAL
- has_random_branches_ratio() : PROTOBUF_FINAL
- has_random_polarity_ratio() : PROTOBUF_FINAL
- has_random_seed() : PROTOBUF_FINAL
- has_randomize_search() : PROTOBUF_FINAL
- has_reduce_memory_usage_in_interleave_mode() : PROTOBUF_FINAL
- has_relative_gap_limit() : PROTOBUF_FINAL
- has_repair_hint() : PROTOBUF_FINAL
- has_reservoir() : PROTOBUF_FINAL
- has_restart_dl_average_ratio() : PROTOBUF_FINAL
- has_restart_lbd_average_ratio() : PROTOBUF_FINAL
- has_restart_period() : PROTOBUF_FINAL
- has_restart_running_window_size() : PROTOBUF_FINAL
- has_routes() : PROTOBUF_FINAL
- has_scaling_factor() : PROTOBUF_FINAL
- has_search_branching() : PROTOBUF_FINAL
- has_search_randomization_tolerance() : PROTOBUF_FINAL
- has_share_level_zero_bounds() : PROTOBUF_FINAL
- has_share_objective_bounds() : PROTOBUF_FINAL
- has_solution_hint() : PROTOBUF_FINAL
- has_stop_after_first_solution() : PROTOBUF_FINAL
- has_stop_after_presolve() : PROTOBUF_FINAL
- has_strategy_change_increase_ratio() : PROTOBUF_FINAL
- has_subsumption_during_conflict_analysis() : PROTOBUF_FINAL
- has_table() : PROTOBUF_FINAL
- has_target() : PROTOBUF_FINAL
- has_treat_binary_clauses_separately() : PROTOBUF_FINAL
- has_upper_bound() : PROTOBUF_FINAL
- has_use_blocking_restart() : PROTOBUF_FINAL
- has_use_branching_in_lp() : PROTOBUF_FINAL
- has_use_combined_no_overlap() : PROTOBUF_FINAL
- has_use_disjunctive_constraint_in_cumulative_constraint() : PROTOBUF_FINAL
- has_use_erwa_heuristic() : PROTOBUF_FINAL
- has_use_exact_lp_reason() : PROTOBUF_FINAL
- has_use_feasibility_pump() : PROTOBUF_FINAL
- has_use_implied_bounds() : PROTOBUF_FINAL
- has_use_lns_only() : PROTOBUF_FINAL
- has_use_optimization_hints() : PROTOBUF_FINAL
- has_use_optional_variables() : PROTOBUF_FINAL
- has_use_overload_checker_in_cumulative_constraint() : PROTOBUF_FINAL
- has_use_pb_resolution() : PROTOBUF_FINAL
- has_use_phase_saving() : PROTOBUF_FINAL
- has_use_precedences_in_disjunctive_constraint() : PROTOBUF_FINAL
- has_use_probing_search() : PROTOBUF_FINAL
- has_use_relaxation_lns() : PROTOBUF_FINAL
- has_use_rins_lns() : PROTOBUF_FINAL
- has_use_sat_inprocessing() : PROTOBUF_FINAL
- has_use_timetable_edge_finding_in_cumulative_constraint() : PROTOBUF_FINAL
- has_variable_activity_decay() : PROTOBUF_FINAL
- heads() : PROTOBUF_FINAL
- heads_size() : PROTOBUF_FINAL
- hint_conflict_limit() : PROTOBUF_FINAL