General annotations

Parameters

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.