0..1. Domain variables declared to be of type
var intare initially given the finite integer domain
inf..sup, and are given maximally wide bounded domains before any search is performed on them, as well as before certain constraints that demand bounded domains are posted on them.
sum_pred/4takes as second argument an array of such ground set values.
var_is_introducedannotation; see below). This corresponds to
library(clpfd)with the option list
indomain_randomas described in the FlatZinc specification uses
library(random). The random generator of SICStus is initialized using the same seed on each start up, meaning that the same sequence will be tried for
indomain_randomon each start up. This behavior can be changed by setting a different random seed using
valueare recognized in relevant FlatZinc-to-
library(clpfd)constraint translations. Any other constraint annotation is ignored.
output_var: the variable may be written on the current output stream.
output_array: the variable array may be written on the current output stream.
var_is_introduced: the variable will not be considered in any default labeling (such as when no search annotation is given or when the
labelling_ffsearch annotation is given).
Any other variable annotation is ignored.