Module Fcl_var

module Fcl_var: sig .. end

Constrained, Attributed, Finite Domain Variables



module type ATTR = sig .. end
Signature of the Attribute of a Domain Variable.
module Attr: ATTR 
  with type domain = Fcl_domain.t and type elt = Fcl_domain.elt
module SetAttr: ATTR 
  with type domain = Fcl_setDomain.t and type elt = Fcl_setDomain.S.t
type ('a, 'b) concrete = 
| Unk of 'a
| Val of 'b (*
Concrete type of the value of finite domain variables.
*)
module type BASICFD = sig .. end
Common variables module signature.
module type FD = sig .. end
Extended signature for finite domain variable (with added functions irrelevant to set variables).
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.
module SetFd: BASICFD 
 with
     type domain = Fcl_setDomain.t
     and type elt = Fcl_setDomain.S.t
     and type attr = SetAttr.t
     and type event = SetAttr.event
Concrete integer set variable module.