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.