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.