module Fd: FD
with
type domain = Domain.t
and type elt = Domain.elt
and type attr = Attr.t
and type event = Attr.event
Concrete finite domain variable module.
include Var.BASICFD
val remove : t -> elt -> unit
remove v a removes a from the domain of v. Leaves the domain
unchanged if a does not belong to it.
val values : t -> elt list
values v returns the list of all integers in the domain of v. If
v is instantiated to n, returns the singleton list containing n.
val iter : (elt -> unit) -> t -> unit
iter f v iterates f on each integer in the domain of v.