Primitives on domain variables

The following are the primitives on domain variables. As domain variables are suspending variables, primitives on suspending variables such as frozen/1 apply also to domain variables.

• dvar(V) V is a domain variable.

• fd_max(+V,-N) The maximum element in the domain of V is N.

• fd_min(+V,-N) The minimum element in the domain of V is N.

• fd_min_max(+V,-Min,-Max) The minimum and maximum elements in the domain of V are Min and Max, respectively.

• fd_size(+V,-N) The size of the domain of V is N.

• fd_dom(+V,-L) L is the list of elements in the domain of V.

• fd_next(+V,+E,-NextE) NextE is the next element following E in V's domain.

• fd_prev(+V,+E,-PrevE) PrevE is the previous element preceding E in V's domain.

• fd_include(+V1,+V2) Succeeds if V1's domain includes V2's domain as a set.

• fd_vector_min_max(?Min,?Max) Specifies the ranges of bit vectors. Domain variables, when being created, are usually represented internally by using intervals. An interval turns to a bit vector when a hole occurs in it. The default values for Min and Max are -320 and 320, respectively.