Module Fcl_var.Fd

module Fd: FD 
 with
     type domain = Fcl_domain.t
     and type elt = Fcl_domain.elt
     and type attr = Attr.t
     and type event = Attr.event

Concrete finite domain variable module.


include Fcl_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.