C++ Reference
C++ Reference: CP-SAT
- s -
- SatParameters() : PROTOBUF_FINAL
- ScaleObjectiveBy() : CpModelBuilder
- scaling_factor() : PROTOBUF_FINAL
- ScalProd() : LinearExpr
- search_branching() : PROTOBUF_FINAL
- search_randomization_tolerance() : PROTOBUF_FINAL
- search_strategy() : PROTOBUF_FINAL
- search_strategy_size() : PROTOBUF_FINAL
- SearchBranching_descriptor() : PROTOBUF_FINAL
- SearchBranching_IsValid() : PROTOBUF_FINAL
- SearchBranching_Name() : PROTOBUF_FINAL
- SearchBranching_Parse() : PROTOBUF_FINAL
- set_absolute_gap_limit() : PROTOBUF_FINAL
- set_actives() : PROTOBUF_FINAL
- set_add_cg_cuts() : PROTOBUF_FINAL
- set_add_clique_cuts() : PROTOBUF_FINAL
- set_add_knapsack_cuts() : PROTOBUF_FINAL
- set_add_lin_max_cuts() : PROTOBUF_FINAL
- set_add_lp_constraints_lazily() : PROTOBUF_FINAL
- set_add_mir_cuts() : PROTOBUF_FINAL
- set_add_zero_half_cuts() : PROTOBUF_FINAL
- set_all_solutions_were_found() : PROTOBUF_FINAL
- set_allocated_all_diff() : PROTOBUF_FINAL
- set_allocated_assignment() : PROTOBUF_FINAL
- set_allocated_at_most_one() : PROTOBUF_FINAL
- set_allocated_automaton() : PROTOBUF_FINAL
- set_allocated_bool_and() : PROTOBUF_FINAL
- set_allocated_bool_or() : PROTOBUF_FINAL
- set_allocated_bool_xor() : PROTOBUF_FINAL
- set_allocated_circuit() : PROTOBUF_FINAL
- set_allocated_cumulative() : PROTOBUF_FINAL
- set_allocated_default_restart_algorithms() : PROTOBUF_FINAL
- set_allocated_element() : PROTOBUF_FINAL
- set_allocated_int_div() : PROTOBUF_FINAL
- set_allocated_int_max() : PROTOBUF_FINAL
- set_allocated_int_min() : PROTOBUF_FINAL
- set_allocated_int_mod() : PROTOBUF_FINAL
- set_allocated_int_prod() : PROTOBUF_FINAL
- set_allocated_interval() : PROTOBUF_FINAL
- set_allocated_inverse() : PROTOBUF_FINAL
- set_allocated_lin_max() : PROTOBUF_FINAL
- set_allocated_lin_min() : PROTOBUF_FINAL
- set_allocated_linear() : PROTOBUF_FINAL
- set_allocated_name() : PROTOBUF_FINAL
- set_allocated_no_overlap() : PROTOBUF_FINAL
- set_allocated_no_overlap_2d() : PROTOBUF_FINAL
- set_allocated_objective() : PROTOBUF_FINAL
- set_allocated_reservoir() : PROTOBUF_FINAL
- set_allocated_routes() : PROTOBUF_FINAL
- set_allocated_solution_hint() : PROTOBUF_FINAL
- set_allocated_solution_info() : PROTOBUF_FINAL
- set_allocated_table() : PROTOBUF_FINAL
- set_allocated_target() : PROTOBUF_FINAL
- set_also_bump_variables_in_conflict_reasons() : PROTOBUF_FINAL
- set_assumptions() : PROTOBUF_FINAL
- set_auto_detect_greater_than_at_least_one_of() : PROTOBUF_FINAL
- set_best_objective_bound() : PROTOBUF_FINAL
- set_binary_minimization_algorithm() : PROTOBUF_FINAL
- set_binary_search_num_conflicts() : PROTOBUF_FINAL
- set_blocking_restart_multiplier() : PROTOBUF_FINAL
- set_blocking_restart_window_size() : PROTOBUF_FINAL
- set_boolean_encoding_level() : PROTOBUF_FINAL
- set_boxes_with_null_area_can_overlap() : PROTOBUF_FINAL
- set_capacity() : PROTOBUF_FINAL
- set_catch_sigint_signal() : PROTOBUF_FINAL
- set_clause_activity_decay() : PROTOBUF_FINAL
- set_clause_cleanup_lbd_bound() : PROTOBUF_FINAL
- set_clause_cleanup_ordering() : PROTOBUF_FINAL
- set_clause_cleanup_period() : PROTOBUF_FINAL
- set_clause_cleanup_protection() : PROTOBUF_FINAL
- set_clause_cleanup_target() : PROTOBUF_FINAL
- set_coefficients() : PROTOBUF_FINAL
- set_coeffs() : PROTOBUF_FINAL
- set_count_assumption_levels_in_lbd() : PROTOBUF_FINAL
- set_cover_optimization() : PROTOBUF_FINAL
- set_cp_model_max_num_presolve_operations() : PROTOBUF_FINAL
- set_cp_model_postsolve_with_full_solver() : PROTOBUF_FINAL
- set_cp_model_presolve() : PROTOBUF_FINAL
- set_cp_model_probing_level() : PROTOBUF_FINAL
- set_cp_model_use_sat_presolve() : PROTOBUF_FINAL
- set_cut_active_count_decay() : PROTOBUF_FINAL
- set_cut_cleanup_target() : PROTOBUF_FINAL
- set_cut_max_active_count_value() : PROTOBUF_FINAL
- set_default_restart_algorithms() : PROTOBUF_FINAL
- set_demands() : PROTOBUF_FINAL
- set_deterministic_time() : PROTOBUF_FINAL
- set_diversify_lns_params() : PROTOBUF_FINAL
- set_domain() : PROTOBUF_FINAL
- set_domain_reduction_strategy() : PROTOBUF_FINAL
- set_end() : PROTOBUF_FINAL
- set_enforcement_literal() : PROTOBUF_FINAL
- set_enumerate_all_solutions() : PROTOBUF_FINAL
- set_expand_alldiff_constraints() : PROTOBUF_FINAL
- set_expand_automaton_constraints() : PROTOBUF_FINAL
- set_expand_element_constraints() : PROTOBUF_FINAL
- set_expand_table_constraints() : PROTOBUF_FINAL
- set_exploit_all_lp_solution() : PROTOBUF_FINAL
- set_exploit_best_solution() : PROTOBUF_FINAL
- set_exploit_integer_lp_solution() : PROTOBUF_FINAL
- set_exploit_objective() : PROTOBUF_FINAL
- set_exploit_relaxation_solution() : PROTOBUF_FINAL
- set_f_direct() : PROTOBUF_FINAL
- set_f_inverse() : PROTOBUF_FINAL
- set_fill_tightened_domains_in_response() : PROTOBUF_FINAL
- set_final_states() : PROTOBUF_FINAL
- set_find_multiple_cores() : PROTOBUF_FINAL
- set_fp_rounding() : PROTOBUF_FINAL
- set_glucose_decay_increment() : PROTOBUF_FINAL
- set_glucose_decay_increment_period() : PROTOBUF_FINAL
- set_glucose_max_decay() : PROTOBUF_FINAL
- set_heads() : PROTOBUF_FINAL
- set_hint_conflict_limit() : PROTOBUF_FINAL
- set_index() : PROTOBUF_FINAL
- set_initial_polarity() : PROTOBUF_FINAL
- set_initial_variables_activity() : PROTOBUF_FINAL
- set_instantiate_all_variables() : PROTOBUF_FINAL
- set_interleave_batch_size() : PROTOBUF_FINAL
- set_interleave_search() : PROTOBUF_FINAL
- set_intervals() : PROTOBUF_FINAL
- set_keep_all_feasible_solutions_in_presolve() : PROTOBUF_FINAL
- set_linearization_level() : PROTOBUF_FINAL
- set_literals() : PROTOBUF_FINAL
- set_lns_focus_on_decision_variables() : PROTOBUF_FINAL
- set_log_search_progress() : PROTOBUF_FINAL
- set_lower_bound() : PROTOBUF_FINAL
- set_max_all_diff_cut_size() : PROTOBUF_FINAL
- set_max_clause_activity_value() : PROTOBUF_FINAL
- set_max_consecutive_inactive_count() : PROTOBUF_FINAL
- set_max_cut_rounds_at_level_zero() : PROTOBUF_FINAL
- set_max_deterministic_time() : PROTOBUF_FINAL
- set_max_integer_rounding_scaling() : PROTOBUF_FINAL
- set_max_level() : PROTOBUF_FINAL
- set_max_memory_in_mb() : PROTOBUF_FINAL
- set_max_num_cuts() : PROTOBUF_FINAL
- set_max_number_of_conflicts() : PROTOBUF_FINAL
- set_max_presolve_iterations() : PROTOBUF_FINAL
- set_max_sat_assumption_order() : PROTOBUF_FINAL
- set_max_sat_reverse_assumption_order() : PROTOBUF_FINAL
- set_max_sat_stratification() : PROTOBUF_FINAL
- set_max_time_in_seconds() : PROTOBUF_FINAL
- set_max_variable_activity_value() : PROTOBUF_FINAL
- set_merge_at_most_one_work_limit() : PROTOBUF_FINAL
- set_merge_no_overlap_work_limit() : PROTOBUF_FINAL
- set_min_level() : PROTOBUF_FINAL
- set_min_orthogonality_for_lp_constraints() : PROTOBUF_FINAL
- set_minimization_algorithm() : PROTOBUF_FINAL
- set_minimize_core() : PROTOBUF_FINAL
- set_minimize_reduction_during_pb_resolution() : PROTOBUF_FINAL
- set_minimize_with_propagation_num_decisions() : PROTOBUF_FINAL
- set_minimize_with_propagation_restart_period() : PROTOBUF_FINAL
- set_mip_automatically_scale_variables() : PROTOBUF_FINAL
- set_mip_check_precision() : PROTOBUF_FINAL
- set_mip_max_activity_exponent() : PROTOBUF_FINAL
- set_mip_max_bound() : PROTOBUF_FINAL
- set_mip_var_scaling() : PROTOBUF_FINAL
- set_mip_wanted_precision() : PROTOBUF_FINAL
- set_name() : PROTOBUF_FINAL
- set_negated() : PROTOBUF_FINAL
- set_new_constraints_batch_size() : PROTOBUF_FINAL
- set_num_binary_propagations() : PROTOBUF_FINAL
- set_num_booleans() : PROTOBUF_FINAL
- set_num_branches() : PROTOBUF_FINAL
- set_num_conflicts() : PROTOBUF_FINAL
- set_num_conflicts_before_strategy_changes() : PROTOBUF_FINAL
- set_num_integer_propagations() : PROTOBUF_FINAL
- set_num_lp_iterations() : PROTOBUF_FINAL
- set_num_restarts() : PROTOBUF_FINAL
- set_num_search_workers() : PROTOBUF_FINAL
- set_num_variables() : PROTOBUF_FINAL
- set_objective_value() : PROTOBUF_FINAL
- set_offset() : PROTOBUF_FINAL
- set_only_add_cuts_at_level_zero() : PROTOBUF_FINAL
- set_optimize_with_core() : PROTOBUF_FINAL
- set_optimize_with_max_hs() : PROTOBUF_FINAL
- set_original_num_variables() : PROTOBUF_FINAL
- set_pb_cleanup_increment() : PROTOBUF_FINAL
- set_pb_cleanup_ratio() : PROTOBUF_FINAL
- set_polarity_rephase_increment() : PROTOBUF_FINAL
- set_polish_lp_solution() : PROTOBUF_FINAL
- set_positive_coeff() : PROTOBUF_FINAL
- set_preferred_variable_order() : PROTOBUF_FINAL
- set_presolve_blocked_clause() : PROTOBUF_FINAL
- set_presolve_bva_threshold() : PROTOBUF_FINAL
- set_presolve_bve_clause_weight() : PROTOBUF_FINAL
- set_presolve_bve_threshold() : PROTOBUF_FINAL
- set_presolve_extract_integer_enforcement() : PROTOBUF_FINAL
- set_presolve_probing_deterministic_time_limit() : PROTOBUF_FINAL
- set_presolve_substitution_level() : PROTOBUF_FINAL
- set_presolve_use_bva() : PROTOBUF_FINAL
- set_primal_integral() : PROTOBUF_FINAL
- set_probing_period_at_root() : PROTOBUF_FINAL
- set_pseudo_cost_reliability_threshold() : PROTOBUF_FINAL
- set_random_branches_ratio() : PROTOBUF_FINAL
- set_random_polarity_ratio() : PROTOBUF_FINAL
- set_random_seed() : PROTOBUF_FINAL
- set_randomize_search() : PROTOBUF_FINAL
- set_reduce_memory_usage_in_interleave_mode() : PROTOBUF_FINAL
- set_relative_gap_limit() : PROTOBUF_FINAL
- set_repair_hint() : PROTOBUF_FINAL
- set_restart_algorithms() : PROTOBUF_FINAL
- set_restart_dl_average_ratio() : PROTOBUF_FINAL
- set_restart_lbd_average_ratio() : PROTOBUF_FINAL
- set_restart_period() : PROTOBUF_FINAL
- set_restart_running_window_size() : PROTOBUF_FINAL
- set_scaling_factor() : PROTOBUF_FINAL
- set_search_branching() : PROTOBUF_FINAL
- set_search_randomization_tolerance() : PROTOBUF_FINAL
- set_share_level_zero_bounds() : PROTOBUF_FINAL
- set_share_objective_bounds() : PROTOBUF_FINAL
- set_size() : PROTOBUF_FINAL
- set_solution() : PROTOBUF_FINAL
- set_solution_info() : PROTOBUF_FINAL
- set_solution_lower_bounds() : PROTOBUF_FINAL
- set_solution_upper_bounds() : PROTOBUF_FINAL
- set_start() : PROTOBUF_FINAL
- set_starting_state() : PROTOBUF_FINAL
- set_status() : PROTOBUF_FINAL
- set_stop_after_first_solution() : PROTOBUF_FINAL
- set_stop_after_presolve() : PROTOBUF_FINAL
- set_strategy_change_increase_ratio() : PROTOBUF_FINAL
- set_subsumption_during_conflict_analysis() : PROTOBUF_FINAL
- set_sufficient_assumptions_for_infeasibility() : PROTOBUF_FINAL
- set_tails() : PROTOBUF_FINAL
- set_target() : PROTOBUF_FINAL
- set_times() : PROTOBUF_FINAL
- set_transition_head() : PROTOBUF_FINAL
- set_transition_label() : PROTOBUF_FINAL
- set_transition_tail() : PROTOBUF_FINAL
- set_treat_binary_clauses_separately() : PROTOBUF_FINAL
- set_upper_bound() : PROTOBUF_FINAL
- set_use_blocking_restart() : PROTOBUF_FINAL
- set_use_branching_in_lp() : PROTOBUF_FINAL
- set_use_combined_no_overlap() : PROTOBUF_FINAL
- set_use_disjunctive_constraint_in_cumulative_constraint() : PROTOBUF_FINAL
- set_use_erwa_heuristic() : PROTOBUF_FINAL
- set_use_exact_lp_reason() : PROTOBUF_FINAL
- set_use_feasibility_pump() : PROTOBUF_FINAL
- set_use_implied_bounds() : PROTOBUF_FINAL
- set_use_lns_only() : PROTOBUF_FINAL
- set_use_optimization_hints() : PROTOBUF_FINAL
- set_use_optional_variables() : PROTOBUF_FINAL
- set_use_overload_checker_in_cumulative_constraint() : PROTOBUF_FINAL
- set_use_pb_resolution() : PROTOBUF_FINAL
- set_use_phase_saving() : PROTOBUF_FINAL
- set_use_precedences_in_disjunctive_constraint() : PROTOBUF_FINAL
- set_use_probing_search() : PROTOBUF_FINAL
- set_use_relaxation_lns() : PROTOBUF_FINAL
- set_use_rins_lns() : PROTOBUF_FINAL
- set_use_sat_inprocessing() : PROTOBUF_FINAL
- set_use_timetable_edge_finding_in_cumulative_constraint() : PROTOBUF_FINAL
- set_user_time() : PROTOBUF_FINAL
- set_values() : PROTOBUF_FINAL
- set_var() : PROTOBUF_FINAL
- set_var_names() : PROTOBUF_FINAL
- set_variable_activity_decay() : PROTOBUF_FINAL
- set_variable_selection_strategy() : PROTOBUF_FINAL
- set_variables() : PROTOBUF_FINAL
- set_vars() : PROTOBUF_FINAL
- set_wall_time() : PROTOBUF_FINAL
- set_x_intervals() : PROTOBUF_FINAL
- set_y_intervals() : PROTOBUF_FINAL
- SetInstructionLimit() : TimeLimit
- share_level_zero_bounds() : PROTOBUF_FINAL
- share_objective_bounds() : PROTOBUF_FINAL
- SharedTimeLimit() : SharedTimeLimit
- SimplifyUsingImpliedDomain() : Domain
- Size() : Domain
- size() : PROTOBUF_FINAL
- SizeVar() : IntervalVar
- solution() : PROTOBUF_FINAL
- solution_hint() : PROTOBUF_FINAL
- solution_info() : PROTOBUF_FINAL
- solution_lower_bounds() : PROTOBUF_FINAL
- solution_lower_bounds_size() : PROTOBUF_FINAL
- solution_size() : PROTOBUF_FINAL
- solution_upper_bounds() : PROTOBUF_FINAL
- solution_upper_bounds_size() : PROTOBUF_FINAL
- SortedDisjointIntervalList() : SortedDisjointIntervalList
- start() : PROTOBUF_FINAL
- starting_state() : PROTOBUF_FINAL
- StartVar() : IntervalVar
- status() : PROTOBUF_FINAL
- Stop() : SharedTimeLimit
- stop_after_first_solution() : PROTOBUF_FINAL
- stop_after_presolve() : PROTOBUF_FINAL
- strategy_change_increase_ratio() : PROTOBUF_FINAL
- subsumption_during_conflict_analysis() : PROTOBUF_FINAL
- sufficient_assumptions_for_infeasibility() : PROTOBUF_FINAL
- sufficient_assumptions_for_infeasibility_size() : PROTOBUF_FINAL
- Sum() : LinearExpr
- Swap() : PROTOBUF_FINAL
- swap() : SortedDisjointIntervalList