Commented line

Include item

Variable declaration item. The value Declare i t name maybe_exp represents the declaration a variable named name of type t and inst i. Use Just expression in place of maybe_exp to represent the value that initializes the declared variable. Use Nothing in place of maybe_exp to represent a variable declaration without initialization.

Assignment item. Assign name exp represents the assignment of exp to the variable name.

Constraint item

Solve item

Output item. The use of this item might cause errors in parsing the solution(s) of the model. Recommended use for testing purposes only.

User-defined predicate. Pred name args exp represents the MiniZinc definition of a predicate called name, the parameters of which are the elements of the args list. exp represents the optional body of the predicate.

User-defined test. Syntax similar to the Pred constructor.

User-defined function. Syntax similar to Pred and Test constructors. The additional TypeInst represents the type of the returning value of the function and the inst of the function.

Annotation item. Use of annotations is not supported yet.

Represents an empty line in the MiniZinc model.

Represents the MiniZinc special variable _.

A MiniZinc variable

MiniZinc boolean value

MiniZinc integer value

MiniZinc float value

MiniZinc string value

MiniZinc arrays constructed with the MiniZinc .. operator. Interval a b translates to [a .. b].

SetLit literals translates to a MiniZinc set the elements of which are the represented expressions in the literals list.

MiniZinc set comprehension. The first argument of the constructor represents the head expression of the comprehension, while the second represents the comprehension tail.

MiniZinc 1-dimensional arrays defined with literals, similar to the SetLit constructor.

MiniZinc 2-dimensional arrays defined with literals

MiniZinc array comprehension. Syntax similar to SetComp constructor.

Represents an array element. In ArrayElem name is, the argument name is the identifier of the array and is is the list of indexes that specify the desired element. The length of is must be equal to the number of dimensions of the array.

Bi op exp1 exp2 represents the MiniZinc expression that applies the binary operator op on exp1 and exp2.

U op exp1 represents the MiniZinc expression that applies the unary operator op on exp1.

Call name args represents a call to the function or test name on arguments args.

The if-then-else conditional. If the first argument of the constructor is an empty list, the translation to MiniZinc will fail. ITE [(cond, expr1)] expr2, where the list is a singleton, translates to if cond then exp1 else exp2 endif. If the list contains more than one pairs, then the corresponding elseif-then pairs are inserted before the final else expression.

let-in expression. In Let items expr, the elements of items represent the bindings in the expr expression. Although items is of type [Items], only Item values constructed by Declare and Constraint will translate to a syntactically correct MiniZinc let expression.

A generator call expression.

Set t translates to set of t.

Array ts ti translates to array [ts] of ti.

The list type

Option type

A constrained type using the integer range. Range a b translates to a .. b.

A constrained type using set literals.

A constrained type using a previously defined set parameter.

>

<

>=

<=

==

=

!=

+

-

*

/

div

mod

<->

->

<-

/\

\/

in

subset

superset

union

intersect

++

diff

symdiff

..

not

+

-

A par instantiation in MiniZinc.

A var instantiation in MiniZinc.