Index – S

satisfaction scope search annotation constrain choice depth first finite domain restart sequential variable choice seq_precede_chain Global constraints seq_search Standard Library set set2array Standard Library set_card FlatZinc builtins set_default_search Additional declarations for Gecode set_diff FlatZinc builtins set_eq FlatZinc builtins set_eq_reif FlatZinc builtins set_in FlatZinc builtins, [1] set_in_reif FlatZinc builtins set_intersect FlatZinc builtins set_le FlatZinc builtins set_le_reif FlatZinc builtins set_lt FlatZinc builtins set_lt_reif FlatZinc builtins set_ne FlatZinc builtins set_ne_reif FlatZinc builtins set_search Standard Library set_subset FlatZinc builtins set_subset_reif FlatZinc builtins set_superset FlatZinc builtins set_superset_reif FlatZinc builtins set_symdiff FlatZinc builtins set_to_ranges Standard Library set_union FlatZinc builtins show Standard Library show2d Standard Library show2d_indexed Standard Library show3d Standard Library show_array2d_bool Standard Library show_float Standard Library show_gantt Standard Library show_int Standard Library

showJSON Standard Library sin Standard Library single enum sinh Standard Library slice_1d Standard Library slice_2d Standard Library slice_3d Standard Library slice_4d Standard Library slice_5d Standard Library slice_6d Standard Library sliding_sum Global constraints smallest Standard Library smallest_largest Additional declarations for Chuffed sol Experimental Features solution all end `==========` separator ---------- solve sort Global constraints Standard Library sort_by Standard Library span Global constraints sqrt Standard Library Standard Library '!=' '*' '+' '++', [1] '-' '->' '..' '..<' '/' '/\' '<' '<-' '<->' '<..' '<..<' '<=' '=' '>' '>=' '\/' '^' 'diff' 'div' 'in', [1] 'intersect' 'mod' 'not' 'subset' 'superset' 'symdiff' 'union' 'xor' ..<o ..o <..<o <..o ~!= ~* ~+ ~- ~/ ~= ~div abort abs absent, [1], [2], [3] acos acosh add_to_output annotate annotated_expression anti_first_fail arg_max arg_min arg_sort array1d array2d array2set array3d array4d array5d array6d array_check_form array_intersect array_union arrayXd asin asinh assert assert_dbg atan atanh bernoulli binomial bool2float bool2int bool_not bool_search bounds bounds_propagation cache_result card cauchy ceil chisquared clause col complete computed_domain concat constraint_name cos cosh count ctx_mix ctx_neg ctx_pos ctx_root debug_mode default defines_var deopt, [1], [2], [3] discrete_distribution doc_comment dom dom_array dom_array_occurring dom_bounds_array dom_size dom_w_deg domain domain_change_constraint domain_propagation empty_annotation enum_next enum_of enum_prev exists exp exponential expression_name expression_name_dbg fdistribution file_path first_fail fix float_search floor forall format format_justify_string gamma had_zero has_ann has_bounds has_element has_index has_ub_set if_then_else if_then_else_partiality iffall impact implied_constraint index_set index_set_1of2 index_set_1of3 index_set_1of4 index_set_1of5 index_set_1of6 index_set_2of2 index_set_2of3 index_set_2of4 index_set_2of5 index_set_2of6 index_set_3of3 index_set_3of4 index_set_3of5 index_set_3of6 index_set_4of4 index_set_4of5 index_set_4of6 index_set_5of5 index_set_5of6 index_set_6of6 index_sets_agree indomain indomain_interval indomain_max indomain_median indomain_middle indomain_min indomain_random indomain_reverse_split indomain_split indomain_split_random input_order int2float int_search is_defined_var is_fixed is_reverse_map is_same join json_array json_object json_section largest lb lb_array length ln log log10 log2 lognormal logstream_to_string max, [1] max_regret max_weak maybe_partial min, [1] min_weak most_constrained mzn_absent_zero mzn_add_annotated_expression mzn_break_here mzn_check_absent_zero mzn_check_annotate_computed_domains mzn_check_annotate_defines_var mzn_check_enum_var mzn_check_half_reify_clause mzn_check_ignore_redundant_constraints mzn_check_ignore_symmetry_breaking_constraints mzn_check_only_range_domains mzn_check_var mzn_compiler_version mzn_constraint_name mzn_deprecated mzn_expression_name mzn_half_reify_clause mzn_ignore_redundant_constraints mzn_ignore_symmetry_breaking_constraints mzn_internal_check_debug_mode mzn_min_version_required mzn_opt_annotate_computed_domains mzn_opt_annotate_defines_var mzn_opt_only_range_domains mzn_output_section mzn_path mzn_rhs_from_assignment mzn_version_to_string no_cse no_output normal o.. o..< o<.. o<..< occurrence occurs, [1], [2], [3] outdomain_max outdomain_median outdomain_min outdomain_random output output_array output_only output_to_json_section output_to_section output_var outputJSON outputJSONParameters poisson pow product promise_commutative promise_total redundant_constraint relax_and_reconstruct restart_constant restart_geometric restart_linear restart_luby restart_none reverse round row seq_search set2array set_search set_to_ranges show show2d show2d_indexed show3d show_array2d_bool show_float show_gantt show_int showJSON sin sinh slice_1d slice_2d slice_3d slice_4d slice_5d slice_6d smallest sort sort_by sqrt string_length string_split sum symmetry_breaking_constraint tan tanh tdistribution to_enum trace trace_dbg trace_exp trace_logstream trace_stdout trace_to_json_section trace_to_section ub ub_array uniform value_propagation var_is_introduced warm_start, [1] warm_start_array weibull xorall STATUS Experimental Features steiner Global constraints strict_lex2 Global constraints strictly_decreasing Global constraints strictly_increasing Global constraints string, [1] literal, [1] literal; interpolated string_length Standard Library string_split Standard Library subcircuit Global constraints subgraph Global constraints sum Standard Library sum_pred Global constraints sum_set Global constraints symmetric_all_different Global constraints symmetry breaking symmetry_breaking_constraint example Standard Library