4.2.1. Standard Library
These functions and predicates define built-in operations of the MiniZinc language.
- 4.2.1.1. Built-in functions and operators
- Comparison Builtins
- Arithmetic Builtins
- Exponential and logarithmic builtins
- Trigonometric functions
- Coercions
- Array operations
- Functions and Predicates
- ‘++’
- ‘in’
- array1d
- array2d
- array2set
- array3d
- array4d
- array5d
- array6d
- arrayXd
- col
- has_element
- has_index
- 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
- length
- reverse
- row
- slice_1d
- slice_2d
- slice_3d
- slice_4d
- slice_5d
- slice_6d
- Annotations
- Functions and Predicates
- Logical operations
- Set operations
- String operations
- Functions for enums
- 4.2.1.2. Annotations
- General annotations
- Functions and Predicates
- Annotations
- add_to_output
- annotated_expression
- cache_result
- computed_domain
- constraint_name
- defines_var
- doc_comment
- domain_change_constraint
- empty_annotation
- expression_name
- is_defined_var
- is_reverse_map
- maybe_partial
- mzn_add_annotated_expression
- mzn_check_enum_var
- mzn_check_var
- mzn_constraint_name
- mzn_deprecated
- mzn_expression_name
- mzn_path
- mzn_rhs_from_assignment
- no_cse
- no_output
- output
- output_array
- output_only
- output_var
- promise_commutative
- promise_total
- var_is_introduced
- Propagation strength annotations
- Search annotations
- Warm start annotations
- Large Neighbourhood Search annotations
- Context annotations
- Redundant and symmetry breaking constraints
- General annotations
- 4.2.1.3. Option type support
- 4.2.1.4. Array sorting operations
- 4.2.1.5. Language information
- 4.2.1.6. Compiler options
- 4.2.1.7. Conditionals
- 4.2.1.8. Reflection operations
- 4.2.1.9. Assertions and debugging functions
- 4.2.1.10. Random Number Generator builtins
- 4.2.1.11. Stuctured Output