Previous: Zinc Errors, Up: lib-zinc [Contents][Index]
The contents of the statistics counters (see Statistics Predicates) is undefined after calling Zinc predicates.
Only variables with finite integer domains are supported. This includes
Boolean variables, which are considered finite integer domain variables
with the domain 0..1. Domain variables declared to be of type
var int are 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.
Although set variables are not supported, ground set values
are. For example, the MiniZinc global constraint sum_pred/4
takes as second argument an array of such ground set values.