Interfaces.MZBuiltIns

This module uses definitions of Interfaces.MZAST to provide an easy interface to MiniZinc built-in calls. It might be missing built-in calls that have been added in recent releases of MiniZinc.

Documentation

opPrec :: Op -> Int

Returns the precedence of certain defined operators. This function is used for reducing the parentheses when printing an expression.

MiniZinc built-in operators

Comparison operators

(!=.) :: Expr -> Expr -> Expr infix 4

!=

(>.) :: Expr -> Expr -> Expr infix 4

>

(>=.) :: Expr -> Expr -> Expr infix 4

>=

(=.=) :: Expr -> Expr -> Expr infix 4

=

(<.) :: Expr -> Expr -> Expr infix 4

<

(<=.) :: Expr -> Expr -> Expr infix 4

<=

Arithmetic operators

(*.) :: Expr -> Expr -> Expr infixl 8

*

(+.) :: Expr -> Expr -> Expr infixl 7

+ (the binary operator)

plus_ :: Expr -> Expr

+ (the unary operator)

(-.) :: Expr -> Expr -> Expr infixl 7

- (the binary operator)

minus_ :: Expr -> Expr

- (the unary operator)

(/.) :: Expr -> Expr -> Expr infixl 8

/

_div_ :: Expr -> Expr -> Expr infixl 8

div

_mod_ :: Expr -> Expr -> Expr infixl 8

mod

Logical operators

not_ :: Expr -> Expr

not

(->.) :: Expr -> Expr -> Expr infixl 3

->

(/\.) :: Expr -> Expr -> Expr infixl 3

/\

(<-.) :: Expr -> Expr -> Expr infixl 3

<-

(<->.) :: Expr -> Expr -> Expr infixl 3

-

(\/.) :: Expr -> Expr -> Expr infixl 3

\/

_xor_ :: Expr -> Expr -> Expr infixl 3

xor

Set operators

(...) :: Expr -> Expr -> Expr infixl 6

..

_diff_ :: Expr -> Expr -> Expr infixl 6

diff

_in_ :: Expr -> Expr -> Expr infix 5

in

_intersect_ :: Expr -> Expr -> Expr infixl 8

intersect

_subset_ :: Expr -> Expr -> Expr infix 5

subset

_superset_ :: Expr -> Expr -> Expr infix 5

superset

_symdiff_ :: Expr -> Expr -> Expr infixl 6

symdiff

_union_ :: Expr -> Expr -> Expr infixl 6

union

Array operators

(++.) :: Expr -> Expr -> Expr infixl 8

++

MiniZinc built-in calls

All functions, predicates, tests and annotations are named after their MiniZinc name prefixed by mz_. Operators' representation follows a different convention.

Arithmetic calls

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

Exponential and logarithmic calls

mz_exp :: [Expr] -> Expr

mz_ln :: [Expr] -> Expr

mz_log :: [Expr] -> Expr

mz_log10 :: [Expr] -> Expr

mz_log2 :: [Expr] -> Expr

Trigonometric calls

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

Logical calls

mz_clause :: [Expr] -> Expr

mz_exists :: [Expr] -> Expr

mz_forall :: [Expr] -> Expr

mz_iffall :: [Expr] -> Expr

mz_xorall :: [Expr] -> Expr

Set calls

mz_card :: [Expr] -> Expr

mz_array_intersect :: [Expr] -> Expr

mz_array_union :: [Expr] -> Expr

Array calls

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

Array sorting calls

mz_arg_sort :: [Expr] -> Expr

mz_sort :: [Expr] -> Expr

mz_sort_by :: [Expr] -> Expr

Coercion calls

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

String calls

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

Reflection calls

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

Assertions and debugging calls

mz_abort :: [Expr] -> Expr

mz_assert :: [Expr] -> Expr

mz_trace :: [Expr] -> Expr

mz_trace_stdout :: [Expr] -> Expr

Calls for Enums

mz_enum_next :: [Expr] -> Expr

mz_enum_prev :: [Expr] -> Expr

mz_to_enum :: [Expr] -> Expr

Calls for Optionals

mz_absent :: [Expr] -> Expr

mz_deopt :: [Expr] -> Expr

mz_occurs :: [Expr] -> Expr

Random number generator calls

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

Special constraints

mz_implied_constraint :: [Expr] -> Expr

mz_redundant_constraint :: [Expr] -> Expr

mz_symmetry_breaking_constraint :: [Expr] -> Expr

Language information

mz_mzn_compiler_version :: [Expr] -> Expr

mz_mzn_version_to_string :: [Expr] -> Expr

MiniZinc annotations

General annotations

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

Propagation strength annotations

mz_bounds :: [GArguments] -> Annotation

mz_domain :: [GArguments] -> Annotation

Search annotations

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

Variable selection annotations

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

Value choice annotations

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

Exploration strategy annotations

mz_complete :: [GArguments] -> Annotation

call

Arguments

:: Ident

The name of the called operation

-> [Expr]

A representation of the arguments

-> Expr

Used to represent a call to a funtion, test or predicate.