Module Var
module 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 = Domain.t and type elt = Domain.elt
module SetAttr: ATTR
with type domain = SetDomain.t and type elt = SetDomain.S.t
type ('a, 'b)
concrete =
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 = Domain.t
and type elt = Domain.elt
and type attr = Attr.t
and type event = Attr.event
Concrete finite domain variable module.
module SetFd: BASICFD
with
type domain = SetDomain.t
and type elt = SetDomain.S.t
and type attr = SetAttr.t
and type event = SetAttr.event
Concrete integer set variable module.