Interfaces.MZBuiltIns

Contents

• MiniZinc built-in operators
  • Comparison operators
  • Arithmetic operators
  • Logical operators
  • Set operators
  • Array operators
• MiniZinc built-in calls
  • Arithmetic calls
  • Exponential and logarithmic calls
  • Trigonometric calls
  • Logical calls
  • Set calls
  • Array calls
  • Array sorting calls
  • Coercion calls
  • String calls
  • Reflection calls
  • Assertions and debugging calls
  • Calls for Enums
  • Calls for Optionals
  • Random number generator calls
  • Special constraints
  • Language information
• MiniZinc global constraints
• MiniZinc annotations
  • General annotations
  • Propagation strength annotations
  • Search annotations
    • Variable selection annotations
    • Value choice annotations
    • Exploration strategy annotations

Description

Synopsis

• opPrec :: Op -> Int
• (!=.) :: Expr -> Expr -> Expr
• (>.) :: Expr -> Expr -> Expr
• (>=.) :: Expr -> Expr -> Expr
• (=.=) :: Expr -> Expr -> Expr
• (<.) :: Expr -> Expr -> Expr
• (<=.) :: Expr -> Expr -> Expr
• (*.) :: Expr -> Expr -> Expr
• (+.) :: Expr -> Expr -> Expr
• plus_ :: Expr -> Expr
• (-.) :: Expr -> Expr -> Expr
• minus_ :: Expr -> Expr
• (/.) :: Expr -> Expr -> Expr
• _div_ :: Expr -> Expr -> Expr
• _mod_ :: Expr -> Expr -> Expr
• not_ :: Expr -> Expr
• (->.) :: Expr -> Expr -> Expr
• (/\.) :: Expr -> Expr -> Expr
• (<-.) :: Expr -> Expr -> Expr
• (<->.) :: Expr -> Expr -> Expr
• (\/.) :: Expr -> Expr -> Expr
• _xor_ :: Expr -> Expr -> Expr
• (...) :: Expr -> Expr -> Expr
• _diff_ :: Expr -> Expr -> Expr
• _in_ :: Expr -> Expr -> Expr
• _intersect_ :: Expr -> Expr -> Expr
• _subset_ :: Expr -> Expr -> Expr
• _superset_ :: Expr -> Expr -> Expr
• _symdiff_ :: Expr -> Expr -> Expr
• _union_ :: Expr -> Expr -> Expr
• (++.) :: Expr -> Expr -> Expr
• mz_abs :: [Expr] -> Expr
• mz_arg_max :: [Expr] -> Expr
• mz_arg_min :: [Expr] -> Expr
• mz_max :: [Expr] -> Expr
• mz_min :: [Expr] -> Expr
• mz_pow :: [Expr] -> Expr
• mz_product :: [Expr] -> Expr
• mz_sqrt :: [Expr] -> Expr
• mz_sum :: [Expr] -> Expr
• mz_exp :: [Expr] -> Expr
• mz_ln :: [Expr] -> Expr
• mz_log :: [Expr] -> Expr
• mz_log10 :: [Expr] -> Expr
• mz_log2 :: [Expr] -> Expr
• mz_acos :: [Expr] -> Expr
• mz_acosh :: [Expr] -> Expr
• mz_asin :: [Expr] -> Expr
• mz_asinh :: [Expr] -> Expr
• mz_atan :: [Expr] -> Expr
• mz_atanh :: [Expr] -> Expr
• mz_cos :: [Expr] -> Expr
• mz_cosh :: [Expr] -> Expr
• mz_sin :: [Expr] -> Expr
• mz_sinh :: [Expr] -> Expr
• mz_tan :: [Expr] -> Expr
• mz_tanh :: [Expr] -> Expr
• mz_clause :: [Expr] -> Expr
• mz_exists :: [Expr] -> Expr
• mz_forall :: [Expr] -> Expr
• mz_iffall :: [Expr] -> Expr
• mz_xorall :: [Expr] -> Expr
• mz_card :: [Expr] -> Expr
• mz_array_intersect :: [Expr] -> Expr
• mz_array_union :: [Expr] -> Expr
• mz_array1d :: [Expr] -> Expr
• mz_array2d :: [Expr] -> Expr
• mz_array3d :: [Expr] -> Expr
• mz_array4d :: [Expr] -> Expr
• mz_array5d :: [Expr] -> Expr
• mz_array6d :: [Expr] -> Expr
• mz_arrayXd :: [Expr] -> Expr
• mz_col :: [Expr] -> Expr
• mz_has_element :: [Expr] -> Expr
• mz_has_index :: [Expr] -> Expr
• mz_index_set :: [Expr] -> Expr
• mz_index_set_1of2 :: [Expr] -> Expr
• mz_index_set_1of3 :: [Expr] -> Expr
• mz_index_set_1of4 :: [Expr] -> Expr
• mz_index_set_1of5 :: [Expr] -> Expr
• mz_index_set_1of6 :: [Expr] -> Expr
• mz_index_set_2of2 :: [Expr] -> Expr
• mz_index_set_2of3 :: [Expr] -> Expr
• mz_index_set_2of4 :: [Expr] -> Expr
• mz_index_set_2of5 :: [Expr] -> Expr
• mz_index_set_2of6 :: [Expr] -> Expr
• mz_index_set_3of3 :: [Expr] -> Expr
• mz_index_set_3of4 :: [Expr] -> Expr
• mz_index_set_3of5 :: [Expr] -> Expr
• mz_index_set_3of6 :: [Expr] -> Expr
• mz_index_set_4of4 :: [Expr] -> Expr
• mz_index_set_4of5 :: [Expr] -> Expr
• mz_index_set_4of6 :: [Expr] -> Expr
• mz_index_set_5of5 :: [Expr] -> Expr
• mz_index_set_5of6 :: [Expr] -> Expr
• mz_index_set_6of6 :: [Expr] -> Expr
• mz_index_sets_agree :: [Expr] -> Expr
• mz_length :: [Expr] -> Expr
• mz_reverse :: [Expr] -> Expr
• mz_row :: [Expr] -> Expr
• mz_arg_sort :: [Expr] -> Expr
• mz_sort :: [Expr] -> Expr
• mz_sort_by :: [Expr] -> Expr
• mz_bool2float :: [Expr] -> Expr
• mz_bool2int :: [Expr] -> Expr
• mz_ceil :: [Expr] -> Expr
• mz_floor :: [Expr] -> Expr
• mz_int2float :: [Expr] -> Expr
• mz_round :: [Expr] -> Expr
• mz_set2array :: [Expr] -> Expr
• mz_concat :: [Expr] -> Expr
• mz_file_path :: [Expr] -> Expr
• mz_format :: [Expr] -> Expr
• mz_join :: [Expr] -> Expr
• mz_show :: [Expr] -> Expr
• mz_show2d :: [Expr] -> Expr
• mz_show3d :: [Expr] -> Expr
• mz_showJSON :: [Expr] -> Expr
• mz_show_float :: [Expr] -> Expr
• mz_show_int :: [Expr] -> Expr
• mz_strig_length :: [Expr] -> Expr
• mz_dom :: [Expr] -> Expr
• mz_dom_array :: [Expr] -> Expr
• mz_dom_bounds_array :: [Expr] -> Expr
• mz_dom_size :: [Expr] -> Expr
• mz_fix :: [Expr] -> Expr
• mz_has_bounds :: [Expr] -> Expr
• mz_has_ub_set :: [Expr] -> Expr
• mz_is_fixed :: [Expr] -> Expr
• mz_lb :: [Expr] -> Expr
• mz_lb_array :: [Expr] -> Expr
• mz_ub :: [Expr] -> Expr
• mz_ub_array :: [Expr] -> Expr
• mz_abort :: [Expr] -> Expr
• mz_assert :: [Expr] -> Expr
• mz_trace :: [Expr] -> Expr
• mz_trace_stdout :: [Expr] -> Expr
• mz_enum_next :: [Expr] -> Expr
• mz_enum_prev :: [Expr] -> Expr
• mz_to_enum :: [Expr] -> Expr
• mz_absent :: [Expr] -> Expr
• mz_deopt :: [Expr] -> Expr
• mz_occurs :: [Expr] -> Expr
• mz_bernoulli :: [Expr] -> Expr
• mz_binomial :: [Expr] -> Expr
• mz_cauchy :: [Expr] -> Expr
• mz_chisquared :: [Expr] -> Expr
• mz_discrete_distribution :: [Expr] -> Expr
• mz_exponential :: [Expr] -> Expr
• mz_fdistribution :: [Expr] -> Expr
• mz_gamma :: [Expr] -> Expr
• mz_lognormal :: [Expr] -> Expr
• mz_normal :: [Expr] -> Expr
• mz_poisson :: [Expr] -> Expr
• mz_tdistribution :: [Expr] -> Expr
• mz_uniform :: [Expr] -> Expr
• mz_weibull :: [Expr] -> Expr
• mz_implied_constraint :: [Expr] -> Expr
• mz_redundant_constraint :: [Expr] -> Expr
• mz_symmetry_breaking_constraint :: [Expr] -> Expr
• mz_mzn_compiler_version :: [Expr] -> Expr
• mz_mzn_version_to_string :: [Expr] -> Expr
• mz_all_different :: [Expr] -> Expr
• mz_add_to_output :: [GArguments] -> Annotation
• mz_is_defined_var :: [GArguments] -> Annotation
• mz_is_reverse_map :: [GArguments] -> Annotation
• mz_maybe_partial :: [GArguments] -> Annotation
• mz_output_var :: [GArguments] -> Annotation
• mz_promise_total :: [GArguments] -> Annotation
• mz_var_is_introduced :: [GArguments] -> Annotation
• mz_defines_var :: [GArguments] -> Annotation
• mz_doc_comment :: [GArguments] -> Annotation
• mz_output_array :: [GArguments] -> Annotation
• mz_bounds :: [GArguments] -> Annotation
• mz_domain :: [GArguments] -> Annotation
• mz_bool_search :: [GArguments] -> Annotation
• mz_float_search :: [GArguments] -> Annotation
• mz_int_search :: [GArguments] -> Annotation
• mz_seq_search :: [GArguments] -> Annotation
• mz_set_search :: [GArguments] -> Annotation
• mz_anti_first_fail :: [GArguments] -> Annotation
• mz_dom_w_deg :: [GArguments] -> Annotation
• mz_first_fail :: [GArguments] -> Annotation
• mz_impact :: [GArguments] -> Annotation
• mz_input_order :: [GArguments] -> Annotation
• mz_largest :: [GArguments] -> Annotation
• mz_max_regret :: [GArguments] -> Annotation
• mz_most_constrained :: [GArguments] -> Annotation
• mz_occurrence :: [GArguments] -> Annotation
• mz_smallest :: [GArguments] -> Annotation
• mz_indomain :: [GArguments] -> Annotation
• mz_indomain_interval :: [GArguments] -> Annotation
• mz_indomain_max :: [GArguments] -> Annotation
• mz_indomain_median :: [GArguments] -> Annotation
• mz_indomain_middle :: [GArguments] -> Annotation
• mz_indomain_min :: [GArguments] -> Annotation
• mz_indomain_random :: [GArguments] -> Annotation
• mz_indomain_reverse_split :: [GArguments] -> Annotation
• mz_indomain_split :: [GArguments] -> Annotation
• mz_indomain_split_random :: [GArguments] -> Annotation
• mz_outdomain_max :: [GArguments] -> Annotation
• mz_outdomain_median :: [GArguments] -> Annotation
• mz_outdomain_min :: [GArguments] -> Annotation
• mz_outdomain_random :: [GArguments] -> Annotation
• mz_complete :: [GArguments] -> Annotation

Documentation

MiniZinc built-in operators

Comparison operators

!=

>

>=

=

<

<=

Arithmetic operators

*

/

div

mod

Logical operators

not

->

/\

<-

-

\/

xor

Set operators

..

diff

in

intersect

subset

superset

symdiff

union

Array operators

++

MiniZinc built-in calls

Arithmetic calls

Exponential and logarithmic calls

Trigonometric calls

Logical calls

Set calls

Array calls

Array sorting calls

Coercion calls

String calls

Reflection calls

Assertions and debugging calls

Calls for Enums

Calls for Optionals

Random number generator calls

Special constraints

Language information

MiniZinc global constraints

MiniZinc annotations

General annotations

Propagation strength annotations

Search annotations

Variable selection annotations

Value choice annotations

Exploration strategy annotations