MiniZinc Documentation - Standard Library

Parameters
annotation add_to_output

Declare that the annotated variable should be added to the outputof the model. This annotation only has an effect when the model does not have an output item.

annotation is_defined_var

Declare the annotated variable as being functionally defined. This annotation is introduced into FlatZinc code by the compiler.

annotation is_reverse_map

Declare that the annotated expression is used to map an expression back from FlatZinc to MiniZinc.

annotation maybe_partial

Declare that expression may have undefined result (to avoid warnings)

annotation output_var

Declare that the annotated variable should be printed by the solver. This annotation is introduced into FlatZinc code by the compiler.

annotation promise_total

Declare function as total, i.e. it does not put any constraints on its arguments.

annotation var_is_introduced

Declare a variable as being introduced by the compiler.

Functions and Predicates
annotation defines_var(var $t: c)

Declare variable: c as being functionally defined by the annotated constraint. This annotation is introduced into FlatZinc code by the compiler.

annotation doc_comment(string: s)

Document the function or variable declaration item with the string s.

annotation output_array(array [$u] of set of int: a)

Declare that the annotated array should be printed by the solver with the given index sets a. This annotation is introduced into FlatZinc code by the compiler.